Statements (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Mathematician
|
| gptkbp:academicAdvisor |
gptkb:Hermann_Weyl
|
| gptkbp:birthPlace |
gptkb:Austria
|
| gptkbp:field |
Mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
Günther Leinfellner
|
| gptkbp:influencedBy |
Kurt Gödel
|
| gptkbp:knownFor |
Contributions to mathematical logic
|
| gptkbp:nationality |
Austrian
|
| gptkbp:notableFeature |
gptkb:Peter_M._C._de_Jongh
|
| gptkbp:occupation |
Professor
|
| gptkbp:researchAreas |
Philosophy of mathematics
|