Interesting. Do people know clearly what counts as a counter example?

送交者: gyro 于 2010-04-02, 13:18:21:

回答: Church-Turing Thesis. 由 steven 于 2010-04-02, 13:01:51:

In other words, is Church-Turing Thesis a mathematical conjecture that is not solved yet, or something that cannot be posed as a genuine mathematical problem without losing its meaning?

所有跟贴:

yup, like halting problem, if you can figure a way to solve it. (无内容) - steven (0 bytes) 2010-04-02, 13:32:41 (428598)
- 有空你可以写一篇科普 (无内容) - foresight (0 bytes) 2010-04-02, 13:57:27 (428603)

加跟贴