证明定理创造新的信息吗？ 第1页
1
Ivony 网友的相关建议:
如果是不特定人的证明，当然没有增加任何信息。
我们先假定形式系统甲和证明的方法是所有人都知道的，所以这一部分就成了共有知识。在这一点确定的情况下，那么命题A是不是形式系统甲中的一个定理显然就不是信息。
所有的分歧其实无非是形式系统甲和证明的方法到底是不是共有知识的问题。
我们通常不会认为1+1=2比1+1蕴含了更多的信息。这是因为我们认为这种程度的加法运算是每一个人都应该会的（也就是共有知识）。所以任何一个人在拿到1+1的时候都能正确的计算出=2，而不会计算出=3或者其他奇怪的结果，同时对这个符号的理解也不会产生歧义，在没有额外的说明的时候，1就是代表第一个自然数，而+就是代表加法，2就是第一个自然数的后继。
1
相关话题
怎么评价北大版的《高等代数》？《从一到正无穷》第三章的空间想象是什么意思？
△ABC中，tanA＋tanB＋tanC＝tanA·tanB·tanC有没有优美直观一点的几何证明？
为什么原神里温迪的传说任务最后要把派蒙支走？
这个极限怎么求？求大佬帮忙？
从世界上看，我国数学物理化学生物哪个最落后，这四门科学分别位于哪几个梯队？
十几岁的小孩，计算能力特别弱，但是逻辑推理能力超强，梦想是成为数学家，有可能么？
满清对汉人的统治对当代人的思想、心理、行为等有何深远影响？
既然点没有长度，为什么线段就有长度？
什么样的数学题解答方式可以称为天秀？
前一个讨论
神级计算机能否算出你的前世今生未来？
下一个讨论
「计算」会改变信息量么？
相关的话题
请问大佬这个定积分怎么做？「苏格拉底会死」的三段论是不是循环论证？
如何理解欧陆哲学中的“主体（subject)”与英美哲学中的“心灵（mind)”？
为什么总有一些人推荐计算机学生把重点放在高数和线代？
学习数学，意义何在？
你最喜欢的数学定理是什么？
为什么很多古代的帝王的发小是将相之材?
圆周率是一个无理数，3.1415926…。问，能否用一个数学式子来准确表示圆周率，类似根号10？
所有的生命从开始就注定要死亡，那么生命的意义会是什么呢？
Ln(-3-3i)等于多少？
如何反驳「世界上最伟大的人一定是科学家」？
自由意志是否存在？为什么？
函数方程 f(xy)=f(x)+f(y) 的严格解是什么？解是否唯一？
灵魂存在吗？如何证明灵魂不存在呢？
既然人类最值得歌颂的是勇气，而有句话叫做无知者无畏，我们是否在歌颂我们的无知？
是否可以根据薛定谔的平行宇宙理论推翻概率学？
知乎现在都有哪些值得关注的严肃输出？
如果哥德巴赫猜想是由现代的普通人提出，是否会被人认可？
如何评价黑塞及其作品？
为什么康德会保持处男一生？
一个数列是柯西列也是整数列，如何证明其收敛于整数?
马克思主义算不算西方的价值观？
三角函数的起源是什么？为什么要引入三角函数？
RSA 生成公私钥时质数是怎么选的？
非公有制和私有制有什么区别？
是什么让你在数学的道路上坚持下来？
政治是什么？
如何推导公式？其意义何在？
从零开始学数学，有谁知道从何处入手，谢谢？
如果提前一个月拿到高考答案，你还会继续复习高中内容吗？