Resultado de búsqueda
Alonzo Church est né le à 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 1. 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 Géorgie ...
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 ...
阿隆佐·邱奇 （Alonzo Church，1903年6月14日—1995年8月11日）是 美国 数学家 ，1936年发表 可计算函数 的第一份精确定义，对 算法 理论的系统发展做出巨大贡献。. 邱奇在 普林斯顿大学 受教并工作四十年，曾任数学与哲学教授。. 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 ...
8 de ene. 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.
阿隆佐·邱奇(1903年6月14日–1995年8月11日)是美国数学家，1936年发表可计算函数的第一份精确定义，对计算理论的系统发展做出巨大贡献。邱奇在普林斯顿受教并工作四十年，曾任数学与哲学教授。1967年迁往加利福尼亚大学洛杉矶分校。并且，他发明了著名的λ演算。
Tesis de Church-Turing. En teoría de la computabilidad, la tesis de Church-Turing formula hipotéticamente la equivalencia entre los conceptos de función computable y máquina de Turing, que expresado en lenguaje corriente vendría a ser "todo algoritmo es equivalente a una máquina de Turing". No es un teorema matemático, es una afirmación ...
