I tried reading Hilbert. Only his papers published in mathematical periodicals were available at the time. Anybody who has tried those knows they are very hard reading.
About Alonzo Church
Alonzo Churchwas an American mathematician, computer scientist, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, the Church-Turing thesis, proving the unsolvability of the Entscheidungsproblem (“decision problem”), the Frege-Church ontology, and the Church-Rosser theorem.
More quotes from Alonzo Church
Never had any mathematical conversations with anybody, because there was nobody else in my field.
American mathematician and logician (1903-1995)
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.
American mathematician and logician (1903-1995)
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.
American mathematician and logician (1903-1995)
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.
American mathematician and logician (1903-1995)
I tried reading Hilbert. Only his papers published in mathematical periodicals were available at the time. Anybody who has tried those knows they are very hard reading.
American mathematician and logician (1903-1995)