24.242 Logic II

Spring 2002


Handouts

  • Why Computability? (in PDF format)
  • Key Computability Concepts (in PDF format)
  • Language of Arithmetic (in PDF format)
  • Church-Turing Thesis (in PDF format)
  • Nonstandard Models of Arithmetic (in PDF format)
  • Robinson's Arithmetic (in PDF format)
  • Peano Arithmetic (in PDF format)
  • Gödel Numbering (in PDF format)
  • First Incompleteness Theorem (in PDF format)
  • Tarski's Theory of Truth (in PDF format)
  • Second Incompleteness Theorem (in PDF format)



    Back to Course Home Page