Wilhelm Ackermann para niños
Datos para niños Wilhelm Ackermann |
||
|---|---|---|
 |
||
| Información personal | ||
| Nombre de nacimiento | Wilhelm Friedrich Ackermann | |
| Nacimiento | 29 de marzo de 1896 Herscheid (Imperio alemán) |
|
| Fallecimiento | 24 de diciembre de 1962 (66 años) Lüdenscheid (Alemania Occidental) |
|
| Nacionalidad | Alemana | |
| Religión | Luteranismo | |
| Lengua materna | Alemán | |
| Educación | ||
| Educado en | Universidad de Gotinga (1914-1925) | |
| Supervisor doctoral | David Hilbert | |
| Alumno de | David Hilbert | |
| Información profesional | ||
| Ocupación | Matemático, filósofo y profesor de enseñanza secundaria | |
| Área | Matemáticas | |
| Empleador |
|
|
| Obras notables | función de Ackermann | |
| Conflictos | Primera Guerra Mundial | |
| Partido político | Partido Nazi | |
| Miembro de | Academia de Ciencias de Gotinga (desde 1953) | |
Wilhelm Ackermann (29 de marzo de 1896 - 24 de diciembre de 1962) fue un matemático alemán. Es conocido, sobre todo, por la función de Ackermann nombrada en su honor, un ejemplo importante en la teoría de la computación.
Biografía
Ackermann nació el 29 de marzo de 1896 en Schönebecke (que pertenecía al distrito de Altena y ahora forma parte del municipio de Herscheid) (Alemania). Se doctoró en 1925 con su tesis Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit, que fue una prueba de consistencia de la aritmética sin inducción. Desde 1928 hasta 1948 fue profesor en el instituto Arnoldinum en Burgsteinfurt, y desde entonces hasta 1961 enseñó en Lüdenscheid. Además, fue miembro de la Academia de las Ciencias en Gotinga, así como profesor honorífico de la Universidad de Münster en Westfalia.
Escribió Grundzüge der Theoretischen Logik (Fundamentos de la lógica teórica) junto con David Hilbert, enfrentándose al Entscheidungsproblem (problema de decisión) también construyó pruebas de la consistencia para la teoría de conjuntos ( 1937 ), la aritmética completa ( 1940 ), la lógica tipo-libre ( 1952 ) y una nueva axiomatización de la teoría de conjuntos ( 1956 ). Escribió el libro los casos solubles del problema de la decisión (Holanda del norte, 1954 ).Él fue un matemático destacado de ese siglo .
Wilhelm Ackermann murió en Lüdenscheid (Alemania) el 24 de diciembre de 1962.
Obra
- ', 1924, Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, v. 1924: 246-250
- ', 1925, Mathematische Ann. v. 93: 1-36
- ', 1928, Mathematische Ann. v. 99: 118-133
- ', 1928, Mathematische Ann. v. 100: 638-649
- ', 1935, Mathematische Ann. v. 110: 390-413
- Zum Eliminationsproblem der mathematischen Logik, 1935, Mathematische Ann. v. 111: 61-63
- ', 1936, Mathematische Ann. v. 112: 419-432
- ', 1936, Mathematische Ann. v. 114 (1937): 305-315
- ', 1938, Mathematische Ann. v. 115: 1-22
- ', 1940/1941, Mathematische Ann. v. 117: 162-194
- Ein System der typenfreien Logik. v. I, Leipzig 1941
- ', 1951, Mathematische Zeitschrift, v. 53 ( 5): 403-413
- Zur Axiomatik der Mengenlehre, 1955, Mathematische Ann. v. 131 (1956): 336-345
- ',1951/52, Mathematische Zeitschrift, v. 55: 364-384
- ',1953, Mathematische Zeitschrift, v. 57: 155-166
- Philosophische Bemerkungen zur mathematischen Logik und zur mathematischen Grundlagenforschung. In: 'Ratio 1, 1957.
- ', 1958, Archiv für mathematische Logik und Grundlagenforschung, v. 4: 3-26
- ', 1960/61, Archiv für mathematische Logik und Grundlagenforschung, v. 5: 96-111
Literatura
- Gottwald, Ilgauds, Schlote. Lexikon bedeutender Mathematiker. 1990. p. 12 f
- Constance Reid. Hilbert, Springer 1970, p. 173
- Dieter Remus. Professor Wilhelm Ackermann, Lehrer am Arnoldinum und Forscher in der Mathematik. In: 400 Jahre Arnoldinum 1588-1988. Festschrift. Greven 1988, p. 211-219
- Hans Hermes. In memoriam WILHELM ACKERMANN 1896-1962. Notre Dame Journal of Formal Logic 8 (1967) 1-8 incluye lista de publicaciones, Weblink.
