Biografía de Stephen Cole Kleene

Timeline created by ManuelTapie
  • 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

    Primer Titulo
    Recibió su primer título en artes
  • 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
  • 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.
  • 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

    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
  • 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

    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.
  • 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
  • Period: to

    estudio

    durante este tiempo se desempeño como asistente investigador en la Universidad de Princeton
  • 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.
  • 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.
  • 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
  • Period: to

    decano

    desempeño el papel como decano en la facultad de letras y ciencias