Gödel at his Prime – The Proof

USP Visiting Professor, A/P Frederick Willerboordse, will be conducting three talks on Gödel’s theorems and Turing machine. We strongly encouraged USP community to join these interesting sessions.

(2^nd talk) Following the first talk on 21 Oct, this second talk will outline Gödel’s proof of his incompleteness theorems and discuss Gödel numbers, meta-mathematics, and the arithmetization of meta-mathematics in the lead up to the proof. Although this talk is a continuation of the first talk, it is possible to attend this one even if you had missed the first.