La lógica matemática alcanzó un punto de inflexión importante en 1951, cuando Stephen Cole Kleene describió las operaciones de los autómatas finitos, proporcionando un puente fundamental entre las redes neuronales y la computación digital. Este desarrollo ocurrió junto a su exploración de toda la vida de la teoría de funciones recursivas, estableciéndolo como una figura central en el surgimiento de la informática teórica durante el siglo XX.
Formación académica
Nacido en Hartford en 1909, Kleene cursó sus estudios iniciales en el Amherst College, graduándose en 1930. Pasó a la Universidad de Princeton para realizar sus estudios de doctorado, los cuales completó en 1934 bajo la supervisión de Alonzo Church. Su tesis doctoral, A Theory of Positive Integers in Formal Logic, marcó el inicio de un período prolífico centrado en el cálculo lambda. Durante estos años de formación, se incorporó a la Universidad de Wisconsin-Madison en 1935, institución que albergaría la mayor parte de su carrera académica.
Fundamentos de la computación
A Kleene se le atribuye la formalización de la teoría de la recursión, un campo que fundamenta el estudio de las funciones computables. A lo largo de las décadas de 1930 y 1940, redactó demostraciones fundamentales, incluidos el teorema de recursión y el teorema de la forma normal. Estas contribuciones permitieron una descripción matemática precisa de los procesos computacionales. Su trabajo a finales de las décadas de 1940 y 1950 se expandió hacia las jerarquías aritmética e hiperaritmética, mientras que su memorando de 1951 para la Corporación RAND introdujo las expresiones regulares para categorizar eventos en autómatas finitos.
Servicio e intuicionismo
Durante la Segunda Guerra Mundial, Kleene sirvió en la Reserva Naval de los Estados Unidos, alcanzando el rango de capitán de corbeta entre 1942 y 1946. Al regresar a la vida civil en la Universidad de Wisconsin-Madison, compaginó roles administrativos como director de departamento y decano de la Facultad de Letras y Ciencias con su investigación en matemáticas intuicionistas. Sus textos, en particular los coescritos con Richard Vesley, establecieron un estándar estadounidense para interpretar declaraciones intuicionistas mediante la realizabilidad recursiva.
Veinte preguntas, ocho minutos de reloj y un percentil medido frente a todos los que la han hecho. Sin registro.
Hacer la prueba de CI →Legado profesional
Kleene se retiró de su puesto como profesor de matemáticas Cyrus C. MacDuffee en 1979. A lo largo de cuatro décadas, tutorizó a 13 estudiantes de doctorado e influyó en generaciones a través de libros de texto que clarificaron los teoremas de incompletitud de Gödel. Su liderazgo profesional incluyó mandatos como presidente de la Asociación de Lógica Simbólica y de la Unión Internacional de Historia y Filosofía de la Ciencia. En 1990, recibió la Medalla Nacional de Ciencia por sus logros.
Datos rápidos
- Nacimiento: 1909, Hartford - Fallecimiento: 1994, Madison - Educación: Amherst College, Universidad de Princeton - Rango militar clave: Capitán de corbeta - Campo principal: Ciencias de la computación teóricas - Premio importante: Medalla Nacional de Ciencia (1990) - Membresía profesional: Academia Nacional de Ciencias
Preguntas que hacen los lectores
### ¿Qué es la estrella de Kleene?
Es una operación matemática, también conocida como clausura de Kleene, nombrada así en su honor por su papel en la teoría de lenguajes formales y la informática teórica.
### ¿Contribuyó Kleene al estudio de las redes neuronales?
Sí, en 1951 desarrolló un método para caracterizar eventos aceptados por autómatas finitos, el cual aplicó al estudio de las redes neuronales de McCulloch-Pitts.
