Resultado de búsqueda
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.
30 de abr. de 2024 · Alonzo Church (born June 14, 1903, Washington, D.C., U.S.—died Aug. 11, 1995, Hudson, Ohio) was a U.S. mathematician. He earned a Ph.D. from Princeton University. His contributions to number theory and the theories of algorithms and computability laid the foundations of computer science. The rule known as Church’s theorem or Church’s ...
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 ...
Ecured está de mantenimiento. Estimados usuarios: Queremos informarles que la plataforma Ecured entrará en un periodo de actualización debido a trabajos en algunos de sus servidores. Durante este intervalo, el acceso a la plataforma se verá interrumpido. Al concluir estos trabajos, Ecured retomará su funcionamiento normal. inconveniente ...
1996. The calculi of lambda-conversion, Volume 6 of Annals of Mathematics Studies. A Church. Princeton University Press. , 1941. 2365 *. 1941. The Calculi Of Lambda Conversion. (AM-6) (Annals Of Mathematics Studies) Author: Alonzo Church, Publisher: Princeton Univ.
Alonzo Church est né le 14 juin 1903 à Washington. Il est le fils de Samuel Robbins Church, juge auprès de la cour de district de Columbia, et de Mildred Hannah Letterman Parker 2. Son arrière grand-père Alonzo S. Church (en) a été professeur de mathématiques et d'astronomie puis président du Franklin College, l'actuelle Université de ...
阿隆佐·邱奇 （Alonzo Church，1903年6月14日—1995年8月11日）是 美国 数学家 ，1936年发表 可计算函数 的第一份精确定义，对 算法 理论的系统发展做出巨大贡献。. 邱奇在 普林斯顿大学 受教并工作四十年，曾任数学与哲学教授。. 1967年迁往 加利福尼亚大学洛杉矶 ...
