Alonzo Church

From Wiki @ Karl Jones dot com
Revision as of 17:36, 20 August 2015 by Karl Jones (Talk | contribs) (First)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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

  • [ Alonzo Church] @ Wikipedia
Retrieved from "http://wiki.karljones.com/index.php?title=Alonzo_Church&oldid=2074"