-
Notifications
You must be signed in to change notification settings - Fork 6
Abstracts.2021.Proof
Fabian edited this page May 10, 2021
·
1 revision
by Graham Leigh
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.
TBD
TBD