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

Descripción

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. Pp. 475. 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.". N° de ref. del artículo 140940040

Contactar al vendedor

Denunciar este artículo

Detalles bibliográficos