证明定理创造新的信息吗？ 第1页
1
Ivony 网友的相关建议:
如果是不特定人的证明，当然没有增加任何信息。
我们先假定形式系统甲和证明的方法是所有人都知道的，所以这一部分就成了共有知识。在这一点确定的情况下，那么命题A是不是形式系统甲中的一个定理显然就不是信息。
所有的分歧其实无非是形式系统甲和证明的方法到底是不是共有知识的问题。
我们通常不会认为1+1=2比1+1蕴含了更多的信息。这是因为我们认为这种程度的加法运算是每一个人都应该会的（也就是共有知识）。所以任何一个人在拿到1+1的时候都能正确的计算出=2，而不会计算出=3或者其他奇怪的结果，同时对这个符号的理解也不会产生歧义，在没有额外的说明的时候，1就是代表第一个自然数，而+就是代表加法，2就是第一个自然数的后继。
1
相关话题
主观唯心主义如何解释以下问题？来，说出你知道的犹太人哲学家~？
怎样评价《天龙八部》里的鸠摩智这个人物？他是传统意义上的坏人吗？
老子和亚里士多德谁的哲学成就较高？
全体自然数的发散级数和等于负十二分之一代表了什么？隐藏了一个天大的秘密吗？
为什么古希腊人数学水平远超同时期的其他文明？
有没有数学大神，求救?
关于鬼神与科学，相互间有什么联系吗？
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？
为什么我国高中哲学仍然是苏联式的？
前一个讨论
神级计算机能否算出你的前世今生未来？
下一个讨论
「计算」会改变信息量么？
相关的话题
请问这种积分如何计算?资本主义社会中，为什么是无产阶级代表了先进生产力？
书山有路勤为径，学海无涯苦作舟体现了什么哲学思想？
为什么资本主义需要本国的自由劳动力而不用殖民地的奴隶？
中国能否出现世界一流的数学研究机构？
数学和物理中这些符号到底念什么？来源是什么？
为什么猪要生娃给人吃？
高手大概率是谦虚还是傲慢的？
房子在资本家手里可以无底线的涨价，为什么粮食在农民手里，没有提高价格，粮食对比房子，才是刚需不是嘛，？
为什么虚数不能比大小？
请问有没有这样的一种股票股市买卖新模式:自愿将个人的买卖股票的信息公开，以此提供胜率来服务股民？
时间真实存在吗？
请问该如何证明？
在一段高速公路上，30分钟之内见到汽车经过的概率是95%，那么，在10分钟内见到汽车经过的概率是多少？
怎样理解霍布斯的「利维坦国家」？
既然勒贝格积分是黎曼积分的改进，那为什么还要学黎曼积分？淘汰黎曼积分，直接学勒贝格积分不好吗？
不定积分∫ dx 中的 d 是什么意思？
民主是否天然的比专制优越？
孩子初三了，几何不好，证明题做题速度超慢，感觉无头绪，关键自己还不着急，应该怎样学习，如何突破？
如何评价姜新文老师提出的NP=P这篇文章？
如何看待华东师大出版社数学教辅分男女版，媒体称其强调「男生数学能力强于女生」？
「认真你就输了」这句话的背后逻辑是什么？
自制力，战胜自我，获取动力，这些意思相近，对人生成就意义不小。既然如此，我们要如何做到这些呢？
为什么祖冲之的355/113等于3.1415929而不是3.1415926?
拥有一个对数学敏感的孩子该如何培养？
来，说出你知道的犹太人哲学家~？
无限循环小数的循环节长度是否可以取任意正整数值？如果可以，不同循环节长度的无限循环小数是否均匀分布？
有什么很牛逼的无理数？
把围棋棋盘上下边和左右边连起来，变成面包圈，下棋策略会有什么变化？
教科书上明显偏向唯物主义合适吗？