‘A Note of the Entscheidungsproblem,’ pp. 40-41 in The Journal of Symbolic Logic, Vol. 1, No. 1, March 1936.
New York: The Association for Symbolic Logic, Inc., 1936. First edition, journal issue in the original printed wrappers, of Church’s solution to the ‘Entschedungsproblem’ (‘decision problem’). “Church’s paper, submitted on April 15, 1936, was the first to contain a demonstration that David Hilbert’s Entscheidungsproblem – i.e., the question as to..... More
Item #5483