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

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

Gödel's Incompleteness Theorem

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Central Lecture & Seminars - Mott Seminar (531) Faculty of Education, 184 Hills Road, Cambridge, CB2 8PQ, (Rm GS4, Donald McIntyre Building) Senior Parlour, Gonville & Caius College

Other talks

Christmas Social Evening & Annual General Meeting John Kendrew Lecture - Title TBC The uplift and erosion history of the Gamburtsev Subglacial Mountains and their role in the formation of the East Antarctic Ice Sheet Title TBC Title to be confirmed Cooperation for Nature
 

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