证明定理创造新的信息吗？ 第1页
1
Ivony 网友的相关建议:
如果是不特定人的证明，当然没有增加任何信息。
我们先假定形式系统甲和证明的方法是所有人都知道的，所以这一部分就成了共有知识。在这一点确定的情况下，那么命题A是不是形式系统甲中的一个定理显然就不是信息。
所有的分歧其实无非是形式系统甲和证明的方法到底是不是共有知识的问题。
我们通常不会认为1+1=2比1+1蕴含了更多的信息。这是因为我们认为这种程度的加法运算是每一个人都应该会的（也就是共有知识）。所以任何一个人在拿到1+1的时候都能正确的计算出=2，而不会计算出=3或者其他奇怪的结果，同时对这个符号的理解也不会产生歧义，在没有额外的说明的时候，1就是代表第一个自然数，而+就是代表加法，2就是第一个自然数的后继。
1
相关话题
陌生人 可以给我一句鼓励的话吗？为什么不会类推，举一反三能力太差？
如何正确理解群论中的同态基本定理？
哲学专业为什么没有那么多劝退贴？
高次韦达定理是什么？如何证明？
初一开始准备数学竞赛有意义吗？
辩证法给我们带来了哪些愚昧？
你们有人看过完整的《道德经》吗？
如何评价b站up主未明子对分析哲学中“小将”成分的批评？
香农是如何想到信息论的？
前一个讨论
神级计算机能否算出你的前世今生未来？
下一个讨论
「计算」会改变信息量么？
相关的话题
福柯，叔本华，尼采，萨特哪个哲学家的思想更适合年轻人装逼？符合论一定会导致无穷倒退吗？
人工智能领域有哪些精妙的数学原理？
既然天下都是皇帝的，他为什么还需要花钱？
意识进入计算机永生，那么人的肉体呢？
什么是拜物教，什么又是商品拜物教？
第一人称有可能被重组复制吗？
行列式的本质是什么？
为什么数学里非要写「当且仅当」，而不是「仅当」？
这题怎么写？急！?
《道德经》中的哲学内核是否可以与现代科学衔接？
数理金融和金融工程需要修的数学课程有哪些?
房子在资本家手里可以无底线的涨价，为什么粮食在农民手里，没有提高价格，粮食对比房子，才是刚需不是嘛，？
喜欢数学，但是脑子不好使，怎么办？
正项级数∑xn收敛，数列xn单调减少，如何证明limnXn＝0？
全能悖论中，上帝不能举起的石头是不是属于上帝全能之中？
本科阶段数学系的你的一天是怎么度过的？
如果动物突然开口说话，是否能得到人类的尊重，不再被屠杀？
锐角三角形的内接三角形中垂足三角形周长最短，怎么证明？
张益唐和佩雷尔曼的论文是否说明脱离主流学术圈一样有可能成为顶级数学家？
优秀的程序员需要懂那些数学知识？
工具变量 (Instrumental variables) 的作用到底是什么？
为什么特征值之和会等于矩阵的迹？
五个囚犯先后从100颗绿豆中抓绿豆。抓得最多和最少的人将被处死，不能交流，可以摸出剩下绿豆的数量，谁的存活几率最大？
“一切民族矛盾说到底都是阶级矛盾”是否正确？
数学上那些根本没有任何线索提示的配凑构造技巧到底是怎样被发现的？
氢原子核外电子跃迁放出Cn2种不同能量的光子有没有可能不成立呢?
数学上是否存在这样的情况，给定条件已经能确定结果的唯一性，但就是求不出来！据说椭圆周长就是。？
为什么现在的人很轻松就能掌握几百几千年前顶尖数学家才能掌握的知识？
怎么求lnsinx在0到pi/2的积分啊？