单词 | church–turing thesis |
释义 | > as lemmasChurch–Turing thesis attributive. Designating the proposition that any function that can be computed using an algorithm can be computed by a Turing machine. Esp. in Church–Turing thesis. ΚΠ 1961 S. C. Kleene in Fundamenta Mathematicae 50 282 Three (equivalent) notions, λ-definability, Herbrand-Gödel general recursiveness, and Turing-Post computability,..gave rise to the Church-Turing thesis. 1985 Proc. Royal Soc. A. 400 99 These limitations on what can be computed..are universal. This is called the ‘Church-Turing hypothesis’. 2005 N. Gershenfeld FAB 38 This insight, now called the Church-Turing thesis, is the key to machine literacy. < as lemmas |
随便看 |
|
英语词典包含1132095条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。