Kleene, Stephen Cole
| Esteban Cole Kleene | |
|---|---|
| Nombrar al nacer | inglés Esteban Cole Kleene |
| Fecha de nacimiento | 5 de enero de 1909 [1] [2] [3] […] |
| Lugar de nacimiento | |
| Fecha de muerte | 25 de enero de 1994 [1] [2] [3] […] (85 años) |
| Un lugar de muerte | |
| País | |
| Esfera científica | informática teórica y teoría de algoritmos |
| Lugar de trabajo | |
| alma mater | |
| consejero científico | Iglesia de Alonso [5] |
| Premios y premios |
Beca Guggenheim ( 1949 )  Premio Steele ( 1983 ) |
Stephen Cole Kleene (más correctamente: Kleini , ingeniero Stephen Cole Kleene ; 5 de enero de 1909 , Hartford , Connecticut , EE . UU . - 25 de enero de 1994 , Madison , Wisconsin , EE. UU.) - Matemático y lógico estadounidense .
En 1930 se graduó de la Universidad de Princeton, en 1930-1935 enseñó allí. Desde 1935 en la Universidad de Wisconsin para Estudios Avanzados. En 1966-1967 fue director del Centro de Investigaciones Matemáticas.
Miembro de la Academia Nacional de Ciencias de los Estados Unidos desde 1969.
Su trabajo, junto con el trabajo de Alonzo Church , Kurt Gödel y Alan Turing , dio origen a una rama de la lógica matemática : la teoría de la computabilidad . También conocido por inventar expresiones regulares . El álgebra de Kleene , el asterisco de Kleene, el teorema de recursión de Kleene y el teorema del punto fijo de Kleene llevan su nombre . También trabajó en el campo de las matemáticas intuicionistas de Brouwer . Hizo una importante contribución a la teoría de los autómatas finitos (ver el teorema de Kleene ).
El propio Kleene pronunció su apellido como "Kleene", una transliteración errónea de "Kleene" se estableció en la Unión Soviética en relación con la publicación de traducciones de sus libros con este apellido.
Entre las obras más famosas publicadas en ruso se encuentran los libros "Introducción a las metamatemáticas" y "Lógica matemática".
Obras traducidas al ruso
- Kleene S.K. Introducción a las metamatemáticas. - M .: Editorial de literatura extranjera , [1952] 1957.
- Kleene S. K., Vesley R. I. [Vesley RE] Fundamentos de las matemáticas intuicionistas desde el punto de vista de la teoría de funciones recursivas. - M. : Ciencia , [1965] 1978.
- Kleene S. K. Lógica matemática. - M. : Mir , [1967] 1973.
- Klini S. K. Conmutabilidad de aplicaciones de reglas en el cálculo LK y LJ de Gentzen. / Idelson A. V. (ed.), Mints G. E. (ed.). Teoría matemática de la inferencia lógica. - M. : Nauka, 1967.
- Kleene S. K. Axiomatizabilidad finita de teorías en cálculo de predicados con la ayuda de símbolos de predicados adicionales. / Ibíd.
Véase también
Notas
- ↑ 1 2 3 4 5 6 7 8 9 MacTutor Archivo de Historia de las Matemáticas
- ↑ 1 2 Stephen Cole Kleene // Enciclopedia Británica
- ↑ 1 2 Stephen Cole Kleene // Museo Solomon Guggenheim - 1937.
- ↑ Kleene Stephen Cole // Gran enciclopedia soviética : [en 30 volúmenes] / ed. AM Prokhorov - 3ª ed. — M .: Enciclopedia soviética , 1969.
- ↑ Genealogía matemática (inglés) - 1997.
Literatura
- A. S. Kuzichev, Z. A. Kuzicheva. Kleene // Nueva Enciclopedia Filosófica : en 4 volúmenes / antes. ed. científica consejo de V. S. Stepin . — 2ª ed., corregida. y adicional - M. : Pensamiento , 2010. - 2816 p.
Enlaces
- John J. O'Connor y Edmund F. Robertson . Kleene , Stephen Cole_ _
- Saunders Mac Lane. Stephen Cole Kleene. 1909-1994 (inglés) // Memorias biográficas. - 1998. - vol. 75 .
- Bibliografía Archivada el 19 de septiembre de 2015 en Wayback Machine .
 sitios temáticos | ||||
|---|---|---|---|---|
| diccionarios y enciclopedias | ||||
| Genealogía y necrópolis | ||||
| ||||