charlesyu的个人博客分享 http://blog.sciencenet.cn/u/charlesyu


  • 人民大学,硕士

    • 信息科学->计算机科学->计算机科学的基础理论

    扫一扫,分享此博客主页
你需要登录后才可以留言 登录 | 注册


zlyang 2021-1-8 14:05
请写关于P对NP的科普吧!!
zlyang 2021-1-8 14:05
数学证明的长度:与公理系统能力负相关 http://blog.sciencenet.cn/blog-107667-729907.html 郁求恩   2019-12-10 13:19    你关于“P对NP”的点评完全不通。 其一,你把当前研究与证明的三大类主流方法:对角化,电路复杂性,证明复杂性与ZF策梅罗公理集合论(Zermelo–Fraenkel set theory)相比较是不得要领。前者是证明方法或策略,不是公理系统,后者公理系统,不是证明方法,两者不在一个系列。另外,所谓ZF信息量(比前者)大,也是无稽之谈。 其二,你关于从ZF,幂集公理(Axiom of power set ... ...
shenlu 2016-7-3 16:25
http://blog.sciencenet.cn/blog-38450-803272.html
查看全部
统计信息

已有 15688 人来访过

现在还没有博文

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2021-1-23 19:59

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部