看到这个忽然想知道：是不是Turing的halting problem在任何情况下都能deduce Godel的

first incompleteness定理，或作说有没有在某个条件下Godel的 first incompleteness 定理不能被halting problem deduce出来。我要学习学习。

所有跟帖： 

• 哈哈哈，原来你是数学教授啊。难怪那道排列组合题你能够想到一般人想不到的方法。。。。：） -尘凡无忧- ♀ (0 bytes) () 10/04/2021 postreply 06:17:04

• 高考数学只得了60多分估计当数学教授有点难：）我已经很多年没碰数学了，现在见到数学题就发懵，不知如何下手。 -youdecide- ♂ (89 bytes) () 10/04/2021 postreply 09:32:23

• 真的假的啊？但是你的思考方式的确另辟蹊径啊。还有，数学不好也可以学计算机专业吗？我家老大也想学computer science， -尘凡无忧- ♀ (781 bytes) () 10/04/2021 postreply 13:14:13

• 是实话。我感到做CS工作很多不需要数学（或深的数学）。当然做研究如搞理论计算机，算法， -youdecide- ♂ (1703 bytes) () 10/04/2021 postreply 18:48:05

• 非常感谢。：）昨天半天没看到你回复，还想着我估计上当了，你说着玩儿我却当真了。。。LOL 我觉得你现在已经找到了 -尘凡无忧- ♀ (424 bytes) () 10/05/2021 postreply 05:24:26

• 我是无意中看到你的前一个回复和排列题你的验证回复帖，我没想道你会回复。 -youdecide- ♂ (560 bytes) () 10/05/2021 postreply 11:16:22

• 里面这篇就谈了图灵停机问题和歌德尔不完备定理的联系，不过对你数学教授应是太浅显了 -老键- ♂ (204 bytes) () 10/04/2021 postreply 07:47:58

• 我是master 哈。读计算机master时选过形式语言和自动机（Hopcroft/Ullman)。当时很感兴趣。 -youdecide- ♂ (116 bytes) () 10/04/2021 postreply 09:50:36

• 不妨过来发帖随便谈谈 -老键- ♂ (0 bytes) () 10/04/2021 postreply 14:18:59