证明定理创造新的信息吗？ 第1页
1
Ivony 网友的相关建议:
如果是不特定人的证明，当然没有增加任何信息。
我们先假定形式系统甲和证明的方法是所有人都知道的，所以这一部分就成了共有知识。在这一点确定的情况下，那么命题A是不是形式系统甲中的一个定理显然就不是信息。
所有的分歧其实无非是形式系统甲和证明的方法到底是不是共有知识的问题。
我们通常不会认为1+1=2比1+1蕴含了更多的信息。这是因为我们认为这种程度的加法运算是每一个人都应该会的（也就是共有知识）。所以任何一个人在拿到1+1的时候都能正确的计算出=2，而不会计算出=3或者其他奇怪的结果，同时对这个符号的理解也不会产生歧义，在没有额外的说明的时候，1就是代表第一个自然数，而+就是代表加法，2就是第一个自然数的后继。
1
相关话题
河洛理数河洛真数河洛精蕴先看哪一本？如何制作一个πΩ的电阻，并尽可能精确?
为什么科学家认为数学是支持科学理论的必要条件？
交换环的子环是否一定是交换环？
世界上有没有绝对的对错？人类如此无知怎么做出最接近正确的选择？对错随主体观念立场而不同的，那真假呢？
数轴上的点为什么是连续的？
经常出现在数学证明中的「不妨设」根据是什么？如何培养这种「不妨设」、「假设」的能力？
麻生公开课教材问题如果a, b是两个相等的实数，那么a=0.是否正确？
关于算法导论定理3.1，为什么感觉快速排序的时间复杂度不满足这个定理？
什么是张量 (tensor)？
前一个讨论
神级计算机能否算出你的前世今生未来？
下一个讨论
「计算」会改变信息量么？
相关的话题
如何理解华为任正非在《面对面》中提到的「能坐基础理论的冷板凳」？我们究竟应该如何发展基础研究？交换环的子环是否一定是交换环？
孝的定义是什么？
为什么那么多的人喜欢西方哲学，鄙视中国哲学？
“英雄史观”和“群众史观”到底谁更有说服力？
怎么看待考研数学老师李林「神押题」？
哲学系的人怎样看待尼采？
格林公式教材上的证明是否存在漏洞？
对现在有意义，可能对以后没意义，对现在没意义，但可能对以后有意义，所以如何看待生活中的事情呢？
国人对待外国哲学和中国哲学态度反差为什么会如此之大？
如何看待哈佛大学数学教授姚鸿泽认为分析，几何和拓扑当初学不应当过于纠结细节，而应当快速进入核心内容？
王阳明达到了什么境界，能具体描述一下是什么感觉吗？我们这些人有可能达到这种境界吗？
集合论与微积分？
为什么写程序的时候可以坚持很久，但是学习数学就很难保持注意力？
如何看待现在高中学生对政治课本中哲学部分的反感与不满？
怎样计算圆内任意两点间距离的期望值？
你见过什么复杂到让你目瞪口呆的公式？
请问这道数分题目该如何处理呢，如下？
为什么这个级数会如此接近整数?
怎样评价美国作家埃德加·斯诺的《红星照耀中国》？
怎样计算圆内任意两点间距离的期望值？
如何求级数和1/（3^n-2^n）？
能解释一下这些公式吗?
如果人与人之间的先天差距（身高，长相，智商情商等）都可以通过基因工程手段抹除，那么社会会变成什么样？
范式（Paradigm）是什么？
高级文明社会的状态是什么样？
如何看待本次数学大赛决赛圈有各行业不同年龄段选手入围，是否高手就在我们身边？
如何看待奥运冠军学霸谷爱凌每年暑假回海淀黄庄补奥数，谷妈妈说「来中国上十天课，能在美国顶一年」？
女权主义如何摆脱给人「只要权利，不要义务」的印象？
两块完全一样饼，如何平均分给三个人？