证明定理创造新的信息吗？ 第1页
1
Ivony 网友的相关建议:
如果是不特定人的证明，当然没有增加任何信息。
我们先假定形式系统甲和证明的方法是所有人都知道的，所以这一部分就成了共有知识。在这一点确定的情况下，那么命题A是不是形式系统甲中的一个定理显然就不是信息。
所有的分歧其实无非是形式系统甲和证明的方法到底是不是共有知识的问题。
我们通常不会认为1+1=2比1+1蕴含了更多的信息。这是因为我们认为这种程度的加法运算是每一个人都应该会的（也就是共有知识）。所以任何一个人在拿到1+1的时候都能正确的计算出=2，而不会计算出=3或者其他奇怪的结果，同时对这个符号的理解也不会产生歧义，在没有额外的说明的时候，1就是代表第一个自然数，而+就是代表加法，2就是第一个自然数的后继。
1
相关话题
请问我写的这两首诗能不能从气势气魄上“永镇千古”？如何证明五点共圆问题？
如果结局都是毁灭，那么我们存在的意义是什么？
民科这个称呼是不是阶级固化的表现？阿贝尔，伽罗瓦当时看来是不是民科？民哲更有意思了？
为什么八路军等敢于和百姓走的那么近？
单调的环境下永生能让人变成傻子吗？
如何理解「观点越高，事情越显得简单」这句话？
如果孔子穿越来现代社会，一边延续过往理念、一边发展新哲学，他最坚持的、和最先放弃的想法，分别会是什么？
自由意志是否存在？为什么？
在你看来，数学中有哪些大学课程会被下放给非数学系学生？为什么？
前一个讨论
神级计算机能否算出你的前世今生未来？
下一个讨论
「计算」会改变信息量么？
相关的话题
关于一道数学题的解答，学而思的解答是否更好？上帝全善与上帝全能是否矛盾?
为什么 A 为 n 阶满秩方阵时，Ax＝0 只有零解？
学随机分析需要把实分析和泛函学的很深吗?
科学是了解这个世界（宇宙）的唯一手段吗？
今后有没有可能出现一位超级大牛人，把数学与哲学统一起来？
宇宙的开始之前是什么？宇宙要走向什么？宇宙为什么会存在？宇宙的外面又是什么？
初一开始准备数学竞赛有意义吗？
哲学爱好者和研究者不要故弄玄虚，试着回答以下关于辩证法的三个问题？
见义勇为救一个坏人，最终牺牲自己生命，值得吗？
有哪些神奇的宇宙法则？
已知若干个独立同分布的随机变量之积的分布，如何求单个随机变量的分布？
孩子的梦想是成为天文学家，怎样帮助他去接近梦想？
若多年后地球统一语言，中国普通话有多大机会？
为什么有的数学定理看起来很显然，证明起来却很复杂？
共产主义社会如何解决性的问题?
为什么说人类有天生的资本主义倾向？
一些人为什么会去选数学专业？
刚看了一个柯西不等式的推论，不知如何证明，希望得到解答?
如何合理地批驳「存在即合理」？
如何利用拉式方程或者变分法导出悬链线方程？
会不会某个人已经证明了哥德巴赫猜想，却不愿意讲出来？
艺术品在社会经济运转中是什么地位呢？
叔本华到底是个什么样的人？
数学证明题可以这样做吗？
数学史上你认为最美的公式是什么？
为什么有的数学定理看起来很显然，证明起来却很复杂？
如何证明集合[0, 1] × [0, 1]与集合[0, 1]等势(即存在双射）？
上帝能否创造上帝本身？
为什么数学上一些显而易见的事情数学家们也要编个定理出来？