Alonzo Church
Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician, computer scientist, logician, and philosopher 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 unsolvability of the ''Entscheidungsproblem'' ("decision problem"), the Frege–Church ontology, and the Church–Rosser theorem. Alongside his doctoral student Alan Turing, Church is considered one of the founders of computer science. Provided by Wikipedia
Showing 1 - 7 results of 7 for search 'Church, Alonzo, 1903-1995', query time: 0.19s
Refine Results
-
1by Church, Alonzo, 1903-1995
Published 1941Call Number: Loading...
Located:Loading...Book Loading... -
2by Church, Alonzo, 1903-1995
Published 1944Call Number: Loading...
Located:Loading...Book Loading... -
3by Church, Alonzo, 1903-1995
Published 1965Call Number: Loading...
Located:Loading...Book Loading... -
4by Church, Alonzo, 1903-1995
Published 1956Call Number: Loading...
Located:Loading...Book Loading... -
5by Church, Alonzo, 1903-1995
Published 1984Call Number: Loading...
Located:Loading...Book Loading... -
6Published 2001Other Authors: “...Church, Alonzo, 1903-1995...”
Call Number: Loading...
Located:Loading...Book Loading... -
7Published 2006Other Authors: “...Church, Alonzo, 1903-1995...”
Call Number: Loading...
Located:Loading...Book Loading...
Search Tools:
RSS Feed
–
Email Search