Alonzo Church (June 14, 1903 – August 11, 1995) 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.
Read more about Alonzo Church: Life, Mathematical Work, Students, Books
Famous quotes containing the word church:
“If Jesus, or his likeness, should now visit the earth, what church of the many which now go by his name would he enter? Or, if tempted by curiosity, he should incline to look into all, which do you think would not shut the door in his face?... It seems to me ... that as one who loved peace, taught industry, equality, union, and love, one towards another, Jesus were he alive at this day, would recommend you to come out of your churches of faith, and to gather into schools of knowledge.”
—Frances Wright (1795–1852)