Alonzo Church

From Wiki @ Karl Jones dot com
Revision as of 17:37, 20 August 2015 by Karl Jones (Talk | contribs) (→‎External links)

Jump to: navigation, search

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
  • The [[Church–Turing thesis
  • Proving the undecidability of the Entscheidungsproblem, Frege–Church ontology, and the Church–Rosser theorem

See also

External links

Retrieved from "http://wiki.karljones.com/index.php?title=Alonzo_Church&oldid=2075"