证明定理创造新的信息吗？ 第1页
1
Ivony 网友的相关建议:
如果是不特定人的证明，当然没有增加任何信息。
我们先假定形式系统甲和证明的方法是所有人都知道的，所以这一部分就成了共有知识。在这一点确定的情况下，那么命题A是不是形式系统甲中的一个定理显然就不是信息。
所有的分歧其实无非是形式系统甲和证明的方法到底是不是共有知识的问题。
我们通常不会认为1+1=2比1+1蕴含了更多的信息。这是因为我们认为这种程度的加法运算是每一个人都应该会的（也就是共有知识）。所以任何一个人在拿到1+1的时候都能正确的计算出=2，而不会计算出=3或者其他奇怪的结果，同时对这个符号的理解也不会产生歧义，在没有额外的说明的时候，1就是代表第一个自然数，而+就是代表加法，2就是第一个自然数的后继。
1
相关话题
如何判别一个方程所表征的曲线是否封闭？怎么解决这个积分题目？
除了 3，4，5 以外是否还有别的三角形，它的三条边是连续自然数，它的面积也是自然数？
如何解读西西弗斯神话的隐喻？
不想学数学怎么办？
美国普通人的算术到底差到何种地步？
一年级的孩子数学考试不读题目了，有没有什么小方法改善？
如何评价数学家黎曼的成就与历史地位？
不想学数学怎么办？
俄罗斯“物理数学中学”的教学模式是什么样的？
前一个讨论
神级计算机能否算出你的前世今生未来？
下一个讨论
「计算」会改变信息量么？
相关的话题
如果基因没有意识，细胞也没有独立意识，他们是怎么做到的（看补充）？因果关系是真实存在，还是我们认识世界的一种方法？
有哪些值得推荐的《动力系统》教材或者参考书？
这道数列极限题该怎么做啊？
儒家强调中庸的思想 但是总是执中不也是一种极端吗？
当下是不是人类最缺乏思想、灵魂最空洞的时代？
是什么导致中国的科学进程落后于西方的？
为什么1688年光荣革命成功后的一百年1789年的法国大革命还是会翻车？
对「数学就是为了刷掉那 70% 的人」有什么感悟或亲身体会吗？
为什么苏联建立后突然出现了一大批数学家？
科学和数学的关系是什么?
思考道理太多的人需要学习哲学吗？
如何看待古人思想与现代前沿科学的不谋而合？
如何计算这个积分？
矛盾论为什么越看越糊涂，如何应用矛盾论分析问题？
数学这种东西也许有用，但是，如何在现实生活当中用到它？
说数学是「自洽」的是什么意思？
这道求极限的题怎么做？
电车难题里如果两条铁轨都是废弃的你会怎么选?
父不慈，子应不应该孝?
这两个级数该怎么解答？
如何理解数学里的「若 A 不真，则 A→B 总是真的」这种蕴含关系？
0到1之间所有有理数之和 ，和1到2之间的有理数之和，哪个大？
事物的下一秒演变结果是偶然还是必然？
知识是打破阶级的最佳武器，那为什么今天获取知识越来越方便，而整个社会的阶级固化越来越严重？
114514 阶的群有哪几类？
如何理解阿难迦叶索要人事?
如何证明此不等式呢？
为什么要花那么大力气学习数学，明明以后生活中没有什么用了？
如何评价某伊利诺伊大学教授认为数学巩固了白人的特权？