|
gptkbp:instanceOf
|
mathematician
|
|
gptkbp:academicAdvisor
|
gptkb:John_von_Neumann
gptkb:Richard_Bellman
|
|
gptkbp:affiliation
|
gptkb:Institute_for_Advanced_Study
gptkb:University_of_Illinois_at_Urbana-Champaign
gptkb:Max_Planck_Institute_for_Mathematics
|
|
gptkbp:almaMater
|
gptkb:University_of_Illinois_at_Urbana-Champaign
|
|
gptkbp:awards
|
gptkb:National_Medal_of_Science
|
|
gptkbp:birthDate
|
1925-03-08
|
|
gptkbp:birthPlace
|
Lübeck,_Germany
|
|
gptkbp:children
|
2
|
|
gptkbp:deathDate
|
2023-09-15
|
|
gptkbp:deathPlace
|
gptkb:Urbana,_Illinois,_USA
|
|
gptkbp:field
|
mathematics
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Wolfgang Haken
|
|
gptkbp:influencedBy
|
gptkb:David_Hilbert
gptkb:John_von_Neumann
|
|
gptkbp:knownFor
|
computer science
mathematical logic
topology
proof of the four color theorem
Haken's theorem
|
|
gptkbp:lawEnforcement
|
gptkb:Germany
gptkb:United_States
|
|
gptkbp:nationality
|
German
|
|
gptkbp:notableFeature
|
gptkb:Robert_Ghrist
gptkb:Gregory_J._Chaitin
gptkb:John_H._Conway
gptkb:David_W._Farmer
gptkb:William_P._Thurston
|
|
gptkbp:researchField
|
computer science
mathematical logic
topology
|
|
gptkbp:researchInterest
|
mathematical physics
graph theory
knot theory
combinatorial topology
algorithmic topology
|
|
gptkbp:spouse
|
Margaret_Haken
|
|
gptkbp:workLocation
|
gptkb:University_of_California,_Berkeley
gptkb:University_of_Illinois_at_Urbana-Champaign
|