-
nacimiento
Stephen kleene nacio en Hartford, su padre Gustav Adolph Kleene, profesor de economía en el Trinity College, Hartford y su madre Alice Lena Cole, que era poeta y escritora de obras de teatro -
Primer Titulo
Recibió su primer título en artes -
Period: to
estudio
durante este tiempo se desempeño como asistente investigador en la Universidad de Princeton -
Doctorado
obtuvo un pH.D. en matemáticas en la universidad de Princeton
bajo la tutoria de Alonzo Church por la presentación de su tesis. "Una teoría de Enteros Positivos en Lógica Formal" -
se incorpora en universidad Wisconsin
Enseño en Pricenton, hasta que logro incorporarse en 1935 en la Universidad de Wisconsin como instructor y luego se convirtió en profesor titular -
Period: to
Teoría de las funciones recursivas
Kleene, junto con Alonzo Church, Kurt Gödel, Alan Turing y otros, desarrolló el campo de la teoría de la recursión, que permitió probar si ciertas clases de problemas matemáticos son solucionables o no. La teoría de la recursión, a su vez, condujo a la teoría de las funciones computables, que rige aquellas funciones que pueden calcularse mediante una computadora digital. -
servicio de guerra
También en 1942, Kleene dejó universidad para realizar un servicio de guerra con la Marina de los EE. UU. Como instructor de navegación en la Escuela de guardiamarina de la Reserva Naval en Nueva York. Más tarde fue director de proyectos en el Laboratorio de investigación naval en Washington DC. -
matrimonio
En 1942 se casó con Nancy Elliot, hija de George Roy Elliott, profesor de inglés en Amherst y crítico literario especializado en Shakespeare.
Tuvieron cuatro hijos, Paul, Kenneth, Bruce y Nancy. -
Period: to
universad de Wisconsin
pasa a ser miembro del claustro de profesores de la Universidad de Wisconsin en Madison, siendo durante este tiempo director de los departamentos de matemáticas y de análisis numérico. -
Conferencia en el congreso Internacional de matemáticos
Dio una conferencia en el Congreso Internacional de Matemáticos en Cambridge en 1950. acerca de las funciones recursivas y matemáticas intuitivas.
En esta conferencia habló sobre cómo su interpretación de la teoría numérica intuicionista -
libro Introducción a la Metamatematícas
El objetivo de este libro es proporcionar una introducción conectada a los temas de la lógica matemática y las funciones recursivas en particular, y a las nuevas investigaciones fundacionales en general. -
teorema de Kleene
Kleene demostró que los conjuntos regulares son los conjuntos aceptados por un autómata finito. por ello este importante resultado se le llama teorema de Kleene -
Period: to
Presidente de la asociación Lógica simbólica
fue un amante escalador de montañas, Kleene participó en muchas organizaciones profesionales en favor de Conservación del Ambiente, sirviendo como presidente de la Asociación de Lógica Simbólica -
Presidente de la IUHPST
fue presidente de la Unión Internacional de historia y filosofía de la ciencia -
Profesor de Wisconsin
fue nombrado profesor de matemáticas y continuó ocupándose de esa cátedra hasta que se jubiló en 1979 -
libro Lógica Matemática
Este libro ofrece una visión general elemental pero minuciosa de la lógica matemática de primer orden tambien algunas de las ideas más nuevas y los resultados más profundos de la investigación lógica en el siglo XX. -
Period: to
decano
desempeño el papel como decano en la facultad de letras y ciencias -
Premio Leroy P Steele
recibio el premio Leroy P Steele que fue galardonado por la Sociedad Americana de Matemáticas
desarrollos posteriores en teoría de recursión generalizada y teoría de conjuntos descriptivos "predicados aritméticos y cuantificadores de función" -
Premio de la Medalla Nacional de la Ciencia
Fue presentada por el Presidente Bush en la ceremonia de la Sala Este de la Casa Blanca
"Por su liderazgo en la teoría de la recursividad y computabilidad efectiva y por desarrollarla en un campo profundo y amplio de investigación matemática" -
Fallece
Tras una larga enfermedad, Kleene fallece a los 85 años, en su querida Madison, Wisconsin
