Halt! In the Name of Turing

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.

(3^rd talk) This last talk will outline the design of the Turing machine and show how Turing used it to discuss the so-called ‘Halting Problem’ which is of enormous fundamental importance to the understanding of computing and has significant ramifications for the current discussions on artificial intelligence. It is then shown how Turing’s answer to the halting problem can be used in a rather straightforward way to derive Gödel’s incompleteness theorem.