52格格党>触手怪的宇宙之旅 > 第711章 尤里卡（第4页）
第711章 尤里卡（第4页）
说什么一起加油，说什么好搭档，你这不靠谱的家伙根本就是来拖后腿的吧！
这家伙就这么盼着她死掉吗？
“不，当然不是。”
“你别忘了，这架机器人的名字叫尤里卡突袭者，它是阿基米德亲手制作的。”
“尤里卡是阿基米德跳进浴缸时说的话，意为『我发现了！』”
“你不觉得这台机器人三头身的比例很不协调吗？这可不符合古希腊人喜欢的比例。”
“仔细想一想，你所在的这个驾驶舱像是什么？”
阿基里斯狼狈地躲过一次合击，她感受到自己的双脚上有某种灼热的感觉，那是来自这台机器人的感受。
这颗星球的表面已经有大半都被化为了岩浆，但她却没法操控着这架三头身机器人飞天。
再这样下去，她就死定了。
她身边的这个人会就这样看着她去死吗？
将这个疑惑甩出脑海，阿基里斯问道：
“你的意思是，这个驾驶舱就是阿基米德的浴缸，所以这里面才像是海水一样。”
“我这个驾驶员也需要来一次尤里卡，这才能让这台尤里卡突袭者号进化？”
李恒打了个响指。
“正解。”
“在面临生死危机之时，人的大脑会变得更为活跃，故事里的主角总是临阵突破也是很有道理的。”
“狗急了会跳墙，人被逼急了做几道数学证明题应该也行……大概吧。”
你那怀疑的语气是什么鬼啊！我这边可是真正的生死危机！
心中的吐槽透过驾驶舱内的海水传递过去，阿基里斯勉强分出一丝心神，急促地喊道：
“赶紧说！”
星球表面薄薄的地壳几乎都已经化为了流动的熔岩，她用这台不会飞的尤里卡突袭者号真的撑不了多久了。
“嗯，既然是生死大危机，那我就简单点说。”
“一个证明需要公理和推理法则。”
“公理是基本的命题，它们是一切推理证明的前提。”
“因为是如此显而易见，以致它们可以断言而无须证明。”
“比如我们之前由序数概念发现的结论，任意自然数n都有一个确定的后继数n+1。”
“这就属于描述自然数的皮亚诺公理的内容，类似的还有几何学中的欧几里得公理。”
“公理是无需证明的前提，1+1=2，2+2=4则是由公理推出的数学结论。”
“推理法则，是从其他真理推出真理的逻辑原理。”
“证明根号2是一个无理数，有一条推理法则很重要。”
“它就是排中律，一个数学命题为真，或者为假，没有什么命题是可以同时既为真又为假。”
“它是使用反证法、归谬法的前提。在研究无穷的过程里，我们会一直和这条法则打交道。”
说到这里，李恒又在阿基里斯的肩膀上贴上了第三条小便签，上面写着『排中律』的字样。
“用反证法证明的过程就是，想要证明一个命题P为真，只要假定非P为真，然后找出这个假设的矛盾。”
“非P是假的，那么P就是真的。”
“具体来说，证明『根号2不是一个有理数』，只要假设『它是一个有理数』，能写成两个最简整数之比的形式，然后一步一步推出与假设之间的矛盾。”
“嗯，基础的讲完了，接下来的证明就由你来做。”
