Search results
阿隆佐·邱奇 （Alonzo Church，1903年6月14日—1995年8月11日）是 美国 数学家 ，1936年发表 可计算函数 的第一份精确定义，对 算法 理论的系统发展做出巨大贡献。. 邱奇在 普林斯顿大学 受教并工作四十年，曾任数学与哲学教授。. 1967年迁往 加利福尼亚大学洛杉矶 ...
Alonzo Church ( 14. kesäkuuta 1903 Washington – 11. elokuuta 1995 Hudson, Ohio) oli yhdysvaltalainen matemaatikko. [1] Church on teoreettisen tietojenkäsittelytieteen perustajia. Hän valmistui Princetonin yliopistosta vuonna 1924 ja väitteli tohtoriksi vuonna 1927. Tämän jälkeen hän jatkoi opintojaan Göttingenin yliopistossa, sekä ...
Alonzo Church ( Washington, 1903. június 14. – Hudson, Ohio, 1995. augusztus 11.) amerikai matematikus és logikus, akit a számítástechnika elméletének egyik megalapozójának tartanak. Washingtonban, az Amerikai Egyesült Államok fővárosában született. A Princetoni Egyetemen szerzett B.Sc (Batchelor of Sciences) fokozatot és itt ...
Alonzo Church (født 14. juni 1903, død 11. august 1995) var en amerikansk matematiker, som var ansvarlig for noget af det grundlæggende teoretiske datalogi . I 1924 modtog han en kandidat fra Princeton University og færdiggjorde sin Ph.D. der i 1927. Efterfølgende underviste han samme sted i årene 1929 til 1967, samt ved University of ...
Church–Turing thesis. In computability theory, the Church–Turing thesis (also known as computability thesis, [1] the Turing–Church thesis, [2] the Church–Turing conjecture, Church's thesis, Church's conjecture, and Turing's thesis) is a thesis about the nature of computable functions. It states that a function on the natural numbers can ...
Alonzo Church, född 14 juni 1903 i Washington, D.C., död 11 augusti 1995, var en amerikansk matematiker och logiker, som lämnade fundamentala bidrag till datavetenskapen. Han var professor vid University of California, Los Angeles och var även verksam vid Princeton University , där han doktorerade 1927 under Oswald Veblen .
Alonzo Church (* 14. jún 1903, Washington D.C., USA – † 11. august 1995, Hudson, Ohio) bol americký logik a filozof zodpovedný za niektoré základy teoretickej informatiky. Bol jedným z prvých systematických rozpracovateľov teórie algoritmov .
