## 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 lists'Roles' Postgraduate Gender and Sexuality Network Discussion BritGrav 15 Cold atoms## Other talksTBC Fixed point ratios for primitive groups and applications Advancing biomedical photoacoustic imaging using structured light and optical microresonators Hidden Markov Model in Multiple Testing on Dependent Data Mini-worshops TBC |