Wilhelm Ackermann

Wilhelm Ackermann

Wilhelm Ackerman
Biografia
Naixement	(de) Wilhelm Friedrich Ackermann 29 març 1896 Herscheid (Imperi Alemany)
Mort	24 desembre 1962 (66 anys) Lüdenscheid (Alemanya Occidental)
Religió	Luteranisme
Formació	Universitat de Göttingen (1914–1925)
Tesi acadèmica	Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit  (1925 )
Director de tesi	David Hilbert
Activitat
Camp de treball	Matemàtiques
Ocupació	matemàtic, filòsof, professor d'educació secundària
Ocupador	Universitat de Münster, professor honorari (1953–1962) Geschwister-Scholl-Gymnasium (1948–1961) Gymnasium Arnoldinum (1929–1948) Exèrcit Imperial Alemany (1915–1919)
Partit	Partit Nacionalsocialista Alemany dels Treballadors
Membre de	Acadèmia de Ciències de Göttingen (1953–)
Professors	David Hilbert
Carrera militar
Conflicte	Primera Guerra Mundial
Obra
Obres destacables Codificació d'Ackermann teoria de conjunts d'Ackermann ordnal d'Ackermann Funció d'Ackermann

Wilhelm Ackermann (alemany: Wilhelm Friedrich Ackermann) (Herscheid, 29 de març de 1896 - Lüdenscheid, 24 de desembre de 1962) va ser un matemàtic alemany.

Va ingressar a la Universitat de Göttingen el 1914 per estudiar Matemàtiques, Física i Filosofia, però va haver d'interrompre els seus estudis en ser mobilitzat per la Gran Guerra. Va obtenir el seu doctorat el 1924 sota la supervisió de David Hilbert amb una tesi titulada: Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit (Fonament del "tertium non datur" en la teoria hilbertiana de la consistència).

Ackerman no va seguir una carrera universitària: va ser professor de matemàtiques d'ensenyament secundari als Gymnasiums (els nostres Instituts de Batxillerat) de les ciutats de Burgsteinfurt i Ludenscheid (Westfàlia). Això no obstant, sempre va estar compromès amb la recerca i va publicar nombroses contribucions a la Lògica matemàtica i als Fonaments de la matemàtica. Va ser membre corresponent de l'Acadèmia de Ciències de Göttingen i professor honorari de la Universitat de Münster en lògica matemàtica.^[1]

Se'l considera el deixeble més fidel d'Hilbert, amb qui col·laborà en treballs de formalització de l'aritmètica i axiomatització de la matemàtica. El llibre pel que és més conegut és el Grundzüge der theoretischen Logik (Fonaments de Lògica Matemàtica) (1928), en coautoria amb David Hilbert, que ha estat traduït a nombrosos idiomes i ha tingut una influència decisiva en el desenvolupament posterior de les matemàtiques. També és destacable la seva contribució en metalògica i matemàtica en el seu treball sobre el problema de la decidibilitat Solvable cases of the decision problem,1954.^[1]

Segons Hans Hermes,^[2] els seus estudis publicats versen sobre els temes següents:

• Recerques sobre la Consistència de l'Aritmètica
• Recerques sobre la Consistència dels Sistemes Matemàtics complerts
• Estudis sobre l'enfortiment de la implicació estricta
• Problemes sobre les Funcions recursives
• Investigacions sobre la decidibilitat de la Lògica de predicats

Ackerman va estar donant classes fins a tres dies abans de la seva mort el dia 24 de desembre de 1962.

• Ackermann, Hans Richard «Aus dem briefwechsel Wilhelm Ackermanns» (en alemany). History and Philosophy of Logic, Vol. 4, Num. 1-2, 1983, pàg. 181-202. DOI: 10.1080/01445348308837054. ISSN: 0144-5340.
• Grewe, Rudolf «Natural Models of Ackermann's Set Theory» (en anglès). Journal of Symbolic Logic, Vol. 34, Num. 3, 1969, pàg. 481-488. DOI: 10.2307/2270911. ISSN: 0022-4812.
• Hermes, Hans «In memoriam: Wilhelm Ackermann (1896-1962)» (en anglès). Notre Dame Journal of Formal Logic, Vol. 8, Num. 1-2, 1967, pàg. 1-8. DOI: 10.1305/ndjfl/1093956238. ISSN: 0029-4527.
• Robering, Klaus. «Ackermann's Implication for Typefree Logic». A: Heinrich Wansing (ed.). Essays on Non-classical Logic (en anglès). World Scientific, 2001, p. 137-164. ISBN 981-02-4735-4. 
• Tapp, Christian. «Hilbertschule I: Wilhelm Ackermann». A: Christian Tapp. An den Grenzen des Endlichen (en alemany). Springer, 2013, p. 225-249. ISBN 978-3-642-29653-6. 
• Zach, Richard «The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program» (en anglès). Synthese, Vol. 137, Num. 1-2, 2003, pàg. 211-259. DOI: 10.1023/A:1026247421383. ISSN: 0039-7857.

A Wikimedia Commons hi ha contingut multimèdia relatiu a: Wilhelm Ackermann

• O'Connor, John J.; Robertson, Edmund F. «Wilhelm Ackermann» (en anglès). MacTutor History of Mathematics archive. School of Mathematics and Statistics, University of St Andrews, Scotland.
• Aznar, Enrique R. «Wilhelm Ackermann». Universidad de Granada. [Consulta: 16 gener 2021]. (castellà)
• «Wilhelm Ackermann». European Association for Computer Science Logic. [Consulta: 16 gener 2021]. (anglès)