Resultado da Busca
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. He was also one of the principal founders of the Association for Symbolic Logic and the Journal of Symbolic ...
8 de jan. de 1997 · Alonzo Church, working independently, did the same (Church 1936a). The replacement predicates that Church and Turing proposed were, on the face of it, very different from one another. However, these predicates turned out to be equivalent , in the sense that each picks out the same set (call it \(S\)) of mathematical functions.
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，1903年6月14日—1995年8月11日）是 美國 數學家 ，1936年發表 可計算函數 的第一份精確定義，對 算法 理論的系統發展做出巨大貢獻。. 邱奇在 普林斯頓大學 受教並工作四十年，曾任數學與哲學教授。. 1967年遷往 ...
Narodowość. Amerykanin. Alma Mater. Princeton University. Uczelnia. Princeton University 1929–67. UCLA 1967–1995. Alonzo Church (ur. 14 czerwca 1903 w Waszyngtonie, zm. 11 sierpnia 1995 w Hudson [1]) – amerykański logik i matematyk .
阿隆佐·邱奇 （Alonzo Church，1903年6月14日—1995年8月11日）是 美国 数学家 ，1936年发表 可计算函数 的第一份精确定义，对 算法 理论的系统发展做出巨大贡献。. 邱奇在 普林斯顿大学 受教并工作四十年，曾任数学与哲学教授。. 1967年迁往 加利福尼亚大学洛杉矶 ...
(Alonzo Church, 2020) Among those works include Church’s Theorem in which he looked at undecidability in first-order logic for variables, as well as many other contributions in the sciences. Dr. Church had a passion as well for symbolic logic which was at its infancy at the time, as an emerging field in mathematics.
