言情书阁

手机浏览器扫描二维码访问

第719章 尤里卡（第4页）

“不，当然不是。”

“你别忘了，这架机器人的名字叫尤里卡突袭者，它是阿基米德亲手制作的。”

“尤里卡是阿基米德跳进浴缸时说的话，意为『我发现了！』”

“你不觉得这台机器人三头身的比例很不协调吗？这可不符合古希腊人喜欢的比例。”

“仔细想一想，你所在的这个驾驶舱像是什么？”

阿基里斯狼狈地躲过一次合击，她感受到自己的双脚上有某种灼热的感觉，那是来自这台机器人的感受。

这颗星球的表面已经有大半都被化为了岩浆，但她却没法操控着这架三头身机器人飞天。

再这样下去，她就死定了。

她身边的这个人会就这样看着她去死吗？

将这个疑惑甩出脑海，阿基里斯问道：

“你的意思是，这个驾驶舱就是阿基米德的浴缸，所以这里面才像是海水一样。”

“我这个驾驶员也需要来一次尤里卡，这才能让这台尤里卡突袭者号进化？”

李恒打了个响指。

“正解。”

“在面临生死危机之时，人的大脑会变得更为活跃，故事里的主角总是临阵突破也是很有道理的。”

“狗急了会跳墙，人被逼急了做几道数学证明题应该也行……大概吧。”

你那怀疑的语气是什么鬼啊！我这边可是真正的生死危机！

心中的吐槽透过驾驶舱内的海水传递过去，阿基里斯勉强分出一丝心神，急促地喊道：

“赶紧说！”

星球表面薄薄的地壳几乎都已经化为了流动的熔岩，她用这台不会飞的尤里卡突袭者号真的撑不了多久了。

“嗯，既然是生死大危机，那我就简单点说。”

“一个证明需要公理和推理法则。”

“公理是基本的命题，它们是一切推理证明的前提。”

“因为是如此显而易见，以致它们可以断言而无须证明。”

“比如我们之前由序数概念发现的结论，任意自然数n都有一个确定的后继数n+1。”

“这就属于描述自然数的皮亚诺公理的内容，类似的还有几何学中的欧几里得公理。”

“公理是无需证明的前提，1+1=2，2+2=4则是由公理推出的数学结论。”

“推理法则，是从其他真理推出真理的逻辑原理。”

“证明根号2是一个无理数，有一条推理法则很重要。”

“它就是排中律，一个数学命题为真，或者为假，没有什么命题是可以同时既为真又为假。”

“它是使用反证法、归谬法的前提。在研究无穷的过程里，我们会一直和这条法则打交道。”

说到这里，李恒又在阿基里斯的肩膀上贴上了第三条小便签，上面写着『排中律』的字样。

本小章还未完，请点击下一页继续阅读后面精彩内容！

“用反证法证明的过程就是，想要证明一个命题P为真，只要假定非P为真，然后找出这个假设的矛盾。”

“非P是假的，那么P就是真的。”

“具体来说，证明『根号2不是一个有理数』，只要假设『它是一个有理数』，能写成两个最简整数之比的形式，然后一步一步推出与假设之间的矛盾。”

“嗯，基础的讲完了，接下来的证明就由你来做。”

“再给你一个提示，偶数的平方还是偶数，奇数的平方还是奇数，只要从这一点着手就行了。”

由我来做？

恶魔天使  摘星手记  分开后偏执大佬缠上我了  山村大闲人  狙击战神  殡葬异事录  诡秘世界我能逢凶化吉  开局人间体  五浔之外  大乾佛主  游历万界的永生者  我的室友不对劲  我真不想修行啊  大梦王  奥特曼之黑暗星纹  我媳妇是医圣传人  穿越之直上青云  特种兵：我成了全球特战教父  七零之重组家庭的小女儿  重生我的老婆是天后