Turing, A[lan] M[atthison], 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.

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

Categories: 1950's computers and computing, Computer Science, Electronic and Electrical Engineering, Ephemera, Odd Stuff and Miscellaneous, Highspots in the History of Computing, Mathematics

Price: $1,500.00

Item no. C06245

Ask a Question Go Back

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.