证明定理创造新的信息吗？ 第1页
1
Ivony 网友的相关建议:
如果是不特定人的证明，当然没有增加任何信息。
我们先假定形式系统甲和证明的方法是所有人都知道的，所以这一部分就成了共有知识。在这一点确定的情况下，那么命题A是不是形式系统甲中的一个定理显然就不是信息。
所有的分歧其实无非是形式系统甲和证明的方法到底是不是共有知识的问题。
我们通常不会认为1+1=2比1+1蕴含了更多的信息。这是因为我们认为这种程度的加法运算是每一个人都应该会的（也就是共有知识）。所以任何一个人在拿到1+1的时候都能正确的计算出=2，而不会计算出=3或者其他奇怪的结果，同时对这个符号的理解也不会产生歧义，在没有额外的说明的时候，1就是代表第一个自然数，而+就是代表加法，2就是第一个自然数的后继。
1
相关话题
两次亡天下，汉人到底失去了什么？还能寻回么？物理系或数学系前辈们，大家都来说一下自己本科时的学习经历吧?
从一读到一亿需要读多少个汉字？
为什么数学上证明必然正难则反易——补集思想，原理出处？
“心理疾病“ 是否应该被看做“大脑疾病”?
有没有可能现实中1+1不等于2？
一个一般的二次型等于0，这个方程应该如何求通解？
「奇点」的「奇」怎么读？
知识是打破阶级的最佳武器，那为什么今天获取知识越来越方便，而整个社会的阶级固化越来越严重？
怎样严格的区分目的、动机和原因？
前一个讨论
神级计算机能否算出你的前世今生未来？
下一个讨论
「计算」会改变信息量么？
相关的话题
如果我们知道了世界的本源是什么样的，这个事实会对未来有什么用处？为什么背诵 π 前1000位的人多，而背诵 e 的人却几乎找不到？
请问如何用拉格朗日插值法及其推论解决此题？
三阶魔方公式的最大周期是多少？对应的公式是什么？
跟女生接吻与读懂康德，哪种体验更爽？
「我对女生的兴趣，还没有我对数学的兴趣高。」这样的男生是怎样的性格？
什么是民哲呢?如果不是学哲学的人，怎么才能避免这方面的错误呢?
唯我论（Solipsism） 和唯心论（Idealism）的主要区别是什么？
钱的本质是什么，谁能用科学的方法解释一下？
“恩格斯学术水平不佳”的说法是怎么得出的，正确吗？
穷人里出来的学霸和富人里出来的学霸有什么相同点和不同点？
为什么大家都相信物理学，却不相信世界早已注定？
混沌系统的存在驳斥了可知论或者决定论吗?
直角三角形内知道两个锐角的角平分线长度，怎么求斜边？
我们所感知的时间是否是因记忆而引发的错觉？
如何用数学语言描述数列Xn不是单调数列?
“万物皆虚，万事皆允”的出处是什么？
有哪些美丽或神奇的理科公式？
「儒家不死，中国就无法真正进入现代化」这句话有没有合理性？
怎么看待高中哲学课以及其中的观点?
数学上一些现实的漏洞怎么解释？
人类有权决定其它动物的生死，那么如果出现一种智慧与力量均超越人类的物种，是否也有权决定人类的生死生死？
有没有数学大神，求救?
中国哲学强调人性本善究竟是不够理性还是过度理性？
人类一切痛苦的根源是源于对死亡的恐惧吗？
为什么逻辑学三定律（同一律、矛盾律、排中律）不能被违反，违反会怎样？
有没有什么对群体是坏事的意外，但对个体是好事的历史例子？
轴对称图形只能看出来么，不能证明么？
为什么「工人」和「农民」成了不体面的代名词？
为什么感觉知乎上面的无神论者谈起宗教总有很强的优越感？