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 - Walter Dean, Warwick University
- Tuesday 06 December 2016, 16:00-18:00
- Watson Building (Mathematics, R15 on map) Room 310.
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 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 here## Other 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 |