## FnS - Proof theory and cyclic reasoningAdd to your list(s) Download to your calendar using vCal - Gianluca Curzi
- Thursday 19 May 2022, 16:00-16:30
- LG23.
If you have a question about this talk, please contact Mirco Giacobbe. Proof theory is a branch of mathematical logic studying the notion of mathematical proof. The fundamental tools of proof theory are the so-called “proof systems”, which provide the recipe for constructing formal proofs of mathematical theorems. Cyclic proofs can be seen as a generalisation of the notion of proof that is receiving growing attention in the literature. These special proofs are typically represented as structures endowed with ‘backpointers’, and may introduce circular (and hence fallacious) reasoning. Sound reasoning can be then recovered by introducing proof-theoretic criteria. In this talk we shall give a bird-eye view on these topics, discussing their motivations and their impact on mathematical logic and computer science. The talk will also be streamed on Zoom: https://bham-ac-uk.zoom.us/j/85289214035 This talk is part of the Facts and Snacks series. ## This talk is included in these lists:Note that ex-directory lists are not shown. |
## Other listsMedical Imaging Research Seminars School of Chemistry Seminars Cargo## Other talksOptical fiber sensing based on nanostructured coatings Collective phenomena in excitonic quantum matter Gravitational waves from black holes and neutron stars FnS - Creating noise to remove noise |