Stephen Cole Kleene ( / k l eɪ n i / KLAY -nee ; [a] 5 en 1909 hasta 25 en 1994) fue un americano matemático . Uno de los estudiantes de Alonzo Church , Kleene, junto con Rózsa Péter , Alan Turing , Emil Post y otros, es mejor conocido como fundador de la rama de la lógica matemática conocida como teoría de la recursividad , que posteriormente ayudó a proporcionar los fundamentos teóricos. Ciencias de la Computación . El trabajo de Kleene fundamenta el estudio defunciones computables . Una serie de conceptos matemáticos llevan su nombre: la jerarquía de Kleene , álgebra de Kleene , la estrella de Kleene (cierre de Kleene), teorema de recursión de Kleene y la Kleene de punto fijo teorema . También inventó expresiones regulares en 1951 para describir las redes neuronales McCulloch-Pitts e hizo importantes contribuciones a los fundamentos del intuicionismo matemático .
Stephen Kleene | |
---|---|
Nació | Hartford, Connecticut , Estados Unidos | 5 de enero de 1909
Fallecido | 25 de enero de 1994 Madison, Wisconsin , Estados Unidos | (85 años)
Nacionalidad | americano |
alma mater | Amherst College de la Universidad de Princeton |
Conocido por | |
Premios | Premio Leroy P. Steele (1983) Medalla Nacional de Ciencias (1990) |
Carrera científica | |
Campos | Matemáticas |
Instituciones | Universidad de Wisconsin-Madison |
Asesor de doctorado | Iglesia de Alonzo |
Estudiantes de doctorado | Robert Constable Joan Moschovakis Yiannis Moschovakis Nels David Nelson Dick de Jongh |
Biografía
Kleene obtuvo el título de BA de Amherst College en 1930. Se le otorgó el Ph.D. en matemáticas de la Universidad de Princeton en 1934, donde su tesis, titulada A Theory of Positive Integers in Formal Logic , fue supervisada por Alonzo Church . En la década de 1930, realizó un trabajo importante en el cálculo lambda de Church . En 1935, se incorporó al departamento de matemáticas de la Universidad de Wisconsin-Madison , donde pasó casi toda su carrera. Después de dos años como instructor, fue nombrado profesor asistente en 1937.
Mientras era académico visitante en el Instituto de Estudios Avanzados de Princeton, 1939-1940, sentó las bases de la teoría de la recursividad , un área que sería su interés de investigación de toda la vida. En 1941, regresó a Amherst College, donde pasó un año como profesor asociado de matemáticas.
Durante la Segunda Guerra Mundial , Kleene fue teniente comandante en la Armada de los Estados Unidos . Fue instructor de navegación en la Escuela de Guardiamarinas de la Reserva Naval de los EE. UU. En Nueva York , y luego director de proyectos en el Laboratorio de Investigación Naval en Washington, DC.
En 1946, Kleene regresó a la Universidad de Wisconsin-Madison, convirtiéndose en profesor titular en 1948 y profesor de matemáticas Cyrus C. MacDuffee en 1964. Se desempeñó dos períodos como presidente del Departamento de Matemáticas y un período como presidente de el Departamento de Análisis Numérico (más tarde rebautizado como Departamento de Ciencias de la Computación). También se desempeñó como Decano de la Facultad de Letras y Ciencias en 1969-1974. Durante sus años en la Universidad de Wisconsin fue asesor de tesis de 13 Ph.D. estudiantes. Se retiró de la Universidad de Wisconsin en 1979. En 1999, la biblioteca de matemáticas de la Universidad de Wisconsin pasó a llamarse en su honor. [3]
La enseñanza de Kleene en Wisconsin resultó en tres textos de lógica matemática , Kleene (1952, 1967) y Kleene y Vesley (1965). Los dos primeros se citan a menudo y todavía están impresos. Kleene (1952) escribió pruebas alternativas a los teoremas de incompletitud de Gödel que mejoraron su estatus canónico y los hicieron más fáciles de enseñar y comprender. Kleene y Vesley (1965) es la clásica introducción estadounidense a la lógica y las matemáticas intuicionistas .
[…] La teoría de funciones recursivas es de importancia central en la informática. Kleene es responsable de muchos de los resultados fundamentales en el área, incluido el teorema de la forma normal de Kleene (1936), el teorema recursivo de Kleene (1938), el desarrollo de las jerarquías aritméticas e hiperaritméticas en las décadas de 1940 y 1950, el Kleene- Post teoría de los grados de insolubilidad (1954) y teoría de la recursividad de tipo superior. que comenzó a fines de la década de 1950 y al que volvió a fines de la de 1970. […] A partir de finales de la década de 1940, Kleene también trabajó en una segunda área, el intuicionismo de Brouwer. Utilizando herramientas de la teoría de la recursividad, introdujo la realizabilidad recursiva, una técnica importante para interpretar declaraciones intuicionistas. En el verano de 1951 en Rand Corporation , produjo un gran avance en una tercera área cuando dio una caracterización importante de los eventos aceptados por un autómata finito. [4]
Kleene se desempeñó como presidente de la Association for Symbolic Logic , 1956-1958, y de la International Union of History and Philosophy of Science, [5] 1961. La importancia del trabajo de Kleene llevó a Daniel Clement Dennett a acuñar el dicho, publicado en 1978, que "Kleeneness está al lado de Gödelness". [6] En 1990, fue galardonado con la Medalla Nacional de Ciencias .
Kleene y su esposa Nancy Elliott tuvieron cuatro hijos. Él tuvo una devoción de por vida a la granja familiar en Maine. Un ávido alpinista, tenía un gran interés en la naturaleza y el medio ambiente , y participó activamente en muchas causas de conservación .
Legado
En cada conferencia del Symposium on Logic in Computer Science, el premio Kleene , en honor a Stephen Cole Kleene, se otorga al mejor trabajo de un estudiante. [7]
Publicaciones Seleccionadas
- 1935. Stephen Cole Kleene (enero de 1935). "Una teoría de los enteros positivos en lógica formal. Parte I" . Revista Estadounidense de Matemáticas . 57 (1): 153-173. doi : 10.2307 / 2372027 . JSTOR 2372027 .
- 1935. Stephen Cole Kleene (abril de 1935). "Una teoría de los enteros positivos en lógica formal. Parte II" . Revista Estadounidense de Matemáticas . 57 (2): 219–244. doi : 10.2307 / 2371199 . JSTOR 2371199 .
- 1935. Stephen Cole Kleene; JB Rosser (julio de 1935). "La inconsistencia de ciertas lógicas formales". Annals of Mathematics . 2da Serie. 36 (3): 630–636. doi : 10.2307 / 1968646 . JSTOR 1968646 .
- 1936. "Funciones recursivas generales de números naturales" . Mathematische Annalen (112): 727–742. 1936.
- 1936. " λ {\ Displaystyle \ lambda} -definibilidad y recursividad " . Duke Mathematical Journal . 2 (2): 340–352. 1936.
- 1938. "Sobre notaciones para números ordinales" (PDF) . Revista de lógica simbólica . 3 (4): 150-155. 1938. doi : 10.2307 / 2267778 . JSTOR 2267778 .
- 1943. "Predicados y cuantificadores recursivos" . Transacciones de la American Mathematical Society . 53 (1): 41–73. Enero de 1943. doi : 10.1090 / S0002-9947-1943-0007371-8 .
- 1951. Kleene, Stephen Cole (15 de diciembre de 1951). "Representación de eventos en redes nerviosas y autómatas finitos" (PDF) . Memorando de investigación del Proyecto Rand de la Fuerza Aérea de los EE. UU. (RM-704). La Corporación RAND .
- 1952. Introducción a la metamatemática. Nueva York: Van Nostrand. (Ishi Press: reimpresión de 2009). [8]
- 1956. Kleene, Stephen Cole (1956). Shannon, Claude ; McCarthy, John (eds.). Representación de eventos en redes nerviosas y autómatas finitos . Estudios de autómatas . OCLC 564148 .
- 1965 (con Richard Eugene Vesley). Los fundamentos de la matemática intuicionista . Holanda Septentrional. [9]
- 1967. Lógica matemática. John Wiley e hijos . Reimpresión de Dover, 2002. ISBN 0-486-42533-9 .
- 1981. "Orígenes de la teoría de funciones recursivas" en Annals of the History of Computing 3 , No. 1.
- 1987. "Reflexiones sobre la tesis de Church" . Diario de Notre Dame de lógica formal . 28 (4): 490–498. Octubre de 1987. doi : 10.1305 / ndjfl / 1093637645 .
Ver también
- Lista de pioneros en informática
Notas
- ^ Aunque su apellido es comúnmente pronunciado / k l i n i / KLEE -nee o / k l i n / Kleen , el propio Kleene pronunció / k l eɪ n i / KLAY -nee . [1] Su hijo, Ken Kleene, escribió: "Hasta donde yo sé, esta pronunciación es incorrecta en todos los idiomas conocidos. Creo que esta nueva pronunciación fue inventada por mi padre". [2]
Referencias
- ^ Pace, Eric (27 de enero de 1994). "Stephen C. Kleene está muerto a los 85; fue líder en informática" . The New York Times .
- ^ En la entrada "Stephen Kleene" en Diccionario en línea gratuito de informática .
- ^ "SC Kleene" . Consultado el 8 de febrero de 2021 .
- ^ Keisler, H. Jerome (septiembre de 1994). "Stephen Cole Kleene 1909-1994". Avisos del AMS . 41 (7): 792.
- ^ Sitio web de IUHPS ; también conocida como "Unión Internacional de Historia y Filosofía de la Ciencia". Miembro de ICSU , el Consejo Internacional para la Ciencia ( anteriormente llamado Consejo Internacional de Uniones Científicas).
- ^ Daniel Clement Dennett y Karel Lambert, "kleene", en The Philosophical Lexicon , 7ª ed. (Newark, DE: American Philosophical Association, 1978), 5; e Hyperborea (seudónimo de blogger), "Dennett's Logocentric Lexicon" (9 de diciembre de 2007): http://aeconomics.blogspot.com/2007/12/dennetts-logocentric-lexicon.html
- ^ http://lics.siglog.org/archive/kleene-award.html
- ^ WorldCat: ediciones para 'Introducción a las metamatemáticas'.. OCLC 523942 .
- ^ Obispo, Errett (1965). "Revisión: los fundamentos de las matemáticas intuicionistas , por Stephen Cole Kleene y Richard Eugene Vesley" . Boletín de la American Mathematical Society . 71 (6): 850–852. doi : 10.1090 / s0002-9904-1965-11412-4 .
enlaces externos
- O'Connor, John J .; Robertson, Edmund F. , "Stephen Cole Kleene" , archivo MacTutor de Historia de las Matemáticas , Universidad de St Andrews
- Memorias biográficas - por Saunders Mac Lane
- Bibliografía de Kleene
- "La comunidad de matemáticas de Princeton en la década de 1930 - STEPHEN C. KLEENE y J. BARKLEY ROSSER" . Archivado desde el original el 10 de marzo de 2015.- Entrevista con Kleene y John Barkley Rosser sobre sus experiencias en Princeton
- Stephen Cole Kleene en el servidor de bibliografía DBLP