I'm taking a class on Logic in Computer Science, and we've covered propositional logic, predicate logic and second-order logic. Students are familiar with model theory.

They are also acquainted with theory of computation (turing machines, halting problem, etc).

Now I'm planning to teach a few classes on Godel's Incompleteness Theorem (total 3 to 6 hours of lecture).

However, this topic is known to be confusing, especially philosophically - so I'm wondering how I should go about teaching this topic while still keeping it interesting. Any ideas?

  • 1
    $\begingroup$ See Eric Hehner $\endgroup$
    – Rushi
    Nov 4, 2023 at 17:39
  • $\begingroup$ Suggested reading 1: Douglas Hofstadter's "Godel, Escher, Bach". This masterpiece contains a full proof of Gödel's theorem, along with philosophical discussions (about the theorem, about mathematics, about consciousness and intelligence, about zen philosophy) and art analyses of Bach's music and Escher's paintings. $\endgroup$
    – Stef
    Dec 3, 2023 at 16:07
  • 1
    $\begingroup$ Suggested reading 2: Raymond Smullyan's "The princess or the tiger". In appearance this book is "just" a collection of fun riddles. The first half of the book contains riddles about people who are lying and telling the truth starting easy and getting progressively more convoluted. The second half are arithmetic riddles that progressively trick the reader into figuring a proof of Gödel's theorem. Really!! $\endgroup$
    – Stef
    Dec 3, 2023 at 16:09


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.