Matemáticos

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

Stephen Cole Kleene

Fecha del nacimiento:

Lugar del nacimiento:

Fecha de la muerte:

Lugar de la muerte:

5 Jan 1909

Hartford, Connecticut, USA

25 Jan 1994

Madison, Wisconsin, USA

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

Stephen C Kleene estudiado para su primer título en Amherst College. Llegó a recibir un doctorado de la Universidad de Princeton en 1934, bajo la supervisión de la Iglesia, por su tesis titulada Teoría de números enteros positivos en la lógica formal. Kleene Luego enseñó en Princeton, hasta su incorporación a la Universidad de Wisconsin en Madison en 1935. Se convirtió en profesor en la Universidad de Wisconsin en Madison en 1948 y permaneció en el personal de allí hasta que se retiró en 1979.

Investigación Kleene estaba en la teoría de algoritmos y funciones recursivas. Él desarrolló el campo de la teoría de la recursividad con la Iglesia, Gödel, Turing y otros. Contribuyó a intuicionismo matemático que había sido fundada por Brouwer.

Su trabajo sobre la teoría de la recursividad ayudó 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, el trabajo Kleene condujo al estudio de las funciones que se pueden calcular.

En una conferencia en la Universidad de Chicago en 1995, Robert Soare describió su trabajo en estos términos:

La formulación de Kleene de función calculable por medio de seis esquemas es uno de los más sucinto y útil, y su trabajo previo en las funciones lambda desempeñado un papel importante en el apoyo a la Iglesia 's tesis de que estas clases coinciden con las funciones intuitivamente calculable.

A partir de 1930 's en Kleene más que ningún otro matemático desarrollado los conceptos de la computabilidad y eficaz proceso en todas sus formas, tanto abstractas y concretas, tanto en matemáticas y filosóficas. Se tiende a sentar las bases para un área y luego pasar a la siguiente, como cada uno de los sucesivos convertido en una importante área de investigación en su estela.

Kleene desarrollado una amplia gama de temas de computabilidad: la jerarquía aritmética, los grados de la computabilidad, ordinales computables y la teoría hyperarithmetic, los autómatas finitos y conjuntos regulares con enormes consecuencias para la ciencia de la computación, la computabilidad de los tipos más elevados, realizabilidad recursiva para la aritmética intuicionista con consecuencias para la filosofía y para la corrección del programa de ciencias de la computación.

Libros más conocidos son Kleene Introducción a Metamathematics (1952) y Lógica Matemática (1967).

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