证明定理创造新的信息吗？ 第1页
1
Ivony 网友的相关建议:
如果是不特定人的证明，当然没有增加任何信息。
我们先假定形式系统甲和证明的方法是所有人都知道的，所以这一部分就成了共有知识。在这一点确定的情况下，那么命题A是不是形式系统甲中的一个定理显然就不是信息。
所有的分歧其实无非是形式系统甲和证明的方法到底是不是共有知识的问题。
我们通常不会认为1+1=2比1+1蕴含了更多的信息。这是因为我们认为这种程度的加法运算是每一个人都应该会的（也就是共有知识）。所以任何一个人在拿到1+1的时候都能正确的计算出=2，而不会计算出=3或者其他奇怪的结果，同时对这个符号的理解也不会产生歧义，在没有额外的说明的时候，1就是代表第一个自然数，而+就是代表加法，2就是第一个自然数的后继。
1
相关话题
「躺平」是一种主动的选择吗？如何在躺平的同时寻找人生的意义？为什么学哲学？
“真理永远只在大炮射程之内”，那为什么还需要真理？
王阳明的思想究竟和传统儒学有什么根本区别，能让日本海军大将东乡平八郎说出“一生俯首拜阳明”这种话？
哲学能改变一个人吗？
人类只能无限接近真理而不能寻找到不变的真理，那真理以及探寻真理的过程对人类的意义是什么？
为什么数学每次考完自己在想就能把不会的想出来?
如何让普通人明白数学有多复杂？
既然“人类的悲喜并不相通”、”世界上没有真正的感同身受”，那么倾诉是否还有必要？
儒家教人做人处事，那为什么帝王的儿子兄弟相残比比皆是，难道他们没有大儒为师吗？
前一个讨论
神级计算机能否算出你的前世今生未来？
下一个讨论
「计算」会改变信息量么？
相关的话题
能否简要地解释具象化、形象化和抽象化？有什么参考书对大一学习高数有帮助的吗 求推荐 谢谢？
会不会某个人已经证明了哥德巴赫猜想，却不愿意讲出来？
为什么化学上喜欢用 lg，而数学上喜欢用 ln？
数学分析中最重要的定理是哪个？为什么？
学习质数理论有什么实用之处？
地下党被捕、被拷打，为什么不编一些假情报？
中国网络民粹主义泛滥的原因是什么?
怎样评价美国作家埃德加·斯诺的《红星照耀中国》？
为何向量没有除法运算？
目前 x³＋y³＋z³＝42（x、y、z 均为整数）是怎么求解的？
如何只通过计算证明“两点之间，线段最短”？
两条直线方程相加的几何意义是什么？
g为R→R的函数且g(g(x))=-x^13-x，怎么证明g不可导？
突然感觉东西能用就行是一种代代相传的洗脑思想，会过日子同样的东西20块有贵的，能用便宜的觉不买贵的?
是否存在一个「无法判定为有理数或无理数」的实数？
一个很困扰我的问题，先秦诸子中，我最讨厌的就是孟子，不知道大家是怎么看待孟子的？
红军长征为啥没驻川，而选择去了陕北？
如何证明1的pi次方等于1？
第五题如何证明呢？
既然微分和积分互为逆运算，为什么积分比微分更难求解？
数学的本质是什么？
如何判断社科研究中的数学公式是否具有合法性？
数学学科的很多内容无法和实际联系在一起，学这些的意义就只是培养思维逻辑吗？
100个孔子空降到吃鸡岛上，会发生什么？
普通英国人的数学怎么样？
高中数学有哪些像洛必达法则一样神一样有用的公式？
蒋介石为什么喜欢微操？
为什么会有 i 这一虚数？可以求出 i 的值吗？
做数学做得狂躁了，我该怎么平静下来?