1936
Alonzo Church Supervision
Begins doctoral study with logician Alonzo Church, connecting Turings machine approach with contemporary work on effective calculability.
Historical place archive
Browse historical events and people recorded at Princeton University in Great Britain. The records below are rendered directly from the World History Database into this page's initial HTML.
Begins doctoral study with logician Alonzo Church, connecting Turings machine approach with contemporary work on effective calculability.
Travels to Princeton University for advanced research in mathematical logic under Alonzo Church.
Writes from Princeton about his interest in constructing unusual cipher systems, showing that cryptography was already part of his technical thinking.
Builds a small electronic multiplier while at Princeton as part of experimental work connected with enciphering machinery.
Develops the idea of machines that can consult an external oracle when studying relative computability and unsolvable problems.
Completes doctoral work on systems of logic based on ordinals, extending formal reasoning beyond fixed logical systems.
Receives his PhD from Princeton University for research in mathematical logic.
Declines an opportunity associated with John von Neumann and chooses to return to his fellowship at Cambridge.
Provenance
These entries are generated from stored World History Database records whose country and place fields match Great Britain and Princeton University. Names, dates, event labels and descriptions are reviewed and normalised as the database develops. Historical place names may not match modern administrative boundaries.
This database is a research index. For formal scholarly citation, verify individual claims against appropriate primary, archival, academic or specialist sources.