主题：谈谈陈经的"预测和自由意志"的例子 -- CatOH
共:💬28 🌺19
复 我觉得不是太一样
印象里“算法集合”和图灵机的“可递归的函数”应该是等价的。而递归总是出现自指，所以我一直以为“可以定义数论命题”和“可以自指”和“可以实现if...goto的算法”三者是等价的。不知我理解是否有误？
- 相关回复 上下关系8
压缩 3 层
🙂复杂到什么程度 泰让 字34 2007-01-15 10:10:01
🙂数论 踏翅 字63 2007-01-15 10:33:15
🙂我觉得不是太一样 1 泰让 字175 2007-01-15 10:41:58
🙂花，问专家
🙂简单的说一下我的理解 1 泰让 字795 2007-01-16 23:12:44
🙂忙死了，好久没有上来，花谢专家 1 CatOH 字179 2007-02-09 13:06:33
🙂不敢当 1 泰让 字66 2007-01-15 15:04:22
🙂花等... CatOH 字0 2007-01-15 15:05:28