Alonzo Church

Alonzo Church
Alonzo Church
Born	June 14, 1903; Washington, D.C., U.S.
Died	August 11, 1995 (aged 92); Hudson, Ohio, U.S.
Citizenship	United States
Alma mater	Princeton University (BS, PhD)
Known for	Lambda calculus; Simply typed lambda calculus; Church encoding; Church's theorem; Church–Kleene ordinal; Church–Turing thesis; Frege–Church ontology; Church–Rosser theorem; Intensional logic
	Scientific career
Fields	Mathematics, computer science, logic
Institutions	Princeton University (1929–67); UCLA (1967–95)
Thesis	Alternatives to Zermelo's Assumption (1927)
Doctoral advisor	Oswald Veblen
Doctoral students	C. Anthony Anderson, 1977; Peter Andrews, 1964; George Alfred Barnard, 1936; William W. Boone, 1952; Martin Davis, 1950; William Easton, 1964; Alfred Foster, 1930; Leon Henkin, 1947; John George Kemeny, 1949; Stephen Cole Kleene, 1934; Simon B. Kochen, 1959; Maurice L'Abbé, 1951; Isaac Malitz, 1976; Gary R. Mar, 1985; Michael O. Rabin, 1957; Nicholas Rescher, 1951; Hartley Rogers, Jr, 1952; J. Barkley Rosser, 1934; Dana Scott, 1958; Norman Shapiro, 1955; Raymond Smullyan, 1959; Alan Turing, 1938

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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.