手机浏览器扫描二维码访问
第719章 尤里卡（第3页）
“问题在于，毕达哥拉斯学派否定无穷的真实性。”
“它们将这些无限不循环小数称作不可说出的量，可他们又是如何确认这些数是真正的无限不循环的？”
“身为有限的人，显然不可能从头到尾一一数完去确认。”
“这里就要说到一个新的概念，所谓的推理、证明。”
“这种更为抽象的数理逻辑是在古希腊时代才诞生的，它是比基数和序数更高程度的抽象，更进一步地脱离了具体的事物。”
“勾三股四弦五只是一个特定的数学事实，直角三角形的三条边a^2+b^2=c^2则是一条定理。”
“这就是一条只是数学事实的陈述和一个数学定理之间的区别，证明具有一般性、普适性。”
李恒拍了拍自己手中的古巴比伦泥板道
“这也是为什么古巴比伦文明在公元前2ooo年就现了许多勾股数，但真正的定理却是一千多年后的毕达哥拉斯证明的。”
“无理数是更高层次的抽象，没有证明，人类就不会现无理数。”
“在古希腊时代之前，那些文明只会把单位正方形的斜边当做1·4或者1.41，这种精确度就足够了。”
“他们只关心生活中具体的实用过程，而不关心一些不实用的、更抽象的问题，比如单位正方形的斜边长到底应该是多少？”
阿基里斯听着身旁那个人像是唐僧念经一样唠唠叨叨的话语，感觉自己的脑袋都大了一圈。
她忍不住紧紧地握住了手中的螺旋状钥匙，在千钧一之间躲过了一打穿海床的激光炮。
因为两者的精神通过这片海洋连接在一起，这些思考仿佛就是直接在她的脑海中生的，这让她的思绪不时地被打断。
“他比我强很多…”
“而且他看起来很好吃…”
说什么一起加油，说什么好搭档，你这不靠谱的家伙根本就是来拖后腿的吧！
这家伙就这么盼着她死掉吗？
“不，当然不是。”
“你别忘了，这架机器人的名字叫尤里卡突袭者，它是阿基米德亲手制作的。”
“尤里卡是阿基米德跳进浴缸时说的话，意为『我现了！』”
“你不觉得这台机器人三头身的比例很不协调吗？这可不符合古希腊人喜欢的比例。”
“仔细想一想，你所在的这个驾驶舱像是什么？”
阿基里斯狼狈地躲过一次合击，她感受到自己的双脚上有某种灼热的感觉，那是来自这台机器人的感受。
这颗星球的表面已经有大半都被化为了岩浆，但她却没法操控着这架三头身机器人飞天。
再这样下去，她就死定了。
她身边的这个人会就这样看着她去死吗？
将这个疑惑甩出脑海，阿基里斯问道
“你的意思是，这个驾驶舱就是阿基米德的浴缸，所以这里面才像是海水一样。”
“我这个驾驶员也需要来一次尤里卡，这才能让这台尤里卡突袭者号进化？”
李恒打了个响指。
“正解。”
“在面临生死危机之时，人的大脑会变得更为活跃，故事里的主角总是临阵突破也是很有道理的。”
“狗急了会跳墙，人被逼急了做几道数学证明题应该也行……大概吧。”
你那怀疑的语气是什么鬼啊！我这边可是真正的生死危机！
心中的吐槽透过驾驶舱内的海水传递过去，阿基里斯勉强分出一丝心神，急促地喊道
“赶紧说！”
星球表面薄薄的地壳几乎都已经化为了流动的熔岩，她用这台不会飞的尤里卡突袭者号真的撑不了多久了。
“嗯，既然是生死大危机，那我就简单点说。”
“一个证明需要公理和推理法则。”
“公理是基本的命题，它们是一切推理证明的前提。”
“因为是如此显而易见，以致它们可以断言而无须证明。”
“比如我们之前由序数概念现的结论，任意自然数n都有一个确定的后继数n+1。”
“这就属于描述自然数的皮亚诺公理的内容，类似的还有几何学中的欧几里得公理。”
“公理是无需证明的前提，1+1=2，2+2=4则是由公理推出的数学结论。”
“推理法则，是从其他真理推出真理的逻辑原理。”
“证明根号2是一个无理数，有一条推理法则很重要。”
末世女穿成七零女主的白莲花继姐
简介关于末世女穿成七零女主的白莲花继姐一睁眼穿成年代文女主的白莲花继姐，许七颜内心慌的一匹，面上表示淡定淡定，一切尽在掌控中。不就是打脸爽文吗？不用女主出手她自己来。女主教训渣爹，她鼓掌喝彩。女主揭穿恶毒后妈真面目，她哭唧唧表示妹妹说的都对。女主算计继哥，她上去补上一脚。女主看着眼前的继姐眼神怪异，反手送她下乡去。许七颜不干了，捂住心口泪眼婆娑的控诉着女主的狠心，她的心如同数九寒天的冰渣似的，拔凉拔凉。然而，转身把家里搜刮一空屁颠颠的跑路。女主看着空荡荡的屋子，心中有一万头草尼玛奔腾而过。她是不是错过现某人真面目的机会？带着统子跑路的许七颜，左手烤鸡右手奶茶，表示美好的生活在向她招手。只是，看到隔壁搬来的人，瞬间啥都不香了。喂喂喂～你可是女主啊，不要这么任性好不好？女主？呵～还不从实招来？许七颜咬着小手帕哭唧唧的缩在墙角画圈圈～我只是一朵柔弱的小白花，求放过。无cp的姐妹花文。...
诱爱！九爷占有她后上瘾戒不掉了
作品简介生父设计，将她送入狼窝，嫁给老丑残疾的大人物傅景行。结婚第一晚，傅景行就现她怀了别人的孩子！所有人都等着她被扫地出门，看她笑话。她夹缝生存，意外成了另一幅面孔的傅景行的家政。白天，她给傅景行做饭下厨，拿他的薪水养着一家人。晚上，她是表面最尊贵的傅太太，却要被他奴役戏弄。当身份识破，傅景行掐着她的脖子把你肚子里的野种打了，不然我让你们母子尸骨无存。她拼命生下孩子，对他绝望透顶，傅景行却悔不当初。5年后，她携萌宝回国，傅景行在机场拦住她，带着另一个一模一样的宝宝老婆，孩子们需要一个完整的家！苏皖我怕你掐死我们母子。傅景行跪在搓衣板上，豪气云天老婆，我错了。...
教主的退休日常
贪财的客栈老板居然退休的魔教教主，打杂跑腿的小二却身怀佛门神通，作为一个曾经无敌于天下的风云人物，王野需要隐藏自己的身份和实力，在纷扰的江湖中生活下去。普通人追求的地位武学名声他都不在意。他只想做个混吃等死的大闲人。硬刚天下第一大帮，指点醉酒的破落书生，制止武林浩劫退休之后，怎么反倒更忙了？各位书友要是觉得教主的退休日常还不错的话请不要忘记向您QQ群和微博里的朋友推荐哦！...
重生空间之七零
重生在七零这个儿时的她，唯一的遗憾就是，没谈过恋爱，没结过婚，没生过崽，没好好花过钱所以，这辈子的白莲花赚点钱，谈个恋爱，结个婚，生个儿子来防老某人媳妇，我养你，儿子什么中看不中用。...
四合院之我有超级人脉
简介关于四合院之我有级人脉白敬轩穿越到了禽满四合院的世界，本来他以为自己只要当个透明人，就可以安稳的过日子。可是没想到贾家是吃人不吐骨头的主，不光要主角的工作抚恤金，还要白敬轩的房子。白敬轩忍无可忍，好在我有级人脉系统，大领导杨厂长李副厂长全是我的人。有人脉在手，我还怕谁啊？贾家吃了我的给我吐出来，拿了我的给我还回来。娄子莉子叶子，全都过来吧。至于盛世白莲秦淮茹，还是离我远点，我嫌你脏，你还是去吸你的舔狗傻柱的血吧！只是白敬轩走到最后，却现自己居然另有身份...
军婚七零：养崽摸鱼嗑瓜子
简介关于军婚七零养崽摸鱼嗑瓜子杜婉莹人美心善，就是有着一个咸鱼的性子，也不怪她如此。穿越前，她上进勤奋努力，一刻也不敢松懈，可结果呢？母亲还是离开了她。穿越后，杜婉莹奉行着能躺着就不坐着，能坐着就不站着的原则。这个原则却在嫁给救命恩人江聿风后被无限放大...