Alan Mathison Turing1936
Uses his machine model to show that there can be no general mechanical procedure deciding every statement in the relevant formal system.
Great Britain · Science / Technology. Chronological records rendered directly from the World History Database.
Uses his machine model to show that there can be no general mechanical procedure deciding every statement in the relevant formal system.
This factsheet is generated from stored World History Database records matching the country, broad category, detailed category and exact Event value shown above. Duplicate display records are collapsed; database wording is otherwise preserved. Source provenance varies by record, so formal academic citation should be checked against the relevant primary source, archive or specialist historical reference.