Abstracts.2021.Proof

The Unreasonable Effectiveness of Proof

by Graham Leigh

Abstract

We typically think of proof theory as the study of mathematical proofs as (formal) objects with a focus on characterisations of provability in (mathematical) theories. While this was (and still is) a driving force in the development of the field, the level of abstraction used in modern analyses means the methods of proof theory apply to much broader interpretations of ‘proof’. This talk intends to provide an overview of the main strands of proof-theoretic study and applications of techniques to problems with little obvious connection to provability.

References

TBD

Bibliography

TBD