Alonzo Church - CaLiGraph

Property	Value
rdf:type	American logician Pioneer in computer science Computability theorist Mathematical logic topic owl:NamedIndividual 1903 birth 1995 death 20th-century American mathematician 20th-century American philosopher Christians in science and technology Corresponding fellow of the British Academy International Congresses of Mathematicians Plenary and Invited Speakers Philosopher born in the 20th century Princeton University alumnus University of California, Los Angeles people Burial at Princeton Cemetery Burial in New Jersey Philosopher from New Jersey \u067e\u0631\u062c\u0627\u062a\u06cc\u0648\u06ba 1900s birth 1990s death 20th-century American person 20th-century North American person 20th-century birth 20th-century death 20th-century mathematician 20th-century person 20th-century philosopher 2nd-millennium birth 2nd-millennium death 2nd-millennium person Accident Alumnus Alumnus in Massachusetts Alumnus in New Jersey Alumnus in North America Alumnus in the United States American mathematician American person American philosopher Animal Birth Burial Burial in the United States Central European person Civil event Computer scientist Contemporary philosopher Death Eukaryote European person Event Fellow of the British Academy German person Germanic person Harvard University alumnus Logician Mathematic Mathematic in the United States Mathematician Modern person North American person North American philosopher Northern European person Person Person associated with places Person from California Person from New Jersey Person from the Mid-Atlantic states Person in STEM fields Person of the Americas Philosopher Scholar or academic Scientist Specie Topic Transport accident or incident Western European person Philosopher from California Philosopher from Washington, D.C. Philosopher of language University of Göttingen person
rdfs:label	Alonzo Church
owl:sameAs	dbr:Alonzo_Church
clgo:academicDiscipline	Mathematics Logic
clgo:almaMater	Harvard University Princeton 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 New Jersey Hudson, Ohio
clgo:deathYear	1995
clgo:doctoralAdvisor	Oswald Veblen
clgo:doctoralStudent	C. Anthony Anderson George Alfred Barnard Raymond Smullyan Hartley Rogers Jr. Alfred Foster (mathematician) Isaac Malitz Martin Davis (mathematician) Gary R. Mar Michael O. Rabin Maurice L'Abbé Alan Turing J. Barkley Rosser William Boone (mathematician) Nicholas Rescher David Kaplan (philosopher) Peter B. Andrews Dana Scott William Bigelow Easton Leon Henkin Norman Shapiro Stephen Cole Kleene John G. Kemeny Simon B. Kochen
clgo:knownFor	Entscheidungsproblem Simply typed lambda calculus Lambda calculus Nonrecursive ordinal Intensional logic Church–Rosser theorem Church encoding Church–Turing thesis Frege–Church ontology
clgo:restingPlace	Princeton Cemetery
prov:wasDerivedFrom	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/Princeton_University_Department_of_Mathematics http://en.wikipedia.org/wiki/1903_in_science http://en.wikipedia.org/wiki/Deaths_in_August_1995 http://en.wikipedia.org/wiki/1995_in_science http://en.wikipedia.org/wiki/Category:Philosophers_from_Washington,_D.C. 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/List_of_University_of_G%C3%B6ttingen_people http://en.wikipedia.org/wiki/Timeline_of_mathematical_logic http://en.wikipedia.org/wiki/1935_in_science http://en.wikipedia.org/wiki/Positive_set_theory http://en.wikipedia.org/wiki/United_States_Senate_Librarian 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/Church_(surname) http://en.wikipedia.org/wiki/Category:Philosophers_from_New_Jersey http://en.wikipedia.org/wiki/Category:Computability_theorists http://en.wikipedia.org/wiki/Princeton_Cemetery http://en.wikipedia.org/wiki/Category:Philosophers_from_California http://en.wikipedia.org/wiki/Proof_of_impossibility http://en.wikipedia.org/wiki/Category:Burials_at_Princeton_Cemetery http://en.wikipedia.org/wiki/List_of_mathematical_logic_topics
skos:prefLabel	Alonzo Church
skos:altLabel	Church Church's Alonzo M. Church Church, A. Church, Alonzo
is clgo:academicAdvisor of	Robert Lee Constable
is clgo:doctoralAdvisor of	George Alfred Barnard Raymond Smullyan Alfred Foster (mathematician) Martin Davis (mathematician) Michael O. Rabin Alan Turing J. Barkley Rosser William Boone (mathematician) Dana Scott Norman Shapiro Stephen Cole Kleene
is clgo:doctoralStudent of	Oswald Veblen
is clgo:influencedBy of	Pavel Materna Nathan Salmon David Kaplan (philosopher) Andrzej Grzegorczyk

About: clgr:Alonzo_Church