2020 年 10月 31 日随笔档案 - hjlweilong

2020年10月31日

摘要：原文：An Introduction to Computability Theory and Complexity 作者： MEHMET BAJIN An Introduction to Computability Theory and Complexity MEHMET BAJIN With ex 阅读全文

posted @ 2020-10-31 22:07 hjlweilong 阅读(446) 评论(0) 推荐(0)

数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？

摘要：作者：ZS Chen链接：https://www.zhihu.com/question/410152789/answer/1370365745来源：知乎著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。 (抛砖引玉, 想到什么写什么, 段落之间并没有什么特别联系) 我在TA的时候喜阅读全文

posted @ 2020-10-31 21:54 hjlweilong 阅读(1632) 评论(0) 推荐(0)

公告