证明定理创造新的信息吗？ 第1页
1
Ivony 网友的相关建议:
如果是不特定人的证明，当然没有增加任何信息。
我们先假定形式系统甲和证明的方法是所有人都知道的，所以这一部分就成了共有知识。在这一点确定的情况下，那么命题A是不是形式系统甲中的一个定理显然就不是信息。
所有的分歧其实无非是形式系统甲和证明的方法到底是不是共有知识的问题。
我们通常不会认为1+1=2比1+1蕴含了更多的信息。这是因为我们认为这种程度的加法运算是每一个人都应该会的（也就是共有知识）。所以任何一个人在拿到1+1的时候都能正确的计算出=2，而不会计算出=3或者其他奇怪的结果，同时对这个符号的理解也不会产生歧义，在没有额外的说明的时候，1就是代表第一个自然数，而+就是代表加法，2就是第一个自然数的后继。
1
相关话题
某人认识的蓝色其实是我们熟知的绿色，他自己如何知晓？如何评价 马毅教授 的 NeurIPS 2020 中稿文章 MCR2 及 自称弄明白深度学习了？
王安石变法失败的原因是什么？
应该如何评论马克思这个人？
是什么让你对数学或物理感兴趣的？
在科学史上，有什么解释非常错误，但预测非常准确的例子？
打开概率为 1/8000 的保险箱，8000 次内一定能打开吗？
何猷君的数学水平有多强？
学随机分析需要把实分析和泛函学的很深吗?
如何简单清晰地解释哥德尔不完备定理？
前一个讨论
神级计算机能否算出你的前世今生未来？
下一个讨论
「计算」会改变信息量么？
相关的话题
解放神学的“解放”到底是指什么？“万物皆虚，万事皆允”的出处是什么？
π 的存在是否意味着人类永远也无法精确的计算出宇宙的各种特征？
谜之代码是否存在？
庄子说的「鲲鹏」是不是一种鲸鱼？
为什么苏联建立后突然出现了一大批数学家？
数学中，梯度可不可以理解为电场线垂直为等势线？
学习历史的价值？历史的重要性？
数学是人类独有的吗?
如何用一张图描述人类的知识图谱？
请问下面这道题怎么解决？
如何解决这个数学问题?
中国大学数学与物理教育有哪些地方是三不管的?
闰月可能出现闰正月和闰腊月吗？
有推荐给初中学生看的数学著作吗？
击倒中国奥数队的几何题应该怎么解？
用 pdf 版看完大部头专著是怎样一种体验？
如何评价这篇关于「学习数学不需要做题」的文章的观点？
中国古代数学形成以计算见长，以解决实际问题为特点的数学理论体系，那为何现代却更重是理论?
如何高效自学国内的苏联式风格的数学教材？
什么是拜物教，什么又是商品拜物教？
当下，学儒的人是否比不学儒的人、甚至是反儒的人更具有道德优势？
为什么网上那么多想让数学和英语退出高考的人？
如何看待菲尔兹和阿贝尔奖双料得主 Michael Atiyah 宣称自己证明了黎曼猜想？
如果人生是一款游戏，你对这款游戏有哪些不满?
为什么说人类有天生的资本主义倾向？
北大数学天才韦东奕如果当初去了哈佛大学再回来，会怎么样？
如果有一个初三学生说他懂微积分，我该怎么应对？
如何看待「哲学不过是一种形式高尚的无聊」这种说法？
你做过的最难的题是什么？