英语词汇“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.
随便看	subduement subduer subduple subduplicate subdural subdwarf subeconomic subedar subedari subedar major subedit subeditor subeditorial sub-editorship sub-element sub-elementary subenfeoff subenfeoffing subenfeudate subenfeudation subentry subequal subequality subequatorial suber