Giorgio Genovesi (University of Leeds) – An overview of the incompleteness theorems
- Date
- @ MALL, 16:00
- Location
- MALL
- Speaker
- Giorgio Genovesi
- Affiliation
- University of Leeds
- Category
- Pure PGR
Abstract: Gödel’s incompleteness theorems state that any recursively axiomatized theory which can interpret sufficient arithmetic is incomplete and cannot prove its own consistency. I will give an overview of their proofs, how they relate to recursion theory, and go over some examples of statements which are undecidable in the theory of Peano arithmetic.