看到這個忽然想知道：是不是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