证明定理创造新的信息吗？ 第1页
1
Ivony 网友的相关建议:
如果是不特定人的证明，当然没有增加任何信息。
我们先假定形式系统甲和证明的方法是所有人都知道的，所以这一部分就成了共有知识。在这一点确定的情况下，那么命题A是不是形式系统甲中的一个定理显然就不是信息。
所有的分歧其实无非是形式系统甲和证明的方法到底是不是共有知识的问题。
我们通常不会认为1+1=2比1+1蕴含了更多的信息。这是因为我们认为这种程度的加法运算是每一个人都应该会的（也就是共有知识）。所以任何一个人在拿到1+1的时候都能正确的计算出=2，而不会计算出=3或者其他奇怪的结果，同时对这个符号的理解也不会产生歧义，在没有额外的说明的时候，1就是代表第一个自然数，而+就是代表加法，2就是第一个自然数的后继。
1
相关话题
数学中有哪些表面没有关系但是内在有深刻联系的问题？既然负数开平方可以拓展出一个复数系，那 1/0 也可以拓展出新的数系吗？
请问高等代数判断多项式可约性的这一题要怎么入手？
什么是高等数学？
初等函数之上有无定义「高等函数」？
哪些数学命题曾经长期被误认为是正确的，但之后被严格证明是错的？
算盘的计算速度有多快？
你对俄罗斯和法兰西数学物理教材有哪些看法？
为什么中国的哲学系不像欧美大学的哲学系，培养不出来哲学家？
无神论者为什么那么坚定？
前一个讨论
神级计算机能否算出你的前世今生未来？
下一个讨论
「计算」会改变信息量么？
相关的话题
如何从社会层面切实缩小弱者和强者的差距?所有生命都值得被敬畏吗?
抛物线为何属于圆锥曲线？
当游戏设计师需要具备哪些基本素养？
如何不以生物学角度判断一个人是人？
大家如何看待《辩证法与放屁》这篇文章？
请问为什么数学中不废除除号“÷”？
如果有一个初三学生说他懂微积分，我该怎么应对？
在科研中，如果出现了隐蔽的计算错误会怎样？
康德 黑格尔等唯心哲学大神，真的没有我们这些唯物主义者有智慧吗？
一个骰子，等概率的能掷出1-5。那么现在有两颗骰子。怎么样才能利用这两颗骰子等概率的得到1-25？
我到底是“我”还是“缸中之脑”？
如何处理这类三个连乘的积分呢？
数学是绝对真理吗？
你最满意自己的科研成果是什么？
如何在没有“钱”这个东西的存在情况下，来解释人类的经济活动？
成为一个数学家有多难？
对任意一个u∈C（复数域），是否有｜ln（1+u）｜≥ln（1+｜u｜）？
为什么黎曼ζ函数能够如此表示？（第二个等号）?
如何看待 9 月 24 日 Michael Atiyah 在海德堡获奖者论坛上对黎曼猜想的现场宣讲？
如何直观地说明为什么前 n 个自然数的立方和等于和的平方？
编程是否存在终极问题？
李代数为何要满足 Jacobi Identity？
如果一个人主观对所有词语概念下定义，并被推广到所有人身上，使所有人接受这些定义，会如何？
「我」和「大脑」的区别是什么？究竟是「我」控制着「大脑」，还是「大脑」控制着「我」？
如何看待哈工大校友刘汉清如今靠400元低保度日？
圆周率是一个无理数，3.1415926…。问，能否用一个数学式子来准确表示圆周率，类似根号10？
对这个图有什么看法？
我今年 14 岁，想了一个数学思路，把数学各领域的联系写出来了，这个思路有什么问题吗？
计算 2 的 64 次方有什么特殊技巧？