Argument

Turing's proof

Overview

Proof by Alan Turing

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• Simon & Schuster
• Alan Turing
• Ernest Nagel
• Truth value
• Kurt Gödel
• Logical equivalence
• Reductio ad absurdum
• Principia Mathematica
• Turing machine
• Emil Leon Post
• Formal system
• Cantor's diagonal argument
• Computation
• Algorithm
• David Hilbert
• Decision problem
• Entscheidungsproblem
• On Formally Undecidable Propositions of Principia Mathematica and Related Systems
• Universal Turing machine

Place in the tradition

Part of Philosophy of mathematics.

Explore Turing's proof in the interactive graph →