10
驳斥教会图灵的论点意味着什么？
对不起，标题很吸引人。我想了解，应该怎么做才能反驳“ Turing-Turing”论题？我读过某个地方，从数学上讲是不可能做到的！为什么？ Turing，Rosser等使用不同的术语来区分：“可以计算出什么”和“可以由Turing机器计算出什么”。 图灵在1939年对此的定义是：“我们将使用“可计算的功能”一词来表示可由机器计算的功能，而“有效地可计算的”是指直觉性的想法，而没有对这些定义中的任何一种进行特殊识别。 因此，Church-Turing论文可以说如下：每个有效可计算的函数都是可计算的函数。 那么，如果有人反驳这一猜想，证明又将如何？