2025年4月19日
Kleene 递归定理
摘要： 只要计算模型能够描述计算形式本身，自指的出现就是不可避免的。 阅读全文
posted @ 2025-04-19 22:01 叶语星辰 阅读(209) 评论(0) 推荐(1)