University of Cambridge > Talks.cam > Churchill CompSci Talks > Halting Problem and 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

Halting Problem and Gödel's Incompleteness Theorem

Download to your calendar using vCal

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

Have you ever thought whether what you are proving is even provable? Kurt Gödel showed that even if we have superhuman powers, then also we cannot prove certain theorems. In my presentation, I will talk about Gödel’s first and second incompleteness theorems which will elaborate more on this.

This talk is part of the Churchill CompSci Talks series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon Clare College, Cambrdige University Wolfson College

Other talks

Online Causal Inference Seminar Title to be confirmed Polar Oceans Seminar Talk Climate, uncertainty, and the slippery measurement of Antarctic ice Group Presentation 5 Quantifying the unquantifiable? Assessing the importance of almsgiving in early modern France and Spain
 

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