University of Cambridge > Talks.cam > Churchill CompSci Talks > Halting Problem and Gödel's Incompleteness Theorem

Halting Problem and Gödel's Incompleteness Theorem

Add to your list(s) 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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

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