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



能否用一句话解释人类,地球和整个宇宙? 第1页

  

user avatar   nuclearcarrot 网友的相关建议: 
      

能。

我不太记得那个系统是怎么样的了。总之我们知道 Hilbert 的命题逻辑演算有四条公理,而后人将其精简为三条。这不是重点。重点是有人无聊,作出了一个只有一条公理(准确来说是一个公理模式,否则规则中就需要加上带入规则)的系统。通过这一条公理和 MP 规则,这个系统可以推出所有 Hilbert 命题演算系统中的逻辑重言式,是不是很厉害?当然了,这个公理是如此之长以至于我根本不可能记得它长啥样。印象中里面的字母都用了至少六七个了。

这个地方就更简单了:你要做的事情无非就是用「……,并且,……」来连接所有科学上为真的陈述,然后得到一句巨长无比的话,通常来说,可以将其写作这种形式:

而这是一句话。

当然了,可能的问题是,这个句子的长度或许会是无限的。啊……不用想了肯定是,因为如果 在里面,并且在里面,那么也在里面,你可以仅仅通过两个真命题生成任意长度的公式……嘛算了不管了。谁在乎呢。

以上。




  

相关话题

  人类社会是不是需要大部分人都足够愚蠢才能正常运转? 
  如果有一种病毒,所有的口罩都防不住他,有90%至100%的致死率,人类会不会灭绝? 
  如果在地球上建立一个接近光速的绕地轨道胶囊,双生子的一个坐在里面,在这种情况,是否打破双生子论解释? 
  为什么说扭曲空间爱因斯坦环星系形成于 90 亿年前宇宙婴儿潮?有哪些依据? 
  人类的科技水平是否会被锁死,进而使人类困锁在地球。? 
  感情是人类的软肋吗,如果没有感情人类会不会更强大? 
  为什么绝对零度是宇宙最低温度? 
  超级灾害能毁灭人类文明吗? 
  1米*1米*1米*1米*1米等于什么? 
  用当前速度最快的飞船向太阳飞去,当到达太阳表面时,飞船所能到达的速度有多大? 

前一个讨论
一个科学家,在梦中看到一个场景:别人发明了一种新产品。他把梦中的产品发表出来,这成就应该算谁的呢?
下一个讨论
为什么W3C要制定content-box盒子模型?IE5.5之前的IE盒子模型放在今天来看也是极好的啊





© 2025-04-03 - tinynew.org. All Rights Reserved.
© 2025-04-03 - tinynew.org. 保留所有权利