From PBDN

No one shall drive us from this paradise which Cantor has created for us — Hilbert

Main Points

• Peano arithmetic
• Gödel's incompleteness theorem
• Gödel's completeness theorem
• Decidability
• Semantics of predicate calculus
  • Tarski semantics of a first-order formula, φ
• Post correspondence problem

Relevant Persons

• wp:Alonzo Church
• wp:Giuseppe Peano
• wp:Kurt Gödel
• wp:Alfred Tarski
• wp:Emil Post
• wp:Alan Turing
• wp:David Hilbert

Back to Applied Logic main page.