证明定理创造新的信息吗？ 第1页
1
Ivony 网友的相关建议:
如果是不特定人的证明，当然没有增加任何信息。
我们先假定形式系统甲和证明的方法是所有人都知道的，所以这一部分就成了共有知识。在这一点确定的情况下，那么命题A是不是形式系统甲中的一个定理显然就不是信息。
所有的分歧其实无非是形式系统甲和证明的方法到底是不是共有知识的问题。
我们通常不会认为1+1=2比1+1蕴含了更多的信息。这是因为我们认为这种程度的加法运算是每一个人都应该会的（也就是共有知识）。所以任何一个人在拿到1+1的时候都能正确的计算出=2，而不会计算出=3或者其他奇怪的结果，同时对这个符号的理解也不会产生歧义，在没有额外的说明的时候，1就是代表第一个自然数，而+就是代表加法，2就是第一个自然数的后继。
1
相关话题
线性代数到底应该怎么学？所谓天道，或者说世界的本质究竟是喜善厌恶的还是喜恶厌善的？
哥德巴赫的猜想如果被证实，对数学和全人类有什么意义？
零基础如何自学才能达到数学系本科水平？
有沒有一些兩難或爭議性極大的經典案例可以介紹一下？
如何看待《中国科学报》刊文评论美女数学博士后获奥运冠军：其实没啥了不起？
国家的间谍行为是否合乎道德？
我一直觉得这个世间万物的一切都是注定好的，请问这是唯心主义还是唯物主义?
「苏格拉底会死」的三段论是不是循环论证？
为什么感觉中国古代哲学都很虚？
前一个讨论
神级计算机能否算出你的前世今生未来？
下一个讨论
「计算」会改变信息量么？
相关的话题
怎么反驳人「之所以站在食物链的顶端，是因为会思考」这句话？数学大佬，这个怎么做？
你遇到的最难的一个数学题是什么？
认为古代没有民族主义有道理吗？
物理学家是否比普通人活得更清醒？
资本主义社会中，为什么是无产阶级代表了先进生产力？
一个合格的理工大学毕业生回到三个世纪前，能对当时的数学物理等方面的水平产生多大的影响？
中国究竟适不适合搞大农业？
可微函数在几何上有何特征？
这个用什么方法呢？
如何用数学的方法说明极限理论的表现力强于初等数学？
外国人是不是也背诵乘法口诀？
如何理解傅里叶变换公式？
这样的孝顺正常吗？
有哪些有趣而著名的悖论？
氢原子核外电子跃迁放出Cn2种不同能量的光子有没有可能不成立呢?
能将三角形面积分为两块面积比值是 k 的所有直线形成的包络线是什么样的？
当抛掷一枚硬币时，前99次都为正面，那第一百次是正面还是反面？
随机取牌算不出 24 点的概率是多少？
弟子规属于什么伦理学？
如何证明纳什均衡？
科学到底科学吗？
证明数学定理的意义是什么？
独尊儒术之后，是否遏止了中国哲学的发展？
这题怎么写，急？
中学阶段解出一道很难的数学题和在数学研究领域做出重大突破的区别在哪？
“道”是从何而来呢？
中国网络民粹主义泛滥的原因是什么?
一道复变函数证明题怎么做？
权力本质上是什么？