Ackerman

Solo disponible en BuenasTareas
  • Páginas : 4 (800 palabras )
  • Descarga(s) : 0
  • Publicado : 7 de marzo de 2012
Leer documento completo
Vista previa del texto
FUNCIÓN DE ACKERMANN
Wilhelm Ackermann (29 de marzo 1896 - 24 de diciembre 1962) fue un matemático alemán. Es conocido, sobre todo, por la función de Ackermann nombrada en su honor, un ejemploimportante en la teoría de la computación. 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 hasta1948 fue profesor en el instituto Arnoldinum en Burgsteinfurt, y desde entonces hasta 1961 enseñó en Lüdenscheid. Además, fue miembro de la Akademie der Wissenschaften (Academia de las Ciencias) enGöttingen, 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 alEntscheidungsproblem (problema de decisión) también construyó las pruebas de la consistencia para la teoría determinada ( 1937 ), la aritmética completa ( 1940 ), la lógica tipo-libre ( 1952 ) y unanueva axiomatización de la teoría determinada ( 1956 ). Escribió el libro los casos solubles del problema de la decisión (Holanda del norte, 1954 ). En 1928, Wilhelm Ackermann consideró una funcióndoblemente recursiva A(m, n, p) de tres variables: m → n → p en la notación de Conway. Ackermann demostró que se trata de una función recursiva que no es primitiva recursiva. Esa definición fuesimplificada por Rózsa Péter y Raphael Robinson a la versión de dos variables. Rozsa Peter también demostró que la doble recursión no se puede reducir a recursión primitiva (y que de igual forma la triplerecursión no se puede reducir a recursión primitiva y doble recursión, etc). Sin embargo, la primera función doblemente recursiva que no es recursiva primitiva fue descubierta por Gabriel Sudan en...
tracking img