Matemáticos

Línea de Tiempo Fotos Dinero Estampillas Bosquejo Búsqueda

Wilhelm Ackermann

Fecha del nacimiento:

Lugar del nacimiento:

Fecha de la muerte:

Lugar de la muerte:

29 March 1896

Schönebeck (Kr. Altena), Germany

24 Dec 1962

Lüdenscheid, Germany

Presentación Wikipedia
ATENCIÓN - traducción automática de la versión inglesa

Wilhelm Ackermann fue un lógico matemático que trabajó con Hilbert en Göttingen.

Ackermann, recibió su doctorado en 1925 con una tesis Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit escrita en Hilbert y fue una prueba de la consistencia de la aritmética sin inducción. Se pretende ser una prueba de consistencia para el análisis elemental, aunque esta prueba contenía errores significativos.

Ackermann fue también el principal contribuyente al desarrollo del sistema lógico conocido como el cálculo de Epsilon, originalmente, debido a Hilbert. Este formalismo formaron la base de Bourbaki 's la lógica y la teoría de conjuntos.

Desde 1929 hasta 1948 enseñó como profesor en el instituto Arnoldinum en Burgsteinfurt y en Luedenscheid. Fue miembro correspondiente de la Akademie der Wissenschaften en Göttingen, y fue profesor honorario de la Universität Münster.

En 1928, Ackermann señaló que A (x, y, z), el pliegue en Z reiteró exponenciación de x con y, es un ejemplo de una función recursiva que no es primitiva recursiva. A (x, y, z) se simplificó una función P (x, y) de 2 variables por Rozsa Peter inicial cuya condición se ha simplificado por Rafael Reyes. Es esta última la que se produce como la función de Ackermann en libros de texto de hoy. También en 1928 el libro reimpreso con frecuencia Grundzüge der Logik theoretischen por Hilbert y Ackermann apareció.

Entre las obras más tarde Ackermann son pruebas de la consistencia de la teoría de conjuntos (1937), el cálculo completo (1940) y el tipo de lógica libre (1952). Además hubo una nueva axiomatización de la teoría de conjuntos (1956), y un libro de casos solubles del problema de decisión (North Holland, 1954).

Source:School of Mathematics and Statistics University of St Andrews, Scotland