克莱尼–波斯特定理 编辑
克莱尼–波斯特定理是可计算性理论中关于不可解度的定理，声称存在且可从停机问题计算出一对互相不可计算的不可解度。
6
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]