Alonzo Church
Alonzo Church
Alonzo Churchwas an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, Church–Turing thesis, proving the undecidability of the Entscheidungsproblem, Frege–Church ontology, and the Church–Rosser theorem...
NationalityAmerican
ProfessionPhilosopher
Date of Birth14 June 1903
CountryUnited States of America
advocate believed discuss great taking together walks woods
Veblen was a great advocate of getting together informally. His teas were in the same spirit. He believed in taking long walks through the woods to discuss mathematical research.
annoyed choices looks
The only thing that might have annoyed some mathematicians was the presumption of assuming that maybe the axiom of choice could fail, and that we should look into contrary assumptions.