## 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 listsTheoretical computer science seminar Medical Imaging Research Seminars Nanoscale Physics Seminars## Other talksCANCELLED: An overview of Non-Reductive Geometric Invariant Theory and its applications Extending the Lax type operator for finite W-algebras Sylow branching coefficients for symmetric groups Provably Convergent Plug-and-Play Quasi-Newton Methods for Imaging Inverse Problems Geometry of alternating projections in metric spaces with bounded curvature Test talk |