Wilhelm Ackermann (matemático)

Wilhelm Ackermann (aprox. 1935)

Wilhelm Friedrich Ackermann (nacido el 29 de marzo de 1896 en Schönebecke (Herscheid) , † el 24 de diciembre de 1962 en Lüdenscheid ) fue un matemático alemán .

La vida

Ackermann estudió matemáticas, física y filosofía en la Universidad de Göttingen desde 1914 hasta 1924 con interrupciones debido a su participación en la Primera Guerra Mundial . Fue alumno de David Hilbert en Gotinga y se hizo famoso por la función de Ackermann que lleva su nombre , un ejemplo de una función recursiva que no es primitiva-recursiva .

En 1924 recibió su doctorado de Hilbert con la tesis "Justificación del 'tertium non datur' usando la teoría de la consistencia de Hilbert". Luego recibió una beca de investigación de tres años que le permitió permanecer en Cambridge .

En 1925 descubrió la función de Ackermann que lleva su nombre , que es importante para la informática teórica actual.

En 1928 completó su servicio preparatorio para enseñar en las escuelas secundarias de Gotinga . Luego trabajó durante un año en lo que entonces era la Konrad-Schlaun-Oberrealschule en Münster . De 1929 a 1948 enseñó en la escuela primaria Arnoldinum en Burgsteinfurt , y en 1935 fue ascendido a miembro de la facultad allí. El 1 de mayo de 1933 se unió al NSDAP (número de miembro 2.167.324) y fue miembro del NSLB y del NSV . En julio de 1933 también escribió informes sobre la fiabilidad política de sus colegas. En 1948 regresó a su ciudad natal Lüdenscheid , donde enseñó en el Geschwister-Scholl-Gymnasium hasta 1961 . En 1957, fue ascendido a profesor titular de matemáticas allí.

Fue miembro correspondiente de la Academia de Ciencias de Gotinga y profesor honorario en la Universidad Westfaliana Wilhelms de Münster . En 1962, Ackermann fue uno de los siete miembros fundadores de la Asociación Alemana de Lógica Matemática y Fundamentos de las Ciencias Exactas (DVMLG).

Junto con David Hilbert, escribió el libro Basics of Theoretical Logic en 1928 . En vista de la avanzada edad de Hilbert en ese momento, fue su autor principal. También se dio a conocer a través de su trabajo sobre el problema de decisión de la lógica de predicados , la consistencia de la teoría de números elemental y la teoría de conjuntos . En particular, creó la teoría de conjuntos de Ackermann en 1955 .

Murió inesperadamente a la edad de 66 años el 24 de diciembre de 1962. Tres días antes estaba dando una conferencia sobre investigación matemática básica en la Universidad Westfaliana Wilhelms en Münster. En Münster, impartió conferencias periódicas sobre lógica matemática y los fundamentos de las matemáticas en la cátedra presidida por Hans Hermes .

Constance Reid da una respuesta a la pregunta de por qué Ackermann no se embarcó en una carrera universitaria :

La siguiente declaración se transmite oralmente de Hilbert:

Ackermann enseñó 26 horas a la semana en el Arnoldinum en el verano de 1929 e incluso fue el único profesor de matemáticas allí en ocasiones. En el obituario del Arnoldinum dice:

Durante sus estudios en Göttingen conoció a Fritz Lettenmeyer (1891-1953), quien continuó estudiando durante cuatro semestres en Göttingen desde 1920-1922. El apasionado alpinista Lettenmeyer cruzó la cresta Huderbankspitze - Kaiserkopf - Hochglück con Ackermann y pasó la noche en Lamsenjochhütte .

Fuentes

