Systems of Logic based on Ordinals [In] Proceedings of the London Mathematical Society Second Series. Volume 45. A. M. Turing, Alan.
Systems of Logic based on Ordinals [In] Proceedings of the London Mathematical Society Second Series. Volume 45
Systems of Logic based on Ordinals [In] Proceedings of the London Mathematical Society Second Series. Volume 45
Systems of Logic based on Ordinals [In] Proceedings of the London Mathematical Society Second Series. Volume 45

Systems of Logic based on Ordinals [In] Proceedings of the London Mathematical Society Second Series. Volume 45

London: Printed and Published for The Society by C. F. Hodgson and Son, 1939.

Pp. 475. First edition. The first printing of Alan Turing's PhD dissertation and seminal work published in Proceedings of the London Mathematical Society, Second Series, Vol. 45., with Turing paper pp. 161-228. Entire issue, bound without wraps in recent full green cloth with spine lettered in gilt. Circular eagle stamps to roughly 5% of pages, with three stamps on Turing paper but none on title page. Pages toned, lightly handled.

"Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912–1954), the British founder of computer science and artificial intelligence, came to Princeton University to study mathematical logic. Some of the greatest logicians in the world—including Alonzo Church, Kurt Gödel, John von Neumann, and Stephen Kleene—were at Princeton in the 1930s, and they were working on ideas that would lay the groundwork for what would become known as computer science." Item #140940040

Price: $8,500.00

See all items in Mathematics, Physics, Science
See all items by ,