Church, Alonzo

Born: Jul 14, 1903 AD
Died: 1995 AD, at 92 years of age.

Nationality: American
Categories: Mathematicians

1903 - Born in Washington, DC on the 14th of June.

1924 - He received a bachelor's degree from Princeton University.

1929 - Professor of mathematics and philosophy at Princeton University.

         - Discoverer and eponym of Church's theorem.

         - Co-developer and co-eponym of Church Turing thesis.

         - Developer and eponym of Church's thesis.

         - Developed lambda calculus.

         - Helped found "Journal of Symbolic Logic".

1956 - Wrote textbook "Introduction to Mathematical Logic".

1967-1990 - Professor at University of California at Los Angeles

1979 - He was the founding editor of the Journal of Symbolic Logic, editing its reviews section.

1995 - Died on the 11th of August in Princeton Cemetery.

Page last updated: 1:21pm, 01^st May '07

Related Books

	Introduction to Mathematical Logic by Alonzo Church (Paperback - Oct 28, 1996) Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical... Usually ships in 24 hours
	The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies) by Alonzo Church (Paperback - Jan 1, 1985) Usually ships in 24 hours
	THE CALCULI OF LAMBDA-CONVERSION. Annals of Mathematics Studies by Alonzo. Church (Hardcover - Sep 7, 2008)
	Tables showing the contents of the several volumes, comprising the Annals of Congress, Congressional debates, Congressional globe, Congressional record, ... Justices, arranged by years and Congresses by Alonzo W Church (Unknown Binding - Jan 1, 1970)
	A discourse delivered before the Georgia Historical Society: On the occasion of its 6th anniversary, on Wednesday, 12th February, 1845 by Alonzo Church (Unknown Binding - Sep 7, 2008)
	The Essex County Park Commission: A sketch by Alonzo Church (Unknown Binding - Sep 7, 2008)

More Books