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

Turing, A. M. [Alan]

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

About this Item

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.". Seller Inventory # 140940040

Bibliographic Details

Title: Systems of Logic based on Ordinals [In] ...

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

Publication Date: 1939

Condition: Very Good

Edition: First Edition.