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 Quotes
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.
Similar Quotes
Cricket is the greatest game that the wit of man has yet devised.
- Sir Pelham WarnerAdvertising is selling Twinkies to adults.
- Donald R. VanceThe struggle of the male to learn to listen to and respect his own intuitive, inner prompt...
- Herb GoldbergEach generation of the church in each setting has the responsibility of communicating the ...
- Francis SchaefferEach had defended his own country; the Germans Germany, the Frenchmen France; they had don...
- Ernst TollerComments on: "Alonzo Church Quotes: The only thing that might have annoyed some mathematicians was the presumption of..."
| Birth: | 14th June, 1903 |
| Death: | 11th August, 1995 |
| Nationality: | American |
| Profession: | Logician, Mathematician |
About
Alonzo Church was born in Washington, D.C. He was 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. After graduating from Ridgefield in 1920, Church attended Princeton University where he was an exceptional student, publishing his first paper, on Lorentz transformations, and graduating in 1924 with a degree in mathematics. He stayed at Princeton, earning a Ph.D. in mathematics in three years under Oswald Veblen.
Share with your friends