BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.bham.ac.uk//v3//EN
BEGIN:VEVENT
CATEGORIES:Facts and Snacks
SUMMARY:FnS - Proof theory and cyclic reasoning - Gianluca
Curzi
DTSTART:20220519T150000Z
DTEND:20220519T153000Z
UID:TALK4904AT
URL:/talk/index/4904
DESCRIPTION:Proof theory is a branch of mathematical logic stu
dying the notion of mathematical proof. The fundam
ental tools of proof theory are the so-called “pro
of systems”\, which provide the recipe for constru
cting formal proofs of mathematical theorems. Cycl
ic proofs can be seen as a generalisation of the n
otion of proof that is receiving growing attention
in the literature. These special proofs are typic
ally represented as structures endowed with ‘backp
ointers’\, and may introduce circular (and hence f
allacious) reasoning. Sound reasoning can be then
recovered by introducing proof-theoretic criteria.
In this talk we shall give a bird-eye view on the
se topics\, discussing their motivations and their
impact on mathematical logic and computer science
. \n\nThe talk will also be streamed on Zoom: http
s://bham-ac-uk.zoom.us/j/85289214035
LOCATION:LG23
CONTACT:Mirco Giacobbe
END:VEVENT
END:VCALENDAR