Mathematics.- Computing.- A collection of c.80 mathematical offprints from the library of the eminent mathematician Alonzo Church, authors include Oswald Veblen & Abraham H. Taub (1 with ms. corrections), John von Neumann, Arnold Emch, Tadahiko Kubota, Ralph Palmer Agnew, and Enrico Bompiani, original wrappers, generally in good clean condition, v.s, v.p., c.1931-1951 (c.80).


⁂ Alonzo Church (1903-1995) American mathematician and logician, who alongside his student Alan Turing, is considered one of the founders of computer science. He is best known for the Church-Turing thesis, the lambda calculus, proving the unsolvability of the Entscheidungsproblem, the Frege-Church ontology, and the Church-Rosser theorem. Included in the lot are a copy of the Proceedings of the American Academy of Arts and Sciences (Vol.80, No.2, May, 1952), which includes Church's own brief bibliography of formal logic with a typed 3pp. list of addenda and corrigenda that he prepared, and presentation copies to Church of works by Józef Maria Bocheński and Vitorino Magalhães Godinho.