w********c 发帖数: 2632 | 1 ☆─────────────────────────────────────☆
unknown (谁知道) 于 (Sun Sep 26 21:41:59 2004) 提到:
有没有愿以讨论这方面的问题: theoretic of computation (turing machine,
computability,recursive function, undecidisable....).
我正在"自学"这方面的东东, 觉得挺有意思的. 那位高手来谈谈这方面的最新进展(我看
到都市老调亚的classic). 不知道这方面是不是research 不太活跃?
☆─────────────────────────────────────☆
borg (.)(.) 于 (Sun Sep 26 22:36:40 2004) 提到:
Recursive function theory (or computability theory, if you prefer)
is already dead. This was what a math guy (who got a PhD |
|