Wednesday, October 9, 2013
Alonzo Church 1903-1995 computing history
American mathematician and logician.
Developed lambda calculus, directly implemented by LISP and other functional programming languages.
Showed the existence of an undecidable problem.
Lambda calculus was proven to be equivalent to a Turning Machine by Church and Turing working together.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment