About Alonzo Church:
Alonzo Church is best known for the lambda calculus, Church–Turing thesis, proving the undecidability of the Entscheidungsproblem, Frege–Church ontology, and the Church–Rosser theorem.
I was an undergraduate at Princeton, and I was pressed by the math department to go on to graduate school. Actually they gave me fellowships that paid my way, otherwise I would not have been able to continue.Alonzo Church
Well it was not exactly a dissertation in logic, at least not the kind of logic you would find in Whitehead and Russell's Principia Mathematica for instance. It looked more like mathematics; no formalized language was used.Alonzo Church