Shopping Cart Shopping Cart 0 items
info@oldcomputerbooks.com
Item Details
On Computable Numbers, with an Application to the Entscheideungsproblem. A Correction. Alan Matthison Turing, Proceedings of the London Mathematical Society 1936.

On Computable Numbers, with an Application to the Entscheideungsproblem. A Correction.

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.
Price: $1,500.00
Item no. C06245
Item Description
In 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.