• con David Hilbert: Fundamentos de la lógica teórica. Enseñanzas básicas de las ciencias matemáticas 27, Springer 1928
• La consistencia del axioma de elección , 1924, Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Volumen 1924 , págs. 246-250.
• Justificación del "tertium non datur" utilizando la teoría de la consistencia de Hilbert , 1925, Mathematische Annalen, Volumen 93 , págs. 1-36.
• Sobre la estructura de los números reales de Hilbert , 1928, Mathematische Annalen, Volumen 99 , págs. 118-133.
• Acerca de la satisfacibilidad de ciertas expresiones de conteo , 1928, Mathematische Annalen, Volumen 100 , págs. 638–649.
• Investigaciones sobre el problema de eliminación de la lógica matemática , 1935, Mathematische Annalen, Volumen 110 , págs. 390-413.
• Sobre el problema de eliminación de la lógica matemática , 1935, Mathematische Annalen, Volumen 111 , págs. 61–63.
• Contribuciones al problema de decisión de la lógica matemática , 1936, Mathematische Annalen, Volumen 112 , págs. 419-432.
• La consistencia de la teoría general de conjuntos , 1936, Mathematische Annalen, Volumen 114 (1937) , págs. 305-315.
• Establecer la justificación teórica de la lógica , 1938, Mathematische Annalen, Volumen 115 , págs. 1-22.
• Sobre la coherencia de la teoría de números , 1940/1941, Mathematische Annalen, Volumen 117 , págs. 162-194.
• Un sistema de lógica libre de tipos . Volumen I, Leipzig 1941.
• Estructura constructiva de una sección de la segunda clase numérica de Cantor , 1951, Mathematische Zeitschrift, Volumen 53, Número 5 , págs. 403-413.
• Sobre la axiomática de la teoría de conjuntos, 1955, Mathematische Annalen, Volumen 131 (1956) , págs. 336-345.
• Estructura consistente de una lógica libre de tipos. , 1951/52, Mathematische Zeitschrift, Volumen 55 , págs. 364-384.
• Estructura consistente de una lógica libre de tipos. II. , 1953, Mathematische Zeitschrift, Volumen 57 , págs. 155-166.
• Observaciones filosóficas sobre lógica matemática e investigación matemática básica. En: Ratio. Volumen 1, 1957.
• Un sistema de lógica libre de tipos con suficiente aplicabilidad matemática I. , 1958, Archivo de lógica matemática e investigación básica, Volumen 4 , págs. 3–26.
• Un sistema de lógica libre de tipos con suficiente aplicabilidad matemática II. , 1960/61, Archivo de lógica matemática e investigación básica, Volumen 5 , págs. 96-111.

literatura

• Gottwald, Ilgauds, Schlote: Léxico de matemáticos importantes . 1990, pág.12 y sig.
• Constance Reid: Hilbert. Springer 1970, pág.173.
• Dieter Remus: Wilhelm Ackermann y las matemáticas. En: Albert Röser: Retratos de cuatro siglos. Arnoldinum Steinfurt 1588–1988, Steinfurter Schriften11, Steinfurt 1988, págs. 185–203.
• Dieter Remus: profesor Wilhelm Ackermann, profesor del Arnoldinum e investigador en matemáticas. En: 400 años Arnoldinum 1588–1988. Festschrift. Greven 1988, págs. 211-219.
• Hans Hermes : In memoriam WILHELM ACKERMANN 1896–1962. Notre Dame Journal of Formal Logic 8 (1967), 1-8 con lista de publicaciones, enlace web .

enlaces web

• John J. O'Connor, Edmund F. Robertson :  Wilhelm Ackermann (matemático). En: Archivo MacTutor de Historia de las Matemáticas .
• Hermes, In memoriam (pdf 945 KB)
• Kurzbiographie (inglés)
• Perfil de autor en la base de datos zbMATH

Evidencia individual

1. ↑ Archivos federales R 9361-IX KARTEI / 81399
2. ^ Willi Feld: Burgsteinfurt durante la era nazi, Volumen 1. Münster 2019. P. 112ff
3. ↑ Anita Ehlers. ¡Estimado Hertz! Físicos y matemáticos en anécdotas . Basilea: Birkhäuser Verlag, 1994, página 161. También en Constance Reid Hilbert .