英语词汇“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.
随便看	semi-double semi-elliptical semievergreen semi-final semi-finalist semi-finished semi-fitted semi-fluid semiformal semifreddo semigloss semi-independent semi-infinite semi-invalid semi-lethal semi-liquid semi-literacy semi-literate semilunar semilunar bone semilunar cartilage semilunar valve semimajor axis semimetal semimetallic