
	Where results make sense

Topic: Alonzo Church

Related Topics

Lambda calculus

Computer scientist

Dana Scott

Computable function

Functional programming

Stephen Kleene

Alan Turing

Lisp programming language

Mathematical game

Computer science

Hal Abelson

Alexander Dewdney

List of computer scientists

Logic

Thomas Kurtz

	Alonzo Church - Wikipedia, the free encyclopedia
		Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician and logician who was responsible for some of the foundations of theoretical computer science.
		The Church boolean is named in his honor.
		Church's doctoral students were an extraordinarily accomplished lot, including C.
	en.wikipedia.org /wiki/Alonzo_Church (320 words)

	Church–Turing thesis - Wikipedia, the free encyclopedia
		In computability theory the Church–Turing thesis, Church's thesis, Church's conjecture or Turing's thesis, named after Alonzo Church and Alan Turing, is a hypothesis about the nature of mechanical calculation devices, such as electronic computers.
		A few months earlier Church had proven a similar result in "A Note on the Entscheidungsproblem" but he used the notions of recursive functions and lambda-definable functions to formally describe effective computability.
		Lambda-definable functions were introduced by Alonzo Church and Stephen Kleene (Church 1932, 1936a, 1941, Kleene 1935), and recursive functions were introduced by Kurt Gödel and Jacques Herbrand (Gödel 1934, Herbrand 1932).
	en.wikipedia.org /wiki/Church-Turing_thesis (1601 words)

	The Church Project: Alonzo Church (1903-1995), A Short Biography (Site not responding. Last check: 2007-11-07)
		Alonzo Church was born on June 14, 1903 in Washington, D.C. and died Friday, August 11, 1995 in Hudson, Ohio at the age of 92.
		Church was professor of mathematics at Princeton University from 1929 to 1967 when he became professor of mathematics and philosophy at UCLA.
		Church's Thesis, conjecturing that effective computation is equivalent to the notion of a "recursive" function.
	types.bu.edu /alonzo-church.html (115 words)

	Alonzo Church Papers
		Alonzo Church was born on June 14, 1903, in Washington, D.C., to Samuel Robbins Church, a justice of the Municipal Court of the District of Columbia, and Mildred Hannah Church (née Parker).
		Church was appointed Assistant Professor of Mathematics at Princeton in 1929, promoted to Associate Professor in 1939, received tenure in 1947; from 1961 to 1967 he was Professor of Mathematics and Philosophy.
		Church died on August 11, 1995, and was buried in the family plot in the Princeton Cemetery.
	libweb.princeton.edu /libraries/firestone/rbsc/aids/church (1248 words)

	Church (Site not responding. Last check: 2007-11-07)
		Church's Theorem extends the incompleteness proof given of Gödel in 1931.
		Church was a founder of the Journal of Symbolic Logic in 1936 and was an editor of the reviews section from its beginning until 1979.
		Church considered this topic for about 40 years during the latter part of his career, beginning with his paper A formulation of the logic of sense and denotation in 1951.
	www-groups.dcs.st-and.ac.uk /~history/Mathematicians/Church.html (1523 words)

	[No title] (Site not responding. Last check: 2007-11-07)
		Alonzo Church, an eminent contributor to mathematical logic and teacher of a generation of American logicians, died in Hudson, Ohio on Aug. 11.
		Church's principal achievements lay in extending the work of Kurt Godel on the foundations of mathematics in a direction that bears on modern philosophy and computer science.
		Church retired from Princeton in 1968 and moved to the University of California at Los Angeles, where he was professor of philosophy and mathematics until 1990.
	laurel.actlab.utexas.edu /~cynbe/in-memoriam/alonzo_church.html (523 words)

	biology - Church-Turing thesis
		In computability theory the Church-Turing thesis, Church's thesis, Church's conjecture or Turing's thesis, named after Alonzo Church and Alan Turing, is a hypothesis about the nature of mechanical calculation devices, such as electronic computers.
		A few months earlier Alonzo Church had proven a similar result in "A Note on the Entscheidungsproblem" but he used the notions of recursive functions and lambda-definable functions to formally describe effective computability.
		Lambda-definable functions were introduced by Alonzo Church and Stephen Kleene (Church 1932, 1936a, 1941, Kleene 1935) and recursive functions by Kurt Gödel and Jacques Herbrand (Gödel 1934, Herbrand 1932).
	www.biologydaily.com /biology/Church-Turing_thesis (1420 words)

	Church, Alonzo -- Encyclopædia Britannica (Site not responding. Last check: 2007-11-07)
		Church was educated at Princeton University (A.B., 1924; Ph.D., 1927) and spent a year as a fellow at Harvard University and a year at the…
		Church was educated at Princeton University (A.B., 1924; Ph.D., 1927) and spent a year as a...
		The theorem implies that the procedures of arithmetic cannot be used to decide the consistency of statements formulated in accordance with the laws of arithmetic.
	www.britannica.com /eb/article-9112036 (698 words)

	Gian-Carlo Rota
		Alonzo Church was one of the saner among them, though in some ways his behavior must be classified as strange, even by mathematicians' standards.
		Church's definitive treatise was not published for another five years.) Occasionally, one of the sentences spoken in class would be at variance with the text upstairs, and he would warn us in advance of the discrepancy between oral and written presentation.
		Fortunately, I had met one of Church's most flamboyant former students, John Kemeny, who, having just finished his term as a mathematics instructor, was being eased—by Lefschetz's gentle hand—into the philosophy department.
	myhome.iolfree.ie /~alexandros/articles/church.htm (1343 words)

	Alonzo Church Biography / Biography of Alonzo Church World of Mathematics Biography
		Alonzo Church was an American mathematician and logician who provided significant innovations in number theoryand decision theory, the foundation of computerprogramming.
		Church was born in Washington, D.C., on June 14, 1903, to Samuel Robbins Church and Mildred Hannah Letterman Church.
		Church completed his Ph.D. in mathematics at Princeton in 1927.
	www.bookrags.com /biography-alonzo-church-wom (244 words)

	References for Church (Site not responding. Last check: 2007-11-07)
		C A Anderson, Alonzo Church's contributions to philosophy and intensional logic, Bull.
		H B Enderton, In memoriam: Alonzo Church (1903-1995), Bull.
		In honor of Alonzo Church's 75th birthday with some remarks from the History of logic of A Dumitriu, Internat.
	www-groups.dcs.st-and.ac.uk /~history/References/Church.html (165 words)

	Church's thesis -- Encyclopædia Britannica
		also called Church's Theorem, a principle formulated by the 20th-century American logician Alonzo Church, stating that the recursive functions are the only functions that can be mechanically calculated.
		The development of the episcopacy in the Orthodox and Roman Catholic churches has been covered in the general introduction of this section under evolution of the episcopal office.
		Bellarmine was appreciated for his logical and rational approach to church issues rather than a reliance on dogma.
	www.britannica.com /eb/article-9000677 (726 words)

	Alibris: Alonzo Church
		One of the pioneers of mathematical logic in the twentieth century was Alonzo Church.
		In Introduction to Mathematical Logic, Church presents a masterful overview of the subject--one which should be...
		This volume began as a remembrance of Alonzo Church while he was still with us and is now finally complete.
	www.alibris.com /search/books/author/Alonzo_Church (199 words)

	Alonzo Church's contributions to philosophy and Intensional Logic (ResearchIndex) (Site not responding. Last check: 2007-11-07)
		Alonzo Church's contributions to philosophy and Intensional Logic (ResearchIndex)
		Alonzo Church's contributions to philosophy and Intensional Logic (1998)
		Abstract: Entities in Semantical Analysis" [20] 12 (hereafter, "NAESA"), it is said that one should give rules of sense (and of sense values) but a few years later, Church allows also the desirability of specifying rules of synonymy and rules of non-synonymy in connection with a formalized language, at least for 10 IML, p.
	citeseer.ist.psu.edu /422874.html (862 words)

	Dictionary of Philosophy of Mind - Church, Alonzo (Site not responding. Last check: 2007-11-07)
		Church was a mathematician and a logician, and one of the founders of computer science.
		Church was a founder of the Association and of The Journal of Symbolic Logic.
		He is best remembered for Church's Theorem (1936), which shows there is no decision procedure for arithmetic.
	www.artsci.wustl.edu /~philos/MindDict/church.html (230 words)

	Citations: A formulation of the simple theory of types - Church (ResearchIndex) (Site not responding. Last check: 2007-11-07)
		Alonzo Church, A formulation of the simple theory of types, The Journal of Symbolic Logic, vol.
		Church, A., "A Formulation of the Simple Theory of Types." Journal of Symbolic Logic 5, pp.
		Alonzo Church, A formulation of the simple theory of types.
	citeseer.ist.psu.edu /context/15555/0 (522 words)

	Alonzo Church on Women and Abstract Entities
		Following is the conclusion of a lecture that the logician Alonzo Church presented at Harvard University on April 18, 1958.
		In this excerpt, which was first published on the web site of Cathy Legg, Church was arguing against the nominalistic approach of the philosophers Nelson Goodman and Willard van Orman Quine.
		But it is in any case a major contribution to have clarified the meaning of the dispute, by putting the opposing doctrines on a sounder basis and showing their relevance to logic.
	www.jfsowa.com /ontology/church.htm (683 words)

	Alonzo Church Biography / Biography of Alonzo Church World of Computer Science Biography
		university · mathematician ·; mathematics · princeton university ·; philosophy · princeton · american mathematician ·; arithmetic · german mathematician ·; number theory · hudson · logician ·; david hilbert · retirement · british mathematician ·; consistent · alonzo church · decision theory · hudson ohio
		Alonzo Church was an American mathematician and logician who provided significant innovations in number theory and decision theory, the foundation of computer programming.
		His most important contributions focus on the degrees of decidability and solvability in logic and mathematics.
	www.bookrags.com /biography-alonzo-church-wcs (249 words)

	Alonzo Church - OneLook Dictionary Search
		Tip: Click on the first link on a line below to go directly to a page where "Alonzo Church" is defined.
		Alonzo Church : Dictionary of Philosophical Terms and Names [home, info]
		Alonzo Church, Church, Alonzo : Free On-line Dictionary of Computing [home, info]
	www.onelook.com /cgi-bin/cgiwrap/bware/dofind.cgi?word=Alonzo+Church (94 words)

	Interview with a mathematician
		This is an interview with Alonzo Church, by William Aspray.
		The article is taken from The Princeton Transcripts.
		Alonzo Church is interviewed by William Aspray on 17 May 1984 at the University of California at Los Angeles.
	myhome.iolfree.ie /~alexandros/articles/church2.htm (5105 words)

	University of Georgia Presidents' Exhibit: Alonzo S. Church (Site not responding. Last check: 2007-11-07)
		Church came to Putnam Co., GA as a schoolmaster.
		Accomplishments: A stern disciplinarian, Church's puritanical ethos clashed with the student body, resulting in periods of campus unrest in each decade of his tenure.
		Additionally, he clashed with Joseph and John LeConte who refused to serve as disciplinarians of the student body.
	www.libs.uga.edu /hargrett/pexhibit/presiden/aschurch.html (195 words)

	Logic, Meaning and Computation : Essays in Memory of Alonzo Church (Synthese Library, 305)
		Synopsis This volume contains papers by many well-known scholars, most of whom have been directly influenced by Alonzo Church's work.
		Often the emphasis is on foundational issues in logic, mathematics, computation, and philosophy - as was the case with Church's contributions, now universally recognized as having been of fundamental significance in those areas.
		The contributions concern classical first-order logic, higher-order logic, non-classical theories of implication, set theories with universal sets, the logical and semantical paradoxes, the lambda-calculus, especially as it is used in computation, philosophical issues about meaning and ontology in the abstract sciences and in natural language, and much else.
	www.uni-protokolle.de /buecher/isbn/140200141X (184 words)

	Church Alonzo from FOLDOC (Site not responding. Last check: 2007-11-07)
		Building on the work of G—del, Church showed that there can be no systematic decision procedure for the theorems of sophisticated formal systems like arithmetic, since such systems characteristically involve non-recursive formulae for which there is no computable algorithm.
		Recommended Reading: Alonzo Church, A Bibliography of Symbolic Logic (1666-1935) (Association of Symbolic Logic, 1985).
		Nearby terms: Chomsky Noam Avram « Christianity « Chrysippus « Church Alonzo » Church-Rosser Theorem » Church's theorem » Church's thesis
	lgxserver.uniba.it /lei/foldop/foldoc.cgi?Church+Alonzo (91 words)

	Find in a Library: Logic, meaning, and computation : essays in memory of Alonzo Church
		Logic, meaning, and computation : essays in memory of Alonzo Church
		by Alonzo Church; C Anthony Anderson; Michael ZelÃ«ny
		WorldCat is provided by OCLC Online Computer Library Center, Inc. on behalf of its member libraries.
	worldcatlibraries.org /wcpa/ow/ed6e45ef46419f5aa19afeb4da09e526.html (78 words)

	The Mathematics Genealogy Project - Alonzo Church
		Click here to see the students listed in chronological order.
		According to our current on-line database, Alonzo Church has 29 students and 1477 descendants.
		If you have additional information or corrections regarding this mathematician, please use the update form.
	genealogy.math.ndsu.nodak.edu /html/id.phtml?id=8011 (99 words)

	The Church Project: Main Page
		The Church Project investigates the foundations, design principles and implementation techniques of programming languages and related systems.
		The project is named in honor of Alonzo Church, the inventor of the lambda calculus.
		A guide to how Church Project workers share source files
	types.bu.edu (243 words)

Try your search on: Qwika (all wikis)