Stephen Cole Kleene
| ||||||||||
Stephen Cole Kleene. Lógico y matemático estadounidense.
Síntesis biográfica
Hijo menor de una gran familia de agricultores. Al crecer, asistió a la iglesia de Lexington, siempre mostro gran interés por la matemática y los números, recibió como egresado del colegio Amherts College su primer certificado en artes en el año 1930, donde estudio hasta el año 1935, durante este tiempo se desempeño como asistente investigador en la Universidad de Princeton; en el año 1934 alcanza por su esfuerzo y dedicación un doctorado en Matemáticas bajo la tutoria de Alonzo Church por la presentación de su magistral tesis.
- Una teoría de Enteros Positivos en Lógica Formal.
Trayectoria
Más tarde pasa a ser miembro del claustro de profesores de la Universidad de Wisconsin en Madison en 1948 hasta el año 1979 siendo durante este tiempo director de los departamentos de matemáticas y de análisis numérico, su línea de enseñanza siempre estuvo dirigida a la teoría de algoritmos y funciones recursivas, fue el creador de la teoría de la recursividad, dando su aporte a sentar las bases de la ciencia de la computación teórica, al proporcionar los métodos para determinar que los problemas son solubles, y contribuyó junto a otros matemáticos al intuicionismo matemático fundada por Brouwer.
Stephen Cole Kleene también tuvo un papel meritorio durante la duración de la Segunda Guerra Mundial, llegando a alcanzar el grado de teniente-comandante en la Armada de los Estados Unidos. Su destaque se puede referir fue como instructor de navegación en la US Naval Reserve’s Midshipmen’s School en New York, y después director de proyecto en la Naval Research Laboratory (Laboratorio de Investigación de la Armada) en Washington, D.C.
Kleene participó en muchas causas a favor de cnservación del Medio Ambiente, le gustaba mucho escalar montañas demostrando un apego muy grande a la madre naturaleza y todo lo que lo rodeaba.
Por su destacada trayectoria en el mundo de los números Stephen Cole Kleene fue electo en el año 1961 presidente de la Internacional Union of the History an the Philosophy of Science.
Obras
Entre sus principales aportes a las matemáticas se pueden mencionar.
- Teorema de Kleene.
- Teorema S m n.
Muerte
Stephen Cole Kleene muere el 25 de enero de 1994 tras una larga enfermedad en su querida Madison, Wisconsin.