Georg Kreisel - CaLiGraph

Property	Value
rdf:type	Austrian mathematician owl:NamedIndividual 1923 birth 2015 death 20th-century American mathematician 21st-century American mathematician Austrian British emigrant to the United States International Congresses of Mathematicians Plenary and Invited Speakers Jewish mathematician Philosopher born in the 20th century Scientist University of Cambridge people Austrian logician 20th-century British mathematician 21st-century British mathematician Austrian emigrant to the United Kingdom Fellow of the Royal Society elected in 1966
rdfs:label	Georg Kreisel
owl:sameAs	dbr:Georg_Kreisel
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/2015_in_philosophy http://en.wikipedia.org/wiki/Category:1923_births http://en.wikipedia.org/wiki/Category:2015_deaths http://en.wikipedia.org/wiki/Category:20th-century_American_mathematicians http://en.wikipedia.org/wiki/Category:21st-century_American_mathematicians http://en.wikipedia.org/wiki/Category:British_emigrants_to_the_United_States http://en.wikipedia.org/wiki/Category:Fellows_of_the_Royal_Society http://en.wikipedia.org/wiki/Category:Lists_of_fellows_of_the_Royal_Society http://en.wikipedia.org/wiki/Category:Lists_of_fellows_of_the_Royal_Society_by_year 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: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/Deaths_in_March_2015 http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(D%E2%80%93H) http://en.wikipedia.org/wiki/List_of_Austrians http://en.wikipedia.org/wiki/List_of_University_of_Cambridge_people http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_(health_and_human_sciences) http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_A,_B,_C http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_D,_E,_F http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_G,_H,_I http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_J,_K,_L http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_M,_N,_O http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_P,_Q,_R http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_S,_T,_U,_V http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_W,_X,_Y,_Z http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_by_election_year 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/Category:Austrian_logicians http://en.wikipedia.org/wiki/Category:Austrian_mathematicians http://en.wikipedia.org/wiki/Category:Austrian_mathematicians_by_century http://en.wikipedia.org/wiki/List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers http://en.wikipedia.org/wiki/List_of_Jewish_mathematicians http://en.wikipedia.org/wiki/Francis_Crick http://en.wikipedia.org/wiki/Kreisel_(surname) http://en.wikipedia.org/wiki/Category:20th-century_British_mathematicians http://en.wikipedia.org/wiki/List_of_philosophers_(I%E2%80%93Q) http://en.wikipedia.org/wiki/Category:21st-century_British_mathematicians http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_elected_in_1966 http://en.wikipedia.org/wiki/Category:Austrian_emigrants_to_the_United_Kingdom
skos:prefLabel	Georg Kreisel
skos:altLabel	Kreisel
clgo:academicDiscipline	Computer science Mathematics Philosophy
clgo:almaMater	Trinity College, Cambridge
clgo:birthDate	1923-09-15
clgo:birthPlace	Graz
clgo:birthYear	1923
clgo:deathDate	2015-03-01
clgo:deathPlace	Salzburg
clgo:deathYear	2015
clgo:doctoralStudent	Richard Statman Henk Barendregt
clgo:knownFor	Proof mining Intermediate logic
is clgo:doctoralAdvisor of	Richard Statman

About: clgr:Georg_Kreisel