![]() |
![]() |
University of Birmingham > Talks@bham > Midlands Logic Seminar > Gödel's second incompleteness theorem
Gödel's second incompleteness theoremAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Richard. This will be a study session on the Gödel incompleteness theorems, focusing on Kreisel’s proof of the second incompleteness theorem, that goes by iterating the arithmetised completeness theorem. Walter Dean (Warwick University) will lead. For background reading and a reference, see Craig Smorynski’s article in The Handbook of Mathematical Logic (ed Jon Barwise) North Holland 1977. Richard Kaye, R.W.Kaye@bham.ac.uk http://midlandslogic.org.uk/ Campus map and directions available at http://www.birmingham.ac.uk/visit/maps-and-directions.aspx 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 listsData Science and Computational Statistics Seminar Geometry and Mathematical Physics seminar Type the title of a new list hereOther talksModelling uncertainty in image analysis. The development of an optically pumped magnetometer based MEG system When less is more - reduced physics simulations of the solar wind TBC Quantum simulations using ultra cold ytterbium Hodge Theory: Connecting Algebra and Analysis |