我是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

請您先登陸，再發跟帖！