丘奇论题造句

• 丘奇论题用作丘奇定理的前提之一。
• 因此，丘奇论题就只是一个论题，而非定理。
• “…说脚注3是丘奇论题的一种陈述是不正确的。
• 丘奇论题说：λ可定义函数类与直观可计算函数类相同。
• 哥德尔的这段脚注曾被戴维斯(Martin Davis)认为是丘奇论题的一种形式。
• 丘奇论题中的能行可计算性的概念是一个直观的而非已证明的概念。
• 这表明图灵论题和丘奇论题讲的是一回事，因此把它们统称为丘奇－图灵论题。
• 尽管提出了丘奇论题，但哥德尔当时并不赞成可计算性与递归性或l可定义性等价的说法。
• 也许正是在1934年2-5月与哥德尔讨论之后，他才形成了明确的见解，并给出后来的丘奇论题的。
• 图灵机使人们普遍接受了关于算法的丘奇论题：递归函数是可计算函数的精确的数学描述。
• 那么，为什么哥德尔没有适时给出丘奇论题，却对图灵工作大加赞赏，从而接受丘奇-图灵论题呢？
• 我们认为，正是由于1934-1936年，丘奇、克林尼和哥德尔等人对于可计算性概念的数学刻划做了一系列工作，最终丘奇提出了他的标准形式的丘奇论题。
• 在1936年的论文中，丘奇给出了如今我们所知的丘奇论题的标准陈述：“现在我们通过与正整数的递归函数(或者正整数的l可定义函数)概念相一致，来定义已经讨论过的正整数的算法可计算的概念。
• 而且他认为，自己对算法可计算性的猜测(即戴维斯所说的“哥德尔论题”)并不是丘奇论题的等价说法，但它可以充当一种助探原则，帮助人们寻求算法可计算性概念的一个令人满意的数学刻划。