University of Birmingham > Talks@bham > Facts and Snacks > FnS - Proof theory and cyclic reasoning

FnS - Proof theory and cyclic reasoning

Add to your list(s) Download to your calendar using vCal

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on talks.cam from the University of Cambridge.