Turing: computable numbers and the Entscheidungsproblem

What changed

Computation received a precise machine model with provable limits on general decision procedures.

Scientific scope

Machine computability, universal computation and the Entscheidungsproblem result in the original work and its correction history.

Evidence

The cited historical record or published author account supports this scoped contribution. The source-reading boundary is stated at each link; a WRS grade is not an independent scientific validation.

Contributors

• Alan Turing · SCIENCE: Machine model and undecidability analysis.
• Alonzo Church · SCIENCE: Related independent formalization and decision-problem results.

• Turing original article identity
• Author text reprinted in The Essential Turing

Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.

Full scientific record · Browse contribution grades · Request a correction