Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Mathematician
|
| gptkbp:almaMater |
gptkb:University_of_Göttingen
|
| gptkbp:awards |
Honorary_Doctorate_from_the_University_of_Göttingen
|
| gptkbp:birthDate |
1896-03-29
|
| gptkbp:children |
2
|
| gptkbp:deathDate |
1962-10-11
|
| gptkbp:field |
Mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
Wilhelm Ackermann
|
| gptkbp:influenced |
gptkb:Gerhard_Gentzen
|
| gptkbp:influencedBy |
gptkb:David_Hilbert
|
| gptkbp:knownFor |
Ackermann function
Contributions to mathematical logic Ackermann's_function_properties Ackermann's_theorem |
| gptkbp:nationality |
German
|
| gptkbp:spouse |
gptkb:Margarete_Ackermann
|
| gptkbp:work |
Mathematical Logic
Set Theory Computability Theory Proof Theory |