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

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.

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.