Halting Problem and Gödel's Incompleteness Theorem

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

• Kushagr Mohan Ahuja, Magdalene College
• Wednesday 04 December 2019, 19:30-20:00
• Wolfson Hall, Churchill College.

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:

• Churchill CompSci Talks
• Wolfson Hall, Churchill College
• computer science
• se393's list

Note that ex-directory lists are not shown.