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