Turing, A. M. On computable numbers, with an application to the Entscheidungsproblem. (English) Zbl 0016.09701 Proc. Lond. Math. Soc., II. Ser. 42, 230-265 (1936). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 22 ReviewsCited in 464 Documents Keywords:Foundations, philosophy, logic PDFBibTeX XMLCite \textit{A. M. Turing}, Proc. Lond. Math. Soc. (2) 42, 230--265 (1936; Zbl 0016.09701) Full Text: DOI