Proc. London Math. Soc., vol 43, Part 7, pgs 544- 546; C.F. Hodgson & Son, Dec.1937.
Condition: Very Good overall; 2 sheets (4 pages), disbound from the Proceedings, and bound into archival tan cardstock covers. 6.5x10. Crease to outer page margin of the second sheet, not affecting any text. Clean and unmarked.
Keywords: On Computable Numbers, with an Application to the Entscheideungsproblem. A Correction, turing on computable numbers, turing entscheideungsproblem, alan mathison turing mathematics, rare papers in the history of computing
See all items by Proceedings of the London Mathematical Society 1936 Turing, lan, atthison
Item DescriptionIn a paper entitled,On Computable Numbers, with an Application to the Entscheideungsproblem, the author gave a proof of the insolubility of the Entscheideungsproblem of the 'engere Funktionenkalkul' This proof contained some formal errors which will be corrected here - there are also some other statements in the same paper which should have been modified, although they are not actually false as they stand' (Turing, in his first paragraph).
'We may compare a processor with a human mind whose memory is necessarily limited to remembering a finite amount of numbers and perform a finite amount of operations Alan Turing.