Georg Kreisel

URI: https://gptkb.org/entity/Georg_Kreisel

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:logic gptkb:mathematician
gptkbp:almaMater	gptkb:Trinity_College,_Cambridge
gptkbp:awardReceived	gptkb:Fellow_of_the_American_Academy_of_Arts_and_Sciences gptkb:Fellow_of_the_Royal_Society
gptkbp:birthDate	1923-09-15
gptkbp:birthPlace	gptkb:Graz,_Austria
gptkbp:citizenship	gptkb:Austria gptkb:United_Kingdom
gptkbp:deathDate	2015-03-01
gptkbp:deathPlace	gptkb:Salzburg,_Austria
gptkbp:doctoralAdvisor	gptkb:John_Littlewood
gptkbp:employer	gptkb:Institute_for_Advanced_Study gptkb:Stanford_University gptkb:University_of_Paris gptkb:University_of_Reading gptkb:University_of_Salzburg
gptkbp:field	gptkb:logic
gptkbp:influenced	gptkb:Solomon_Feferman gptkb:William_W._Tait
gptkbp:influencedBy	gptkb:John_Littlewood gptkb:Kurt_Gödel
gptkbp:knownFor	gptkb:Kreisel's_unwinding_program gptkb:Kreisel–Putnam_logic proof theory work on constructive mathematics
gptkbp:memberOf	gptkb:Academia_Europaea gptkb:Royal_Society
gptkbp:nationality	gptkb:Austrian
gptkbp:notableStudent	gptkb:Solomon_Feferman gptkb:William_W._Tait gptkb:Stanley_Tennenbaum
gptkbp:publishedIn	gptkb:Informal_Rigour_and_Completeness_Proofs gptkb:Kurt_Gödel:_An_Intellectual_Biography gptkb:Mathematical_Logic:_What_Has_It_Done_for_the_Philosophy_of_Mathematics? Analysis of Proof
gptkbp:spouse	gptkb:Edith_Mary_Kreisel
gptkbp:bfsParent	gptkb:Logician gptkb:On_the_Interpretation_of_Intuitionistic_Number_Theory_II gptkb:Foundations_of_mathematics
gptkbp:bfsLayer	6
https://www.w3.org/2000/01/rdf-schema#label	Georg Kreisel