born June 14, 1903, Washington, D.C., U.S.died Aug. 11, 1995, Hudson, OhioU.S. mathematician.He earned a Ph.D. from Princeton University. His contributions to number theory and the theories of algorithms and computability laid the foundations of computer science. The rule known as Church's theorem or Church's thesis (proposed independently by Alan M. Turing) states that only recursive functions can be calculated mechanically and implies that arithmetic procedures cannot be used to decide the consistency of statements formulated in accordance with the laws of arithmetic. He wrote the standard textbook Introduction to Mathematical Logic (1956) and helped found the Journal of Symbolic Logic, which he edited until 1979.
* * *▪ 1996U.S. mathematician (b. June 14, 1903, Washington, D.C.—d. Aug. 11, 1995, Hudson, Ohio), was a pioneer in the field of mathematical logic. His contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer science. 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 University of Göttingen, Germany, before returning to his alma mater to teach (1929-67) mathematics and philosophy. Just before reaching retirement age at Princeton, he took (1967-90) a professorship at the University of California, Los Angeles. In 61 years of teaching, he supervised 31 doctoral students, including such notable mathematicians as Alan M. Turing, Stephen Cole Kleene, John G. Kemeny, Raymond M. Smullyan, and Martin Davis. Many of Church's innovations originated in the 1930s, such as his creation of λ (lambda) calculus, which later became an important tool for computer scientists. He was probably best known for a thesis, proposed independently by Turing, that holds that a function is calculable if it is recursive (able to be repeated) and, therefore, that problems are either solvable or unsolvable by mechanical methods of computation. The so-called Church-Turing thesis helped to extend the work of Kurt Gödel, who in 1931 theorized that there are truths in elementary mathematics that cannot be proved or disproved on the basis of the axioms within that system. In 1936 Church helped found the Journal of Symbolic Logic, compiling an exhaustive bibliography on logic for its first issue; he remained editor until 1979. He also wrote the textbook Introduction to Mathematical Logic (1956).
* * *
Look at other dictionaries:
Church, Alonzo — (14 jun. 1903, Washington, D.C., EE.UU.–11 ago. 1995, Hudson, Ohio). Matemático estadounidense. Obtuvo su Ph.D. en la Universidad de Princeton. Sus aportes a la teoría de los números y a las teorías de algoritmos y computabilidad establecieron… … Enciclopedia Universal
Church, Alonzo — ● /t(ch)*rt(ch)/ np. ►PERS (14/06/1903 11/08/1995). Mathématicien ayant énoncé sa thèse en 1936 à Princeton. La thèse de Church affirme que toute fonction calculable peut l être avec un ensemble réduit d instructions. C est une affirmation… … Dictionnaire d'informatique francophone
Church–Turing thesis — Church s thesis redirects here. For the constructive mathematics assertion, see Church s thesis (constructive mathematics). In computability theory, the Church–Turing thesis (also known as the Church–Turing conjecture, Church s thesis, Church s… … Wikipedia
Alonzo S. Church — was the sixth president of the University of Georgia (UGA) in Athens. He served in that capacity from 1829 until his resignation in 1859.Church was born on April 9, 1793 in Brattleboro, Vermont and died on May 18, 1862 in Athens. He was a 1816… … Wikipedia
CHURCH (A.) — CHURCH ALONZO (1903 ) Mathématicien et logicien, philosophe et historien de la logique, Alonzo Church est né à Washington. Professeur de mathématiques à l’université de Princeton, directeur du Journal of Symbolic Logic , il est selon Kneale «le… … Encyclopédie Universelle
Alonzo Church — This article is about the mathematician and logician. For the president of the University of Georgia, see Alonzo S. Church. Alonzo Church Alonzo Church (1903–1995) … Wikipedia
Alonzo Church — Pour les articles homonymes, voir Alonzo et Church. Alonzo Church Naissance 14 juin 1903 Washington, D.C., (États Unis) Décès 11 août … Wikipédia en Français
Church-Rosser-Theorem — Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen. Dabei werden Artikel gelöscht, die nicht… … Deutsch Wikipedia
Church Frege ontology — The Church Frege Ontology is an ontology, a theory of existence. Everything is considered as being in three categories, object (referent, denotation), name, or concept (sense). The ontology was developed by Alonzo Church [ Church, Alonzo. A… … Wikipedia
Church–Kleene ordinal — In mathematics, the Church–Kleene ordinal, , is a large countable ordinal. It is the smallest non recursive ordinal. It is named after Alonzo Church and S. C. Kleene. References Church, Alonzo; Kleene, S. C. (1937), Formal definitions in the… … Wikipedia