A note on the Entscheidungsproblem (pp. 40-41) and Correction to A note on the Entscheidungsproblem (pp. 101-102) and Review of A. M. Turing. On Computable numbers, with an application to the Entscheidungsproblem (pp. 42-43) (Church) WITH Finite combinatory processes-formulation I (pp. 103-105) (Post) WITH Computability and lambda-definability (pp. 153-164) and The Ø-Function in lambda-K-Conversion (pp. 164-166) (Turing) in Journal of Symbolic Logic, Volume 1, 1936 AND Volume 2, 1937
1937. 1st Edition. FIRST EDITION OF A COLLECTION OF LANDMARK PAPERS, here housed together in Volumes 1 and 2 of The Journal of Symbolic Logic. Collectively, the volumes contain some of the most important contributions to the fields of mathematical and computational mathematics ever written. The first and second papers..... More