Resultado de búsqueda
Alonzo Church. 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 desarrolló asimismo el cálculo de conversión lambda, que permite efectuar operaciones lógicas con variables generalizadas. Destacan, dentro de su abundante producción teórica, sus obras Cálculo de conversión lambda (1941) e Introducción a la lógica matemática (1944). Church difundió sus trabajos a través del Journal ...
Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician, computer scientist, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science. [2] He is best known for the lambda calculus, the Church–Turing thesis, proving the unsolvability of the ...
21 de oct. de 2021 · Alonzo Church. First published Thu Oct 21, 2021; substantive revision Thu Feb 24, 2022. Alonzo Church (1903–1995) was a renowned mathematical logician, philosophical logician, philosopher, teacher and editor. He was one of the founders of the discipline of mathematical logic as it developed after Cantor, Frege and Russell.
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.
11 de ago. de 1995 · Biography. Alonzo Church's parents were Mildred Hannah Letterman Parker and Samuel Robbins Church. His father was a judge. He was a student at Princeton receiving his first degree, an A.B., in 1924, then his doctorate three years later. His doctoral work was supervised by Veblen, and he was awarded his doctorate in 1927 for his dissertation ...
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 ...
