top of page
Alonzo Church was an American mathematician and logician known for his work in mathematical logic and computer science. He developed the Church-Turing thesis, which is a fundamental concept in the theory of computation and the foundations of computer science. Church's contributions to logic, formal systems, and the theory of algorithms have had a profound impact on the development of computer science and mathematical logic.
GettyImages-1390397976_b_edited.jpg
Quote_1.png

"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."

Share on Facebook_Black.png
Share on X_edited.png
Painting Icon
GettyImages-1390397976_b_edited.jpg
Quote_1.png

"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."

Share on Facebook_Black.png
Share on X_edited.png
Painting Icon
GettyImages-1390397976_b_edited.jpg
Quote_1.png

"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."

Share on Facebook_Black.png
Share on X_edited.png
Painting Icon
GettyImages-1390397976_b_edited.jpg
Quote_1.png

"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."

Share on Facebook_Black.png
Share on X_edited.png
Painting Icon
bottom of page