GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Georg Kreisel
URI:
https://gptkb.org/entity/Georg_Kreisel
GPTKB entity
Statements (40)
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
https://www.w3.org/2000/01/rdf-schema#label
Georg Kreisel
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:Foundations_of_mathematics
gptkbp:bfsLayer
5