第115章 第115节 （2/3）

君以国士待我，我当以国士报之!君以路人待我，我以路人报之!君以草芥待我，我当以仇寇报之!

虽然只是和希尔伯特教授第一次见面，但是西莫先生从他身上感受到了他对自己的尊重，既然如此，西莫先生也会用同样的尊重去回报这位德高望重的老教授。

不作弊，认认真真地用自己的真实水准去考试，这就是西莫先生对老教授的尊重！

高坂京介也很能理解西莫先生这样的心态，他说道：“我是无所谓啦，数学和物理本来就是我的强项，不过你这个化学偏科男不要紧吗？”

“呵呵。”西莫先生拍了拍自己的胸脯：“数理化不分家可不是白说的。”

“那就祝你好运了！到时候挂科了可别哭啊~当然我不介意借给你一个肩膀靠一靠~”

“滚！除非你给我的是你妹妹的肩膀，我说不定还能考虑考虑！”

“呸！你那是痴心妄想！”

说完两人隔着数张桌子相视而笑，结束了对话。

一分钟后。。。

伴随着铃声的响起，无需希尔伯特教授下令，西莫先生深吸一口气翻开了考卷。

数学考试，开始！

【第一题：法恩斯沃斯教授和艾米制造了一台灵魂交换机。这台机器可以交换两个人的灵魂。但它的缺点是任意两人之间只能交换一次。试用数学原理证明：无论之前已经有多少人进行了多少次交换，只要再找来两个没被交换过的人来帮忙，就可以按照一定的顺序把所有的人灵魂重新交换回来。】

卧槽！

西莫先生很想弱弱地问一句：“我tm能反悔吗？”(未完待续。)。

133.我在裤裆里藏，不对！是数学题里藏了主线

♂』????????“有一位老师对他的学生说：所谓的考试，尤其是应试考试这种玩意儿，最重要的就是懂得战略放弃啊！把自己会做的题目先做对了，再来解决那些一时无法解决的问题。”

西莫先生已经想不起来，当初到底是哪个白痴和自己说过这个“笑话”了。

没错就是笑话，因为那个老师的学生接下来的回答是：“老师如果全都不会做，我能战略放弃这门考试吗？”

哈哈哈，好不好笑？好不好笑？

拿着只有四道题目的卷子，已经准备放弃三道的西莫先生现在简直笑得比哭还难看啊！

如果说第一问只是开胃小菜的话，那么第二题开始，西莫先生就就深深地感受到来自数学的恶意。

第二问：

在一场比赛上，参赛者会看见三扇关闭了的门，其中一扇的后面有一辆汽车，选中后面有车的那扇门可赢得该汽车，另外两扇门后面则各藏有一只山羊。

当参赛者选定了一扇门，但未去开启它的时候，节目主持人开启剩下两扇门的其中一扇，露出其中一只山羊。主持人其后会问参赛者要不要换另一扇仍然关上的门。

问题：换另一扇门会否增加参赛者赢得汽车的机率？如果增加，增加的几率是多少？（本题25分）

这一题西莫先生第一眼看去觉得是会增加几率，因为从独立重复实验的角度来看，第一次三道门，选中的概率是三分之一；第二次两道门，选中的概率是二分之一；

如果将两次选择看成是一个整体的话，选中的概率暨三分之一乘以二分之一得到六分之一。

咦？看起来好像很简单啊，但是总觉得有哪里不对，西莫先生知道自己的答案肯定是错误的，但是他根本不知道错在哪里，或者说他连题目都至看懂了一半。

犹豫再三之后，就像几分钟前面对第一题一样，西莫先生又一次选择了战略放弃。

接下来第三问：

奥地利裔布列塔尼亚著名数学家库尔特?哥德尔，在1931年提出不完备性定理。这一理论使数学基础研究发生了划时代的变化，更是现代逻辑史上很重要的一座里程碑。该定理与塔尔斯基的形式语言的真理论，图灵机和判定问题，被赞誉为现代逻辑科学在哲学方面的三大成果。

哥德尔通过这一定理证明了任何一个形式系统，只要包括了简单的初等数论描述，而且是自洽的，它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。

更简单一点的解释是：（1）任意一个包含一阶谓词逻辑与初等数论的形式系统，都存在一个命题，它在这个系统中既不能被证明为真，也不能被证明为否。（2）如果系统s含有初等数论，当s无矛盾时，它的无矛盾性不可能在s内证明。

问题：请联系自己的生活，找出符合哥德尔不完备性定理的一个例子。（本题25分，没错，你没看错25分，这是老师我给你们发的福利。）