我是master 哈。讀計算機master時選過形式語言和自動機（Hopcroft/Ullman)。當時很感興趣。

來源: youdecide 於 2021-10-04 09:50:36 [] [博客] [舊帖] [給我悄悄話] 本文已被閱讀： 次 (116 bytes)

不過沒學過Godel的定理。我感覺把 computability 和 logic 的關係搞清楚會很有意思。

所有跟帖： 

• 不妨過來發帖隨便談談 -老鍵- ♂ 給 老鍵 發送悄悄話 老鍵 的博客首頁 (0 bytes) () 10/04/2021 postreply 14:18:59

請您先登陸，再發跟帖！

發現Adblock插件

如要繼續瀏覽
請支持本站 請務必在本站關閉/移除任何Adblock

關閉Adblock後 請點擊

請參考如何關閉Adblock/Adblock plus

安裝Adblock plus用戶請點擊瀏覽器圖標
選擇“Disable on www.wenxuecity.com”

安裝Adblock用戶請點擊圖標
選擇“don't run on pages on this domain”