证明定理创造新的信息吗？ 第1页
1
Ivony 网友的相关建议:
如果是不特定人的证明，当然没有增加任何信息。
我们先假定形式系统甲和证明的方法是所有人都知道的，所以这一部分就成了共有知识。在这一点确定的情况下，那么命题A是不是形式系统甲中的一个定理显然就不是信息。
所有的分歧其实无非是形式系统甲和证明的方法到底是不是共有知识的问题。
我们通常不会认为1+1=2比1+1蕴含了更多的信息。这是因为我们认为这种程度的加法运算是每一个人都应该会的（也就是共有知识）。所以任何一个人在拿到1+1的时候都能正确的计算出=2，而不会计算出=3或者其他奇怪的结果，同时对这个符号的理解也不会产生歧义，在没有额外的说明的时候，1就是代表第一个自然数，而+就是代表加法，2就是第一个自然数的后继。
1
相关话题
如何看待吴伊卓高考数学使用搜题软件作弊？不定积分∫ dx 中的 d 是什么意思？
如果有人想走遍中国所有的省级行政区（含港澳台），总路程最小可以是多长？
在物理学层面解释决定论、否定人的自由意志，有没有逻辑上的突破口？
人有没有选择一段时间内自愿为奴的权利？
为什么十三岁能杀人不眨眼的秦舞阳见秦始皇一眼就被吓得不行？
这种不等式的本质是什么？
算术平均和几何平均之间还存在别的东西吗？
如何科学地理解“仓禀实而知礼节，衣食足而知荣辱”?
是否所有的事情已经注定会发生？
前一个讨论
神级计算机能否算出你的前世今生未来？
下一个讨论
「计算」会改变信息量么？
相关的话题
如何反驳/证明马克思的劳动价值理论？这个不等式题目怎么做？
利用无理数压缩数据是否可行？
蒋介石在战略上都犯过哪些错误?
为什么康德说数学是纯粹先天综合知识？
如果让顶级的数学家来做 2018 考研数学会怎样？
芝诺佯谬的正确解释是什么？
如果人生是一款游戏，你对这款游戏有哪些不满?
为什么儒家思想没有让中国古代老百姓过上好日子？
有什么更高等的数学学好后能降维打击考研数一？
数学需要回归简美贴近大众吗？
年轻人要怎么确定自己的信仰?读书越多发现自己却越发困惑?
如何评价第36届中国数学奥林匹克？
为什么春秋时期那么多杰出的思想家， 最终却只有孔孟火了？
研究尺规作图时发现一个猜想不知是否可以完全解决？
这个世界上有足球、篮球等竞赛的转播，为啥没有数学、物理等竞赛的转播呢？
为什么大多数中层管理人员看似没在做事？
大陆法系和英美法系的差异是否与相应的哲学立场有关联？
有哪些神奇的宇宙法则？
这个极限怎么求？求大佬帮忙？
红绿蓝三色是（唯一的）正交基吗？
为什么有的人24岁还是学生?
灵魂存在吗？为什么？
当“真”与“善”、“美”发生冲突时，我们应该如何选择？
扔硬币，扔了三次反面，再次反面的概率真的是1/2吗？
求问数学公式推导？
如何看待「机器学习不需要数学，很多算法封装好了，调个包就行」这种说法？
这个世界的真相到底是什么？
最伟大的哲学家是谁？为什么？
什么是无限呢？