Alonzo Church - CaLiGraph

Property	Value
rdf:type	University of Göttingen person Mathematical logic topic Computability theorist Philosopher from California owl:NamedIndividual 1903 birth 1995 death 20th-century American mathematician 20th-century American philosopher Christians in science and technology Computer scientist Corresponding fellow of the British Academy Harvard University alumnus International Congresses of Mathematicians Plenary and Invited Speakers Philosopher born in the 20th century Philosopher of language Princeton University alumnus University of California, Los Angeles people Philosopher from New Jersey Burial at Princeton Cemetery American logician Pioneer in computer science Philosopher from Washington, D.C.
rdfs:label	Alonzo Church
owl:sameAs	dbr:Alonzo_Church
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Church_(surname) http://en.wikipedia.org/wiki/Category:Burials_at_Princeton_Cemetery http://en.wikipedia.org/wiki/Deaths_in_August_1995 http://en.wikipedia.org/wiki/Timeline_of_mathematical_logic http://en.wikipedia.org/wiki/50th_United_States_Congress http://en.wikipedia.org/wiki/51st_United_States_Congress http://en.wikipedia.org/wiki/52nd_United_States_Congress http://en.wikipedia.org/wiki/53rd_United_States_Congress http://en.wikipedia.org/wiki/54th_United_States_Congress http://en.wikipedia.org/wiki/55th_United_States_Congress http://en.wikipedia.org/wiki/56th_United_States_Congress http://en.wikipedia.org/wiki/Category:1903_births http://en.wikipedia.org/wiki/Category:1995_deaths http://en.wikipedia.org/wiki/Category:20th-century_American_mathematicians http://en.wikipedia.org/wiki/Category:20th-century_American_philosophers http://en.wikipedia.org/wiki/Category:Harvard_University_alumni http://en.wikipedia.org/wiki/Category:Lists_of_scientists http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_award http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_field http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_membership http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_nationality http://en.wikipedia.org/wiki/Category:Lists_of_scientists_by_religion http://en.wikipedia.org/wiki/Category:Naturalists_by_century http://en.wikipedia.org/wiki/Category:Princeton_University_alumni http://en.wikipedia.org/wiki/Category:Scientists http://en.wikipedia.org/wiki/Category:Scientists_by_century http://en.wikipedia.org/wiki/Category:Scientists_by_century_and_nationality http://en.wikipedia.org/wiki/Category:Scientists_by_city http://en.wikipedia.org/wiki/Category:Scientists_by_continent http://en.wikipedia.org/wiki/Category:Scientists_by_country_and_city http://en.wikipedia.org/wiki/Category:Scientists_by_ethnicity http://en.wikipedia.org/wiki/Category:Scientists_by_field http://en.wikipedia.org/wiki/Category:Scientists_by_field_and_continent http://en.wikipedia.org/wiki/Category:Scientists_by_field_and_nationality http://en.wikipedia.org/wiki/Category:Scientists_by_institution http://en.wikipedia.org/wiki/Category:Scientists_by_nationality http://en.wikipedia.org/wiki/Category:Scientists_by_nationality_and_century http://en.wikipedia.org/wiki/Category:Scientists_by_period http://en.wikipedia.org/wiki/Category:Scientists_by_religion http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(A%E2%80%93C) http://en.wikipedia.org/wiki/List_of_Christians_in_science_and_technology http://en.wikipedia.org/wiki/List_of_computer_scientists http://en.wikipedia.org/wiki/List_of_logicians http://en.wikipedia.org/wiki/List_of_philosophers_born_in_the_20th_century http://en.wikipedia.org/wiki/List_of_philosophers_of_language http://en.wikipedia.org/wiki/Princeton_University_Department_of_Mathematics http://en.wikipedia.org/wiki/1903_in_science http://en.wikipedia.org/wiki/List_of_University_of_G%C3%B6ttingen_people http://en.wikipedia.org/wiki/List_of_mathematical_logic_topics http://en.wikipedia.org/wiki/Category:Philosophers_from_New_Jersey http://en.wikipedia.org/wiki/Category:Philosophers_from_Washington,_D.C. http://en.wikipedia.org/wiki/List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers http://en.wikipedia.org/wiki/List_of_corresponding_fellows_of_the_British_Academy http://en.wikipedia.org/wiki/List_of_philosophers_(A%E2%80%93C) http://en.wikipedia.org/wiki/1995_in_the_United_States http://en.wikipedia.org/wiki/Category:American_logicians http://en.wikipedia.org/wiki/June_14 http://en.wikipedia.org/wiki/List_of_American_mathematicians http://en.wikipedia.org/wiki/List_of_University_of_California,_Los_Angeles_people http://en.wikipedia.org/wiki/List_of_pioneers_in_computer_science http://en.wikipedia.org/wiki/Category:Philosophers_from_California http://en.wikipedia.org/wiki/1995_in_science http://en.wikipedia.org/wiki/Positive_set_theory http://en.wikipedia.org/wiki/United_States_Senate_Librarian http://en.wikipedia.org/wiki/1935_in_science http://en.wikipedia.org/wiki/Category:Computability_theorists http://en.wikipedia.org/wiki/Princeton_Cemetery http://en.wikipedia.org/wiki/Proof_of_impossibility
skos:prefLabel	Alonzo Church
skos:altLabel	Church Church's Alonzo M. Church Church, A. Church, Alonzo
clgo:academicDiscipline	Mathematics Logic
clgo:almaMater	Princeton University Harvard University
clgo:birthDate	1903-06-14
clgo:birthPlace	California New Jersey Washington, D.C.
clgo:birthYear	1903
clgo:citizenship	United States
clgo:deathDate	1995-08-11
clgo:deathPlace	Göttingen Hudson, Ohio New Jersey
clgo:deathYear	1995
clgo:doctoralAdvisor	Oswald Veblen
clgo:doctoralStudent	Isaac Malitz Hartley Rogers Jr. Leon Henkin C. Anthony Anderson William Boone (mathematician) George Alfred Barnard Raymond Smullyan John G. Kemeny Martin Davis (mathematician) Nicholas Rescher Alan Turing David Kaplan (philosopher) Gary R. Mar Alfred Foster (mathematician) Simon B. Kochen Maurice L'Abbé J. Barkley Rosser William Bigelow Easton Norman Shapiro Stephen Cole Kleene Dana Scott Peter B. Andrews Michael O. Rabin
clgo:knownFor	Nonrecursive ordinal Entscheidungsproblem Church–Rosser theorem Church encoding Lambda calculus Intensional logic Church–Turing thesis Frege–Church ontology Simply typed lambda calculus
clgo:restingPlace	Princeton Cemetery
is clgo:academicAdvisor of	Robert Lee Constable
is clgo:doctoralAdvisor of	William Boone (mathematician) George Alfred Barnard Raymond Smullyan Martin Davis (mathematician) Alan Turing Alfred Foster (mathematician) J. Barkley Rosser Norman Shapiro Stephen Cole Kleene Dana Scott Michael O. Rabin
is clgo:doctoralStudent of	Oswald Veblen
is clgo:influencedBy of	Pavel Materna David Kaplan (philosopher) Nathan Salmon Andrzej Grzegorczyk

About: clgr:Alonzo_Church