Search Results: church review of a m turing by church alonzo

1936. [No place], The Association for Symbolic Logic, 1936 & 1937. Royal8vo. Bound in red half cloth with gilt lettering to spine. In "Journal of Symbolic Logic", Volume 1 & 2 bound together. Barcode label pasted on to back board. Small library stamp to lower part of 16 pages. A very fine copy. [Church:] Pp. 40-1; Pp. 101-2. [Post:] Pp. 103-5. [Turing:] Pp. 153-163; 164. [Entire volume: (4), 218, (2), IV, 188 pp.] First edition of this collection of seminal papers within mathematical logic, all constituting some of the most important contributions mathematical logic and computional mathematics. A NOTE ON THE ENTSCHEIDUNGSPROBLEM (+) CORRECTION TO A NOTE ON THE ENTSCHEIDUNGSPROBLEM (+) REVIEW OF "A. M. TURING. ON COMPUTABLE NUMBERS, WITH AN APPLICATION TO THE ENTSCHEIDUNGSPROBLEM":First publication of Church's seminal paper in which he proved the solution to David Hilbert's "Entscheidungsproblem" from 1928, namely that it is impossible to decide algorithmically whether statements within arithmetic… Read More