Ackermann, Wilhelm
La versión actual de la página aún no ha sido revisada por colaboradores experimentados y puede diferir significativamente de la versión revisada el 27 de diciembre de 2017; las comprobaciones requieren 6 ediciones .| Wilhelm Ackermann | |
|---|---|
| Wilhelm Ackerman | |
| Nombrar al nacer | Alemán Wilhelm Friedrich Ackermann |
| Fecha de nacimiento | 29 de marzo de 1896 [1] [2] [3] […] |
| Lugar de nacimiento | Herscheid , Imperio Alemán |
| Fecha de muerte | 24 de diciembre de 1962 [1] [3] [4] (66 años) |
| Un lugar de muerte | |
| País | Imperio Alemán, República de Weimar, Tercer Reich, Alemania |
| Esfera científica | matemáticas , lógica |
| Lugar de trabajo | |
| alma mater | |
| consejero científico | david gilberto |
 Citas en Wikiquote | |
| Archivos multimedia en Wikimedia Commons | |
Wilhelm Friedrich Ackermann ( alemán Wilhelm Friedrich Ackermann ; 29 de marzo de 1896 , Herscheid , Imperio Alemán , - 24 de diciembre de 1962 , Lüdenscheid , Alemania ) - Matemático y lógico alemán , profesor.
Biografía
Ackermann recibió su doctorado de la Universidad de Göttingen en 1925 con una tesis titulada Justificación de "tertium non datur" por la teoría de prueba de consistencia de Hilbert ( en alemán: Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit ), una prueba de la consistencia de la aritmética sin el uso obvio del axioma de inducción completa de Peano (aunque todavía se usaba implícitamente). De 1929 a 1948 enseñó en el Gymnasium de Steinfurt , luego hasta 1961 en Lüdenscheid . Fue miembro correspondiente de la Academia de Ciencias de Göttingen y profesor honorario de la Universidad de Westfalia .
En 1928 , Ackermann ayudó a David Hilbert a preparar las conferencias 1917-1922 para su publicación. para una introducción a la lógica matemática - Fundamentos de la lógica teórica ( en alemán: Grundzüge der theoretischen Logik ). El libro contiene la primera exposición de la lógica de primer orden y las cuestiones que Gödel resolvió posteriormente en el teorema de completitud y el teorema de incompletitud .
A pesar de que Ackerman prefería trabajar en el sistema escolar en lugar de la educación universitaria, participó activamente en la ciencia y tuvo muchas publicaciones. Ackerman trabajó en pruebas de la consistencia de la teoría de conjuntos (1937), aritmética completa (1940), lógica libre (1952) y una nueva axiomatización de la teoría de conjuntos (1956). En la teoría de los algoritmos, la función de Ackermann es ampliamente conocida .
En 1956, Ackermann abordó explícitamente por primera vez la problemática de la lógica relevante . Aunque más tarde se supo que antes de Ackerman el sistema de lógica relevante fue construido por I. E. Orlov (década de 1920), y después de A. Church (1951), el sistema lógico de implicación fuerte de Ackermann fue la primera consideración explícita de los problemas de lógica relevante.
Publicaciones en ruso
- Gilbert D., Akkerman V. Fundamentos de lógica teórica. — M.: Grupo editorial URSS, 2010. — 304 p. — ISBN 978-5-484-01144-5 .
Notas
- ↑ 1 2 3 4 5 MacTutor Archivo de Historia de las Matemáticas
- ↑ ACKERMANN WILHELM // Encyclopædia Universalis (francés) - Encyclopædia Britannica .
- ↑ 1 2 Friedrich Wilhelm Ackermann // Enciclopedia Brockhaus (alemán) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
- ↑ Base de datos de la autoridad nacional checa
- ↑ https://projecteuclid.org/euclid.ndjfl/1093956238 - página 1.
Literatura
- Gottwald, Ilgauds, Schlote: Lexikon bedeutender Mathematiker. 1990. S.12 f.
- Constance Reid: Hilbert, Springer 1970, S.173.
- Dieter Remus: Profesor Wilhelm Ackermann, Lehrer am Arnoldinum und Forscher in der Mathematik. En: 400 Jahre Arnoldinum 1588-1988. Festschrift. Greven 1988, S.211-219.
 sitios temáticos | ||||
|---|---|---|---|---|
| diccionarios y enciclopedias | ||||
| ||||