英语词汇“Church–Turing”的英英意思、用法、释义、翻译、读音、例句、短语、词组-英语词典

Church–Turing

/ˌtʃəːtʃˈtjʊərɪŋ/ /ˌtʃəːtʃˈtʃʊərɪŋ/

Computing and Mathematics

noun

Attributive Designating the proposition that any function that can be computed using an algorithm can be computed by a Turing machine. Especially in Church–Turing thesis.

Origin

1960s; earliest use found in Stephen Kleene (b. 1909). From the names of Alonzo Church, U.S. mathematician and logician, and Alan Mathison Turing, English mathematician and computer scientist, who are jointly credited with formulating the thesis.

单词	Church–Turing
释义	Church–Turing /ˌtʃəːtʃˈtjʊərɪŋ/ /ˌtʃəːtʃˈtʃʊərɪŋ/ Computing and Mathematics noun Attributive Designating the proposition that any function that can be computed using an algorithm can be computed by a Turing machine. Especially in Church–Turing thesis. Origin 1960s; earliest use found in Stephen Kleene (b. 1909). From the names of Alonzo Church, U.S. mathematician and logician, and Alan Mathison Turing, English mathematician and computer scientist, who are jointly credited with formulating the thesis.
随便看	Wahhabism Wahhabist wahine WAHM wahoo wahoo elm wah-wah waiata waif waifish waiflike Waikato Waikiki wail wailer wailful wailingly Wailing Wall Waimea Canyon wain Wain, John wainscot wainscoting wainscotting wainwright