单词 | church–turing |
释义 | Church–Turingn. Computing and Mathematics. 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. This is a new entry (OED Third Edition, September 2011; most recently modified version published online March 2022). < n.1961 |
随便看 |
英语词典包含1132095条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。