“毛熊系统集成的功力那是相当的强”,王一男说,
“当年,毛熊研制的米格二十五用简单粗暴的发动机,还有根本不应该用在航空器上的不锈钢,飞出了三马赫以上的速度,把大米国吓了一跳”,
“后来别连科中尉叛逃到太阳国,大米国拿到一架真实的米格二十五之后,一拆解还真是分分钟被教做人了,他们不敢相信用这样的技术水平,居然能造出这么牛的飞机来,这都是系统工程的力量了”,王一男说,
“但是当问题的复杂程度超过一定限度的时候,这种自上而下的方法就会遇到自己的瓶颈,特别是那些人类都无法完全了解的领域,比如说飓风”,
“新三论又被称为混沌理论,有一句著名的说法,就是大西洋边上一只蝴蝶扇动翅膀,会造成太平洋上的飓风,说的就是混沌现象”,王一男正说得起劲呢,
周慧不干了,“说了半天,你还没告诉我G是谁呢?”,她抓住王一男的腰,然后用力的旋转了一下。
“哎呀,你别急嘛”,王一男叫了一声,
“G当然是二十世纪最伟大的数学家、逻辑学家之一,哥德尔(Godel)了”,王一男说,
“这位真正的大牛出生在捷可,大部分时间在大米国的普林斯顿”,
“对了,他还和爱因斯坦.哪都有你是很好的朋友”。
“哥德尔最大的贡献是哥德尔不完全定理,简单的说,就是他证明了,任何足够强大的形式系统,都一定存在既不能证明为真,也不能证明为假的命题”,王一男说,
“您能简单的解释一下吗”,边上的法兰西解说员好奇的说,“我知道哥德尔以及他的定理,但是太抽象很难有非常形象的理解”。
王一男想了一想,“我举个例子吧”,
“你们知道说谎者悖论吗”,
“我知道”,这回是周慧抢答了,“最简单的说谎者悖论就是这句话,《这个命题是假的》”,
“是的”,王一男点点头,“如果这句话是真的,但是它的意思是自己是假的,如果这句话是假的,那么你会发现,它的陈述又是正确的”。
“简单来说,哥德尔的工作就是发展了一种方法,很像寻找无穷大的对角线筛法,他利用自己的方法,构造了一系列步骤,证明在任何足够强的形式系统(这里的足够强大概可以简单地认为强到可以定义自然数)中,都可以通过这一系列的步骤,构造出一个类似说谎者悖论的命题”,