Resultado de búsqueda
Alonzo Church (Washington, 1903 - Hudson, 1995) Matemático estadounidense. Profesor en la Universidad de Princeton y en la de California, se especializó en lógica matemática, metalógica y metamatemática.
- Alan Turing
Pasó sus primeros trece años en la India, donde su padre...
- Alan Turing
Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), matemático y lógico estadounidense creador de la base de la computación teórica. Nacido en la ciudad de Washington , se diplomó en 1924 y obtuvo su doctorado en 1927 en la Universidad de Princeton , donde ejerció como profesor entre 1929 y 1967.
Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), matemático y lógico estadounidense creador de la base de la computación teórica. Nacido en la ciudad de Washington, se diplomó en 1924 y obtuvo su doctorado en 1927 en la Universidad de Princeton, donde ejerció como profesor entre 1929 y 1967. Datos rápidos Información personal ...
Alonzo Church fue un matemático y lógico estadounidense nacido en 1903 en Washington D.C. Estudió matemáticas y filosofía en la Universidad de Princeton, donde se graduó con honores en 1924. Luego, obtuvo su doctorado en matemáticas en la Universidad de Princeton en 1927. Biografía de Alonzo Church.
MANZANO, María: « Vida, obra y algunos milagros de Alonzo Church», Ágora : Papeles de Filosofía, ISSN 0211-6642, Vol. 18, N. 1 (1999), 107-132. Resumo: Este artículo está dedicado a Alonzo Church, que falleció en Agosto de 1995, tras una larga vida dedicada a la lógica. A él le debemos el cálculo lambda, la tesis que lleva su nombre ...
- María Manzano
- pg_109-136_agora18-1.pdf
- 1999
- 3.009 Mb
Profesor en la Universidad de Princeton y en la de California, se especializó en lógica matemática, metalógica y metamatemática. De sus trabajos es destacable su término de calculabilidad de una función y su demostración de la indecidibilidad de la lógica de primer orden, o sea, del cálculo cuantificacional elemental.
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.
