Wilhelm Ackermann
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/20px-Logo_disambig.svg.png)
Pour les articles homonymes, voir Ackermann.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1f/Racine_carr%C3%A9e_bleue.svg/35px-Racine_carr%C3%A9e_bleue.svg.png)
Cet article est une ébauche concernant un mathématicien.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
![](http://upload.wikimedia.org/wikipedia/commons/6/6b/Ackermann_Wilhelm.jpg)
Naissance | ![]() Herscheid (Empire allemand) ![]() |
---|---|
Décès | (à 66 ans) Lüdenscheid (Allemagne de l'Ouest) ![]() |
Nom de naissance | Wilhelm Friedrich Ackermann ![]() |
Nationalité | allemande ![]() |
Formation | |
Activité | logique mathématique enseignement secondaire |
A travaillé pour | Gymnasium Arnoldinum (Steinfurt) (de) Geschwister-Scholl-Gymnasium (Lüdenscheid) (de) |
---|---|
Parti politique | |
Membre de | |
Conflit | |
Maître | David Hilbert ![]() |
Directeur de thèse | David Hilbert ![]() |
BIT predicate (d), ordinal d'Ackermann (d), théorie des ensembles de Ackermann (d), fonction d'Ackermann ![]() |
modifier - modifier le code - modifier Wikidata
Wilhelm Ackermann (1896-1962) est un mathématicien allemand, célèbre pour la fonction d'Ackermann (1925) qui est un exemple important de la théorie de la calculabilité.
Biographie
Sa thèse[1] (1924[2]) donne une preuve détaillée de la cohérence de l'arithmétique primitive récursive (en)[2]. Il fut professeur dans le secondaire, à Burgsteinfurt de 1929 à 1948, puis à Lüdenscheid jusqu'à sa retraite en 1961. Il fut membre correspondant de l'Académie des sciences de Göttingen et professeur honoraire de l'université de Münster.
Il écrivit Grundzüge der Theoretischen Logik (Principes de logique théorique) avec David Hilbert, à propos du problème de la décision et construisit des preuves de cohérence pour la théorie des ensembles (1937), l'arithmétique de Peano (1940), la logique non typée (1952), ainsi qu'une nouvelle axiomatisation (en) de la théorie des ensembles (1956). Il est aussi l'auteur du livre Solvable Cases of the Decision Problem (North Holland, 1954).
Références
- ↑ (en) « Wilhelm Friedrich Ackermann », sur le site du Mathematics Genealogy Project.
- ↑ a et b (en) Richard Zach (en), « The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program », Synthese (en), vol. 137, nos 1-2, , p. 211-259 (arXiv math/0102189).
Liens externes
- Notices d'autorité
:
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- Italie
- Japon
- Espagne
- Pays-Bas
- Pologne
- Israël
- NUKAT
- Catalogne
- Suède
- Australie
- Norvège
- Croatie
- WorldCat
- Ressources relatives à la recherche
:
- Digital Bibliography & Library Project
- Mathematics Genealogy Project
Portail des mathématiques
Portail de l’Allemagne