FnS - Proof theory and cyclic reasoning

Add 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:

• Facts and Snacks
• LG23

Note that ex-directory lists are not shown.