University of Birmingham > Talks@bham > Midlands Logic Seminar > Incompleteness via paradox (and completeness)

## Incompleteness via paradox (and completeness)Add to your list(s) Download to your calendar using vCal - Walter Dean, University of Warwick
- Tuesday 25 October 2016, 16:00-18:00
- Watson Building (Mathematics, R15 on map) Room 310.
If you have a question about this talk, please contact Richard. Abstract: This talk will explore a method for uniformly transforming the paradoxes of naive set theory and semantics into formal incompleteness results originally due to Georg Kreisel and Hao Wang. I will first trace the origins of this method in relation to Gödel’s proof of the completeness theorem for first-order logic and its subsequent arithmetization by Hilbert and Bernays in their Grundlagen der Mathematik. I will then describe how the method can be applied to construct arithmetical statements formally independent of systems of set theory and second-order arithmetic via formalizations of Russell’s paradox and the Liar (and time permitting also the Skolem and Richard paradoxes). Finally, I will consider the significance of these results relative to both the Hilbert program and subsequent work in predicative mathematics. This talk is part of the Midlands Logic Seminar series. ## This talk is included in these lists:Note that ex-directory lists are not shown. |
## Other listsMolecular and Medical Physics Seminar Series Test Analysis Reading Seminar## Other talksMathematical modeling of drug resistance and the transmission of SARS-CoV-2 Pulsed terahertz vortex beams: generation and properties A minimal model for many body localization transitions |