You are using an old version of Internet Explorer, which is not supported any more by Microsoft. To fully take advantage of our service, we recommend to user a modern browser, such as Google Chrome.
This episode discusses the work of Alan Turing and Kurt Gödel, drawing parallels between the Halting Problem and the Incompleteness Theorems. We also review a fun book of puzzles!