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

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

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