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.

All labels observed (2)

Label Occurrences
Wilhelm Ackermann canonical 6
Ackermann 1

How this entity was disambiguated

Statements (47)

Predicate Object
instanceOf human
logician
mathematician
citizenship German
coAuthor David Hilbert
contributedTo Hilbert’s program
surface form: 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
University of Hamburg
employer University of Göttingen
University of Halle
Martin Luther University of Halle-Wittenberg
surface form: University of Halle-Wittenberg

University of Kiel
University of Münster
era 20th-century mathematics
familyName Wilhelm Ackermann self-linksurface differs
surface form: 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 self-link
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

How these facts were elicited

Referenced by (7)

Full triples — surface form annotated when it differs from this entity's canonical label.

David Hilbert doctoralStudent Wilhelm Ackermann
Wilhelm Ackermann name Wilhelm Ackermann self-link
Wilhelm Ackermann familyName Wilhelm Ackermann self-linksurface differs
this entity surface form: Ackermann
Entscheidungsproblem introducedBy Wilhelm Ackermann
Ackermann function namedAfter Wilhelm Ackermann
"Grundzüge der theoretischen Logik" author Wilhelm Ackermann
subject surface form: Grundzüge der theoretischen Logik
Hilbert and Ackermann’s "Grundzüge der theoretischen Logik" author Wilhelm Ackermann
subject surface form: Grundzüge der theoretischen Logik