Gödel's Incompleteness Theorem

Add to your list(s) Download to your calendar using vCal

• Dr Thomas Forster (DPMMS)
• Friday 10 February 2012, 19:00-20:00
• Centre for Mathematical Sciences (CMS).

If you have a question about this talk, please contact .

(Free for members, £2 for non-members)

Look – no hands! In this Turing Centenary year… you can now go to a logic talk that doesn’t mention Turing machines!! Watch while famous logical trickster Dr Thomas Forster proves the Incompleteness Theorem before your very eyes! No but seriously. The Incompleteness theorem is surely one of the most important discoveries in mathematics since the Greeks. And – equally surely – there has been more nonsense talked about it than any other result in the whole of mathematics. Your host this evening will prove the theorem calmly and soberly and try to cut through some of the nonsense.

This talk is part of the The Archimedeans (CU Mathematical Society) series.

This talk is included in these lists:

• Centre for Mathematical Sciences (CMS)
• Guy Emerson's list
• The Archimedeans (CU Mathematical Society)
• bld31
• ob366-ai4er

Note that ex-directory lists are not shown.