Choose language

Forgot your password?

Need a Spoofbox account? Create one for FREE!

No subscription or hidden extras

Login


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


#exactly #find #instance #kind #language



Quote by Alonzo Church

Read through all quotes from Alonzo Church



About Alonzo Church

Alonzo Church Quotes



Did you know about Alonzo Church?

With help from his uncle also named Alonzo Church he was able to attend the Ridgefield School for Boys in Ridgefield Connecticut. Church and Turing then showed that the lambda calculus and the Turing machine used in Turing's halting problem were equivalent in capabilities and subsequently demonstrated a variety of alternative "mechanical processes for computation. Anthony Anderson and Michael Zelëny editors Logic Meaning and Computation: Essays in Memory of Alonzo Church (ISBN 978-1-4020-0141-3)


See also

Church–Turing–Deutsch principle
Higher-order logic
Universal set


Notes.

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.

back to top