Alonzo Church
Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, Church–Turing thesis, proving the unsolvability of the Entscheidungsproblem, Frege–Church ontology, and the Church–Rosser theorem. He also worked on philosophy of language (see e.g. Church 1970). Alongside Alan Turing, Church has been considered one of the founders of computer science.
academic advisor
doctoral student
Wikipage disambiguates
1903 in science1935 in science1936 in science1937 in science1995 in science1995 in the United StatesA. ChurchAbstract rewriting systemAlan_TuringAlfred Foster (mathematician)Alfred TarskiAlgorithmAlgorithm characterizationsAlonso ChurchAlonzoAlonzo Church (Mathematician)Alonzo S. ChurchAnalysis (journal)Andrzej_GrzegorczykAnonymous functionAntiquarian science booksArgument–deduction–proof distinctionsAssociation for Symbolic LogicAutomated theorem provingBertrand Russell's philosophical viewsBibliography of E. T. WhittakerBöhm treeC. Anthony AndersonCantor's theoremCarl PosyChurch, AChurch, A.Church (surname)Church encodingChurch–Kleene ordinalChurch–Rosser theoremChurch–Turing thesisCognitive scienceCombinatory logicComputability theory
Link from a Wikipage to another Wikipage
academic advisors
doctoral students
Alonzo Church
Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, Church–Turing thesis, proving the unsolvability of the Entscheidungsproblem, Frege–Church ontology, and the Church–Rosser theorem. He also worked on philosophy of language (see e.g. Church 1970). Alongside Alan Turing, Church has been considered one of the founders of computer science.
has abstract
Alonzo CHURCH (14-a de junio 1 ...... Turing, Stephen Kleene, kaj .
@eo
Alonzo Church (14 de junio de ...... jes de programación funcional.
@es
Alonzo Church (14 juin 1903 Wa ...... s de l'informatique théorique.
@fr
Alonzo Church (14. června 1903 ...... nebo tématem je Alonzo Church
@cs
Alonzo Church (June 14, 1903 – ...... founders of computer science.
@en
Alonzo Church (Washington D.C. ...... n de theoretische informatica.
@nl
Alonzo Church (Washington DC, ...... tat de l'Entscheidungsproblem.
@ca
Alonzo Church (Washington Hiri ...... 4), Logika matematikoa (1956).
@eu
Alonzo Church (Washington, 14 ...... conoscibilità di Church-Fitch.
@it
Alonzo Church (Washington, DC, ...... nguagem funcional verdadeira).
@pt
academic discipline
alma mater
birth date
1903-06-14
birth place
citizenship
death date
1995-08-11
death place
doctoral advisor
doctoral student
known for
residence
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,024,943,287
Link from a Wikipage to another Wikipage
alma mater
birth date
1903-06-14
birth place
Washington, D.C., US
@en
caption
Alonzo Church
@en
citizenship
death date
1995-08-11
death place
Hudson, Ohio, US
@en
doctoral advisor
doctoral students
Alan Turing 1938
@en
Alfred Foster 1930
@en
Aubert Daigneault 1959
@en
Bijan Arbab 1988
@en
C. Anthony Anderson 1977
@en
Dana Scott 1958
@en
Donald Collins 1967
@en
Edward Chapin 1970
@en
Enrique Bustamente-Llaca 1944
@en
field
known for
name
Alonzo Church
@en
residence
thesis title
Alternatives to Zermelo's Assumption
@en
thesis url
thesis year
wikiPageUsesTemplate
wordnet_type
work institution
subject
hypernym
sameAs
comment
Alonzo CHURCH (14-a de junio 1 ...... ro etendis tiun de Kurt Gödel.
@eo
Alonzo Church (14 de junio de ...... jes de programación funcional.
@es
Alonzo Church (14 juin 1903 Wa ...... s de l'informatique théorique.
@fr
Alonzo Church (14. června 1903 ...... nebo tématem je Alonzo Church
@cs
Alonzo Church (June 14, 1903 – ...... founders of computer science.
@en
Alonzo Church (Washington D.C. ...... n de theoretische informatica.
@nl
Alonzo Church (Washington DC, ...... tat de l'Entscheidungsproblem.
@ca
Alonzo Church (Washington Hiri ...... 4), Logika matematikoa (1956).
@eu
Alonzo Church (Washington, 14 ...... conoscibilità di Church-Fitch.
@it
Alonzo Church (Washington, DC, ...... nguagem funcional verdadeira).
@pt
label
Alonzo Church
@ca
Alonzo Church
@cs
Alonzo Church
@de
Alonzo Church
@en
Alonzo Church
@eo
Alonzo Church
@es
Alonzo Church
@eu
Alonzo Church
@fr
Alonzo Church
@it
Alonzo Church
@nl
sameAs
wasDerivedFrom
isPrimaryTopicOf
name
Alonzo Church
@en