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 listsSchool of Mathematics Events EPS - College Research and KT Support Activities Medical Imaging Research Seminars## Other talksRSC S F Boys-A Rahman Award Lecture Multi-dimensional vector assignment problems (MVA) : Complexity, Approximation and Algorithms Machine Learning with Causal Structure Property Relationship (CSPR): Solubility Prediction in Organic Solvents and Water Attacking and Defending Cloud Networks The galaxy-halo connection in the cosmic web The Large Mathieu Groups |