Diferencia entre revisiones de «Stephen Kleene.»
m (Texto reemplazado: «<div align="justify">» por «») |
|||
| (No se muestran 2 ediciones intermedias de 2 usuarios) | |||
| Línea 6: | Línea 6: | ||
|tamaño = | |tamaño = | ||
|descripción = | |descripción = | ||
| − | |fecha de nacimiento =5 de enero de [[1909]]. | + | |fecha de nacimiento =[[5 de enero]] de [[1909]]. |
|lugar de nacimiento =Hartford, {{bandera2|Estados Unidos}} | |lugar de nacimiento =Hartford, {{bandera2|Estados Unidos}} | ||
|fecha de fallecimiento = 25 de enero de [[1994]] | |fecha de fallecimiento = 25 de enero de [[1994]] | ||
| Línea 19: | Línea 19: | ||
}} | }} | ||
| − | + | ||
| − | '''Stephen Kleene''' | + | '''Stephen Kleene.''' Matemático-lógico estadounidense. |
==Trayectoria== | ==Trayectoria== | ||
| Línea 26: | Línea 26: | ||
fue un estudiante graduado y asistente investigador en la Universidad de [[Princeton]], | 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]]. Durante la | donde recibió su doctorado en Matemáticas en 1934, supervisado por [[Alonzo Church]]. Durante la | ||
| − | [[Segunda Guerra Mundial]], Kleene fue teniente-comandante en la [[Armada de los Estados Unidos]]. | + | [[Segunda Guerra Mundial]], Kleene fue teniente-comandante en la [[Marina de Guerra de los Estados Unidos|Armada de los Estados Unidos]]. |
En [[1946]] regresó a [[Wisconsin]], convirtiéndose en profesor en [[1948]]. | En [[1946]] regresó a [[Wisconsin]], convirtiéndose en profesor en [[1948]]. | ||
última versión al 19:17 28 may 2019
| ||||||||||
Stephen Kleene. Matemático-lógico estadounidense.
Trayectoria
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. Durante la Segunda Guerra Mundial, Kleene fue teniente-comandante en la Armada de los Estados Unidos. En 1946 regresó a Wisconsin, convirtiéndose en profesor en 1948.
Logros alcanzados
Fundó la teoría de las funciones recursivas, un área de interés que sería investigada por él durante toda su vida. 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.
Obras
Entre sus numerosas obras destacan
