COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

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

## A unified view towards diagonal argumentsAdd to your list(s) Download to your calendar using vCal - Qiangru Kuang
- Monday 25 February 2019, 18:20-18:40
- MR5, Centre for Mathematical Sciences.
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:- Guy Emerson's list
- MR5, Centre for Mathematical Sciences
- The Archimedeans (CU Mathematical Society)
- bld31
Note that ex-directory lists are not shown. |
## Other listsREAL Centre Three-dimensional cell culture: Innovations in tissue scaffolds and biomimetic systems C P Snow## Other talksWallachia Before Europe: the 1848 Revolution on the European Stage Top-down vs. bottom-up? Effects of prediction and attention on sensory processing and perception Clueless Voting A variational approach to nonlinear and interacting diffusions Opportunities for Novel Actuators in Surgical Robotics Z' Explanations of Neutral Current B Anomalies |