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


  • 人民大学,硕士

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

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


txq15723080836 2021-5-14 17:09
尊敬的老师,您好!本次问卷是为了解目前科研人员对非产出性科研活动的认可度和期望,并为该类科研活动的评价提供依据,更好地服务于科研绩效评价。非常希望您能花几分钟的时间完成问卷,您的意见和建议对本研究(科研人员对非产出性科研贡献的认可度研究)有重要意义。调查采用匿名方式,填写问卷需4-6分钟,若您对调查结果感兴趣,可在问卷末尾留下邮箱,我们将及时发送给您!网址:https://www.wjx.cn/vj/mdXJ3fA.aspx 非常感谢您的支持和参与!
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 ... ...
查看全部
统计信息

已有 16763 人来访过

现在还没有博文

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

GMT+8, 2021-6-20 12:30

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部