University of Cambridge > Talks.cam > The Archimedeans (CU Mathematical Society) > A unified view towards diagonal arguments

  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

A unified view towards diagonal arguments

Download to your calendar using vCal

If you have a question about this talk, please contact Valentin Hübner .

Cantor’s diagonal argument is a simple yet deep theorem. Perhaps less known is that the same idea in the proof powers many famous results, including but not limited to: Russel’s paradox, halting theorem, undefinability theorem and Gödel incompleteness theorem. This talk aims to state and prove an abstract form of diagonal argument and derive all of the above as corollaries if time permits. The talk will be self-contained. IA Numbers and Sets or knowing Cantor’s diagonal argument will be helpful but not necessary.

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

(Judge Business School, Simon Sainsbury Centre, Seminar Room 2 St Edmund's College, Okinaga Room (Tower) CMS, meeting room tbc

Other talks

Director's Briefing The Magic of Magnetism Cultural evolution creates language-like structure: from humans to humpback whales and beyond Title to be confirmed TBC Thelocactus
 

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