University of Cambridge > Talks.cam > The Archimedeans (CU Mathematical Society) > Gödel's Incompleteness Theorem

Gödel's Incompleteness Theorem

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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2021 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity