Wilhelm Ackermann
E41773
Wilhelm Ackermann was a German mathematician known for his work in mathematical logic and the development of the Ackermann function, one of the earliest-discovered examples of a computable but not primitive recursive function.
Aliases (1)
- Ackermann ×1
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
human
→
logician → mathematician → |
| citizenship |
German
→
|
| coAuthor |
David Hilbert
→
|
| contributedTo |
Hilbert program
→
|
| countryOfBirth |
German Empire
→
|
| countryOfCitizenship |
German Empire
→
Germany → |
| countryOfDeath |
Germany
→
|
| dateOfBirth |
1896-03-29
→
|
| dateOfDeath |
1962-12-24
→
|
| describedBySource |
mathematics literature
→
|
| developed |
Ackermann function
→
|
| doctoralAdvisor |
David Hilbert
→
|
| educatedAt |
University of Göttingen
NERFINISHED
→
University of Hamburg NERFINISHED → |
| employer |
University of Göttingen
NERFINISHED
→
University of Halle NERFINISHED → University of Halle-Wittenberg NERFINISHED → University of Kiel NERFINISHED → University of Münster NERFINISHED → |
| era |
20th-century mathematics
→
|
| familyName |
Ackermann
→
|
| fieldOfWork |
foundations of mathematics
→
mathematical logic → proof theory → |
| givenName |
Wilhelm
→
|
| hasAcademicDiscipline |
mathematics
→
|
| hasWorkIn |
formal logic
→
proof theory → recursion theory → |
| influencedBy |
David Hilbert
→
foundational studies in mathematics → |
| knownFor |
Ackermann function
→
work in mathematical logic → |
| languageOfWorkOrName |
German
→
|
| name |
Wilhelm Ackermann
→
|
| nativeLanguage |
German
→
|
| notableConcept |
Ackermann function
→
|
| notableStudent |
Gisbert Hasenjaeger
→
|
| notableWork |
"Grundzüge der theoretischen Logik"
→
|
| occupation |
mathematician
→
university teacher → |
| placeOfBirth |
Herscheid
→
|
| placeOfDeath |
Lüdenscheid
→
|
| sexOrGender |
male
→
|
Referenced by (4)
| Subject (surface form when different) | Predicate |
|---|---|
|
David Hilbert
→
|
doctoralStudent |
|
Wilhelm Ackermann
("Ackermann")
→
|
familyName |
|
Entscheidungsproblem
→
|
introducedBy |
|
Wilhelm Ackermann
→
|
name |