Links for HMC CS 81: Computability and Logic

• Logic
  • Otter
  • Intuitionistic Logic (Stanford Encyclopedia of Philosophy)
  • JAPE Proof Editor
    • Using JNJ for natural deduction proofs
  • List of Mathematical Logic Topics (Answers.com)
  • Math Archives: Logic & Set Theory
• Turing Machines
  • Turing Machine Glossary
  • Answers.com
  • Halting Problem (Answers.com)
  • Turing's Paper (On Computable Numbers, with An Application to the Entscheidungsproblem, Nov. 1936)
  • Turing Machines (Stanford Encyclopedia of Philosophy)
  • Simulators
    • JFLAP
    • Turing Machine Applet (Suzanne Skinner)
    • Vladimir Krivonossov
    • Virtual Turing Machine 2
    • Turing Machine in JavaScript (Andrew Hodges)
    • Visual Turing (Windows)
  • Universal Turing Machines
    • Minsky's 7-State 4-Symbol Machine
    • DNA Machines (related to Minsky's machine)
    • Stephen Wofram's 2-State 5-Symbol Machine
    • Wolfram's Notation
    • Hopcroft and Ullman's Machine
    • Manchester Illuminated Universal Turing Machine
  • Busy Beavers
    • Turing Machines and Busy Beavers
    • Busy Beaver Current Records
    • Busy Beaver History
  • Turing Machine Markup Language
  • Turing Machine in the Game of Life
  • The Turing Machine and Universal Computation
  • Universal Cellular Automata
• Computability
  • List of Computability and Complexity Topics (Answers.com)
  • Church-Turing Thesis (Stanford Encyclopedia of Philosophy)
  • Hilbert's 10th Problem
  • Hilbert's 10th Problem
  • A Basis for a Mathematical Theory of Computation (John McCarthy, 1963)
  • Computability and Complexity (Stanford Encyclopedia of Philosophy)
  • Halting Problem is Solvable (I was just joking)
• Formal Methods links