证明定理创造新的信息吗？ 第1页
1
Ivony 网友的相关建议:
如果是不特定人的证明，当然没有增加任何信息。
我们先假定形式系统甲和证明的方法是所有人都知道的，所以这一部分就成了共有知识。在这一点确定的情况下，那么命题A是不是形式系统甲中的一个定理显然就不是信息。
所有的分歧其实无非是形式系统甲和证明的方法到底是不是共有知识的问题。
我们通常不会认为1+1=2比1+1蕴含了更多的信息。这是因为我们认为这种程度的加法运算是每一个人都应该会的（也就是共有知识）。所以任何一个人在拿到1+1的时候都能正确的计算出=2，而不会计算出=3或者其他奇怪的结果，同时对这个符号的理解也不会产生歧义，在没有额外的说明的时候，1就是代表第一个自然数，而+就是代表加法，2就是第一个自然数的后继。
1
相关话题
如何看待人教版教材疑似出现低级错误，用爱因斯坦相对论证明勾股定理？如何评价穿越古代以数分为实数、虚数为开头写一本数学书？
我无法让自己彻底的信奉唯物主义，我总觉得这世上所谓冥冥之中的缘分是确实存在的，我该怎么办?
你见过的最丑的函数曲线图形是什么？
会不会每一个夸克都是一个宇宙，而我们所谓的宇宙也只是那些更强大存在眼中的一丝尘埃？
不信教的人可以从宗教学到什么有用的东西？
五岁的孩子学习五以内加减算不算早呢，孩子就是不开窍怎么办？
20.22.25.30.37.（）后边的这个数到底是多少？
学习数学可以陶冶情操吗？
为什么说“故曰：爲道者，非 以明民也，將以愚之也”?
前一个讨论
神级计算机能否算出你的前世今生未来？
下一个讨论
「计算」会改变信息量么？
相关的话题
如果俄方活抓乌克兰总统泽连斯基会将他怎么样？什么是“叙事”，尤其是在历史学，政治学，等学科领域出现的“叙事”包括带有“叙事”字眼的词，如何理解？
为何我们东方文明（不包括伊斯兰）从来没有产生过神学，哲学，科学这三大学科呢 ?
为什么任何整数除以2或5都能除尽，而不一定能被其他质数除尽？
家人们，帮我看看这个极限?
如何看待：老父亲十年苦证「哥德巴赫猜想」？
如果你死后发现自己以鬼魂的状态存在，你会做什么？
如何看待一些理科生藐视某些人文学科尤其是哲学的研究?
如果秦始皇多活十五年会不会成为从开国到亡国的第一人？
有没有这样的函数，其一阶导等于1，二阶导等于2，三阶导等于3，n阶导等于n，n一直趋于无穷大？
综合除法的数学依据是什么？
“你不体验我的痛苦，怎么和我感同身受”这个观点是否正确？
为什么没有开区间上的 R 正常定积分的定义；开区间勒贝格可积，再加什么特殊条件，可得到开区间黎曼可积？
个人觉得抛硬币并不是真正的随机事件，和抛硬币时候的各种状态参量有关系，那么到底什么是真正的随机？
证明在方程 20X^2-19Y^2=2019 中X与Y没有整数解?
数学建立的最底层的逻辑基础1+1=2如果被否认后，现在数学及文明的大厦是否会崩溃？
如何评价复旦大学教授王德峰？
数学上是否存在这样的情况，给定条件已经能确定结果的唯一性，但就是求不出来！据说椭圆周长就是。？
为什么黎曼猜想是当今数学界最重要、最期待解决的数学难题？
圆的半径为 1，求其内接正五边形边长？
“Quine最终提出没有纯粹的分析命题。”但是在逻辑中像矛盾律不就是纯粹的分析命题吗？
请问为什么要学初中、高中、大学的数学？有用吗？
大佬们这个题怎么证呀？
我们该如何定义成功和失败？
抛物线为何属于圆锥曲线？
对这个图有什么看法？
数学爱好者眼中的数学是什么样的？
学数学是什么感觉？
你有没有在某个瞬间觉得数学是美的，或者被数学震撼到？
我们为什么倾向于相信希格斯玻色子是普遍存在的现象，而不是瑞士和法国的地方特产？