关灯
护眼
字体:

第500章 数学实在论的终极审判

首页 书架 加入书签 返回目录

出一行红字:“该命题在欧式几何中不可证。”

哥德尔翘着二郎腿看热闹:“加油哦,已经过去一分钟了~”

陈凡盯着那片星空,突然想起零消失前传给他的数据流里,好像有关于这个的内容。

他闭上眼睛,感受着胸口烙印的温度,那些陌生的知识渐渐清晰起来。

“不需要证明。”陈凡突然开口。

欧几里得挑眉:“你说什么?”

“平行公设是独立的,无法在欧式几何的其他公理下被证明或证伪。”陈凡睁开眼睛,“它本身就是一个公理,您这是在让我们做不可能的事。”

哥德尔吹了个口哨:“漂亮!这小子懂行!”

欧几里得老脸一红,梗着脖子说:“那、那换一个!证明三角形内角和等于一百八十度!”

陈凡摇头:“只有在欧式几何成立的前提下,这个结论才成立。如果空间曲率不为零,三角形内角和可以大于或小于一百八十度。”

他随手在空中画了个三角形,注入代数几何烙印的力量。

那三角形的内角开始变化,一会儿大于一百八,一会儿小于一百八。

“你、你作弊!”欧几里得气得胡子直抖。

哥德尔笑得直拍大腿:“老欧,你输啦!人家说得一点没错!”

希尔伯特合上手中的书,面无表情地说:“第一关,通过。”

空间再次变换,这次变成了一座巨大的图书馆。

书架高得望不到顶,上面摆满了密密麻麻的书籍。

“第二题。”希尔伯特说,“在这个公理体系中,找出所有不包含自身集合的集合。”

萧九刚想说话,陈凡一把捂住它的嘴:“别回答!这是罗素悖论!”

林默后怕地拍拍胸口:“好险,差点中计。”

希尔伯特点点头:“有点见识。那换一个——证明这个公理体系是完备的,即所有真命题都可以被证明。”

这次连冷轩都看出问题了:“哥德尔不完备定理说,任何一个足够强大的公理体系,都不可能同时满足完备性和一致性...”

哥德尔得意地晃着脚:“没错没错,就是我这个定理!”

希尔伯特狠狠瞪了哥德尔一眼,继续对陈凡他们说:“那你们来选择——要完备性,还是一致性?”

陈凡感觉到胸口的烙印越来越烫,零留下的数据流在脑海中翻滚。他忽然明白了什么。

“我不选。”陈凡说,“完备性和一致性不是非此即彼的选择。数学不是封闭的体系,它可以扩展,可以发展...”

他伸出手,代数几何烙印的光芒在掌心凝聚:“就像无穷可以通过不同的方式来理解——潜无穷、实无穷、各种无穷基数...数学是活的,它在成长!”

随着他的话语,图书馆的书架开始震动,无数新的书籍凭空出现,书架上传来吱吱嘎嘎的扩张声。

希尔伯特第一次露出惊讶的表情:“你...你怎么会知道这些?”

陈凡没有回答,他感觉自己正在与零留下的知识融合。

那些来自观测者的、冰冷确定的数据,与他自己的理解碰撞出新的火花。

哥德尔兴奋地飘过来:“天才!这小子是个天才!第二关通过!”

空间再次变化,这次变成了一片混沌的虚空。

无数数学符号像萤火虫一样在黑暗中飞舞。

“最后一题。”三个声音同时响起,欧几里得、希尔伯特和哥德尔融合成一个发光的人形,“解释数学的本质。”

发光的人形挥手展现出一幅幅景象:远古人类在沙地上画计数符号、古希腊人在沙滩上画几何图形、现代科学家在黑板上推演公式...

“数学是人类发明,还是独立存在的真理?”发光的人形问道,“如果所有智慧生命都消失,勾股定理还成立吗?”

温馨提示:亲爱的读者,为了避免丢失和转马,请勿依赖搜索访问,建议你收藏【久久小说】 m.gfxfgs.com。我们将持续为您更新!

请勿开启浏览器阅读模式,可能将导致章节内容缺失及无法阅读下一章。

上一页 目录 下一页