Stephen Kleene


Stephen Kleene

Stephen Kleene (n. Hartford, Connecticut, Estados Unidos; 5 de enero de 1909 - f. Madison, Wisconsin; 25 de enero de 1994) fue un lógico y matemático estadounidense. Fue director de los departamentos de matemáticas y de análisis numérico de la Universidad de Wisconsin. Se especializó en el estudio de las funciones recursivas y la teoría de los autómatas. Entre sus numerosas obras destacan Introducción a la matemática (1952) y Lógica matemática (1967).

Introdujo la operación Clausura de Kleene, denotada por el símbolo V*.

Biografía

Kleene nació en Hartford, Connecticut, Estados Unidos. Recibió su título de artes en el Amherts College en 1930. Desde 1930 a 1935 fue un estudiante graduado y asistente investigador en la Universidad de Princeton, donde recibió su doctorado en Matemáticas en 1934, supervisado por Alonzo Church, por una tesis titulada Una teoría de Enteros Positivos en Lógica Formal. En 1935 ingresó en el departamento de matemáticas UW-Madison como instructor. Se convirtió en asistente de profesor en 1937.

Desde 1939 a 1940 fue un visitante escolar en Princeton del Institute for Advance Study (Instituto para Estudio Avanzado), donde fundó la teoría de las funciones recursivas, un área de interés que sería investigada por él durante toda su vida. En 1941 regresó a Amherst como Profesor Asociado de Matemáticas.

Durante la Segunda Guerra Mundial, Kleene fue teniente-comandante en la Armada de los Estados Unidos. Además, fue instructor de navegación en la US Naval Reserve’s Midshipmen’s School en New York, y después director de proyecto en la Naval Research Laboratory (Laboratorio de Investigación de la Armada) en Washington, D.C.

En 1946 regresó a Wisconsin, convirtiéndose en profesor en 1948. Ahí fue presidente de Matemáticas y Ciencias Computacionales en 1962 y 1963, y decano del Colegio de Letras y Ciencias desde 1969 hasta 1974. En 1964 fue llamado el profesor de Matemáticas “Cyrus C. MacDuffee”. Se retiró en 1979.

Un ávido escalador de montañas, Kleene tuvo fuerte interés en la naturaleza y el ambiente, y participó en muchas causas a favor de Conservación del Ambiente. Condujo varias organizaciones profesionales, sirviendo como presidente de la Association of Symbolic Logic (Asociación de Lógica Simbólica) de 1956 a 1958. En 1961 fue presidente de la Internacional Union of the History an the Philosophy of Science. Murió en Madison, Wisconsin.


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Stephen Kleene — (Hartford, 1909) Lógico y matemático estadounidense. Fue director de los departamentos de matemáticas y de análisis numérico de la Universidad de Wisconsin. Se especializó en el estudio de las funciones recursivas y la teoría de los autómatas.… …   Enciclopedia Universal

  • Stephen Kleene — Stephen Cole Kleene (* 5. Januar 1909 in Hartford, Connecticut, USA; † 25. Januar 1994 in Madison, Wisconsin) war ein US amerikanischer Mathematiker und Logiker. Er gilt als einer der Begründer der theoretischen Informatik, besonders der formalen …   Deutsch Wikipedia

  • Stephen Cole Kleene — Infobox Scientist name = Stephen Kleene caption = birth date = birth date|1909|1|5 birth place = USA death date = death date and age|1994|1|25|1909|1|5 death place = residence = USA nationality = USA field = Mathematics work institutions =… …   Wikipedia

  • Kleene star — In mathematical logic and computer science, the Kleene star (or Kleene closure) is a unary operation, either on sets of strings or on sets of symbols or characters. The application of the Kleene star to a set V is written as V *. It is widely… …   Wikipedia

  • Kleene's recursion theorem — In computability theory, Kleene s recursion theorems are a pair of fundamental results about the application of computable functions to their own descriptions. The theorems were first proved by Stephen Kleene in 1938.This article uses the… …   Wikipedia

  • Kleene-Rosser paradox — In mathematics, the Kleene Rosser paradox is a paradox that shows Church s original lambda calculus is inconsistent. It is similar to Russell s paradox, in that it is a statement that asserts its own falsehood if and only if it is true; that is,… …   Wikipedia

  • Kleene — Stephen Cole Kleene (* 5. Januar 1909 in Hartford, Connecticut, USA; † 25. Januar 1994 in Madison, Wisconsin) war ein US amerikanischer Mathematiker und Logiker. Er gilt als einer der Begründer der theoretischen Informatik, besonders der formalen …   Deutsch Wikipedia

  • Stephen Cole Kleene — Kleene en 1978 Stephen Cole Kleene – né le 5 janvier 1909 à Hartford (Connecticut) et mort le 25 janvier 1994 à Madison (Wisconsin) – est un mathématicien et logicien américain. Biographie et contribution scientifique Klee …   Wikipédia en Français

  • Stephen Cole Kleene — (* 5. Januar 1909 in Hartford, Connecticut; † 25. Januar 1994 in Madison, Wisconsin) war ein US amerikanischer Mathematiker und Logiker. Er gilt als einer der Begründer der theoretischen Informatik, besonders der formalen Sprachen und der… …   Deutsch Wikipedia

  • Kleene — Stephen Cole Kleene Stephen Cole Kleene (né le 5 janvier 1909 à Hartford, mort le 25 janvier 1994) est un mathématicien et logicien américain. Biographie et contribution scientifique Kleene est connu pour avoir fondé la branche de la logique… …   Wikipédia en Français