百科问答小站 logo
百科问答小站 font logo



证明定理创造新的信息吗? 第1页

  

user avatar   Ivony 网友的相关建议: 
      

如果是不特定人的证明,当然没有增加任何信息。


我们先假定形式系统甲和证明的方法是所有人都知道的,所以这一部分就成了共有知识。在这一点确定的情况下,那么命题A是不是形式系统甲中的一个定理显然就不是信息。


所有的分歧其实无非是形式系统甲和证明的方法到底是不是共有知识的问题。


我们通常不会认为1+1=2比1+1蕴含了更多的信息。这是因为我们认为这种程度的加法运算是每一个人都应该会的(也就是共有知识)。所以任何一个人在拿到1+1的时候都能正确的计算出=2,而不会计算出=3或者其他奇怪的结果,同时对这个符号的理解也不会产生歧义,在没有额外的说明的时候,1就是代表第一个自然数,而+就是代表加法,2就是第一个自然数的后继。




  

相关话题

  如何看待人教版教材疑似出现低级错误,用爱因斯坦相对论证明勾股定理? 
  如何评价穿越古代以数分为实数、虚数为开头写一本数学书? 
  我无法让自己彻底的信奉唯物主义,我总觉得这世上所谓冥冥之中的缘分是确实存在的,我该怎么办? 
  你见过的最丑的函数曲线图形是什么? 
  会不会每一个夸克都是一个宇宙,而我们所谓的宇宙也只是那些更强大存在眼中的一丝尘埃? 
  不信教的人可以从宗教学到什么有用的东西? 
  五岁的孩子学习五以内加减算不算早呢,孩子就是不开窍怎么办? 
  20.22.25.30.37.()后边的这个数到底是多少? 
  学习数学可以陶冶情操吗? 
  为什么说“故曰:爲道者,非 以明民也,將以愚之也”? 

前一个讨论
神级计算机能否算出你的前世今生未来?
下一个讨论
「计算」会改变信息量么?





© 2025-05-23 - tinynew.org. All Rights Reserved.
© 2025-05-23 - tinynew.org. 保留所有权利