Search results

...f "Formulation I", Post 1936:289-290). [[Alan Turing]]'s proof of that the Entscheidungsproblem was unsolvable by use of his "a- [automatic-] machine"(Turing 1936-7:116ff) *Reprinted in ''The Undecidable'', p. 110ff. Church shows that the Entscheidungsproblem is unsolvable in about 3 pages of text and 3 pages of footnotes.

...c]] terms; its most classical achievements are the undecidability of the [[Entscheidungsproblem]] by [[Alan Turing]], and his presentation of the [[Church-Turing thesis]]. ...ter science as it emerged as a discipline: [[Alan Turing]]'s work on the [[Entscheidungsproblem]] followed from [[Kurt Gödel]]'s work on the [[incompleteness theorems]],