Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
No se ha añadido ninguna twiki todavía.
HIST.
|
Filósofo y lógico norteamericano, nacido en Washington, en 1903, profesor emérito de la UCLA. Contribuciones suyas famosas son el teorema de Church y la tesis de Church-Turing. El primero trata de la indecidibilidad de lógicas o cálculos superiores al cálculode predicados de primer orden. El segundo, formulado simultánea e independientemente también por Turing, afirma que un algoritmo existe si y sólo si existe una máquina de Turing que pueda computarlo. |
"Etiqueta:Historia contemporánea" no está en la lista de valores posibles (Etiqueta:Antropología, Etiqueta:Cosmología, Etiqueta:Epistemología, Etiqueta:Estética, Etiqueta:Filosofía antigua, Etiqueta:Filosofía contemporánea s. XX y XXI, Etiqueta:Filosofía de la Ilustración, Etiqueta:Filosofía de la biología, Etiqueta:Filosofía de la ciencia, Etiqueta:Filosofía de la mente, Etiqueta:Filosofía de la religión, Etiqueta:Filosofía del Renacimiento, Etiqueta:Filosofía del derecho, Etiqueta:Filosofía del lenguaje, Etiqueta:Filosofía del siglo XIX, Etiqueta:Filosofía del siglo XVII, Etiqueta:Filosofía general, Etiqueta:Filosofía medieval, Etiqueta:Filosofía moderna, Etiqueta:Historia, Etiqueta:Lógica, Etiqueta:Metafísica, Etiqueta:Mitología, Etiqueta:Psicología, Etiqueta:Religión, Etiqueta:Simbología, Etiqueta:Sociología, Etiqueta:Teología, Etiqueta:Ética) para esta propiedad.
Relaciones geográficas
Cargando el mapa…