手机浏览器扫描二维码访问
第726章 希尔伯特第一问（第5页）
『我们必须知道，我们必将知道。』
这是希尔伯特的名言，以此作为对那些信奉不可知论之人的反击。
他认为每一个确定的数学问题必定能得到一个准确的回答：
或者给所提问题以实际的肯定答案；或者证明问题是不可能的，因此所有企图证明它成立的努力必然失败。
所有的数学问题或者为真，或者为假，不存在其他情况。
李恒看向阿基里斯肩膀上写着“排中律”字样的小便签。
“在数学中有两种证明，一种叫做构造性证明，它会给出具体的例证。”
“另一种则叫做非构造性证明，或者称作存在性证明，它所使用的规则就是排中律。”
“希尔伯特就是非构造性证明的大师。”
“利用排中律和反证法，即使并不知道具体的对象到底是什么，也能证明它存在。”
“连续统问题的本质就与排中律有关。”
“戴德金分割用有理数分割定义实数，并没有给定一些得以构造出集合A和B的数学规则。”
“『如果数轴可以划分为A和B』，却没有给出任何可以实际构造出这些集合的方法或程序，”
“无论如何，这些集合实际上是不可构造或验证的。”
“不仅如此，康托尔证明实数集C、自然数集的幂集?1等等集合是不可数无穷时使用的也是反证法，依赖于排中律。”
阿基里斯从那写着“我们必须知道，我们必将知道”的叶片上收回目光，看向自己肩膀上贴着的便签。
“排中律有问题？”
在不可数无穷上遇到的困难似乎就是源于排中律。
一个数学命题为真，或者为假，这应该是理所当然的。
“没错，排中律就是第三次数学危机的源头。”
“更深入的说，是排中律隐藏着的人类最基础的逻辑问题。”
李恒抬手敲了敲墓碑上的黑白照片道：
“说谎者悖论、上帝全能悖论、理发师悖论等等。”
“所有这些悖论的本质都是自我指涉问题。”
“『我说的这句话是谎话』，这句话是真是假？”
如果说的是真话，这句话就是谎话。
如果这句话是谎话，那么这句话就是真话。
这个古老的逻辑悖论就是第三次数学危机的根源。
它在康托尔的朴素集合论中被放大，成为了一个必须解决的问题。
喜欢触手怪的宇宙之旅请大家收藏：（）触手怪的宇宙之旅
我的室友不对劲 我真不想修行啊 殡葬异事录 五浔之外 摘星手记 大乾佛主 恶魔天使 游历万界的永生者 诡秘世界我能逢凶化吉 山村大闲人 重生我的老婆是天后 七零之重组家庭的小女儿 狙击战神 特种兵：我成了全球特战教父 我媳妇是医圣传人 奥特曼之黑暗星纹 分开后偏执大佬缠上我了 穿越之直上青云 大梦王 开局人间体
重生最强妖兽
系统流爽文古有黑蟒，百年后化腾蛇，千年后变蛟，万年后化龙，可遨游九天十地，统领六合八荒。三千年前，人族仙尊林昊斩妖无数，却遭逆徒暗算，被人族围攻致死。三千年后，林昊重生于一条黑蟒身上，以妖证道，开启了一段逆天化龙之路。书友群565412325...
极品仙师
市一高新丁黄景耀因得罪骨干教师被恶意针对，不堪受辱辞职后意外得到仙家至宝。重新执教县一高，左手录运簿册掌天下文章，可查看每一个学生学习天赋，提升天赋。右手文昌大印掌考场气运，财富官运。教师以教育水平和升学率为本，黄景耀渐渐发现他的本钱雄厚的有些令人发指，一次次撼动整个教育界，又远不止单一的教育界。...
我夺舍了魔皇
陈洛阳感觉自己穿越的姿势不对。 穿越过来，居然把世间最顶尖强者，尊号魔皇的魔教教主给夺舍了。 一般不都是有大能强者出意外，剩下顽强的一缕神魂不散，然后...
伪我独尊大雁捕蝉
一种能帮忙泡妞的异能会给主角的人生带来怎样的奇遇？很简单，进来一看便知！...
1号新妻：老公，宠上瘾！
被继母逼迫，她走投无路，和神秘富豪签定协议嫁进豪门。婚后三年，富豪老公把她宠上天。只除了没有生下继承人。豪华别墅里，裴七七气愤地将报纸砸在男人身上这上面说我是不下蛋的母鸡，唐煜，明明就是你的问题。男人放下报纸，一本正经地赞同小妻子的话怎么能乱写呢，你分明属猪！唐！煜！她气得跳脚！男人轻笑有没有孩...
都市寻艳录
身世坎坷历经沧桑人间情意究竟为何物？妈妈是什么？奶奶是什么？姑姑婶婶又是什么？也许，都是女人罢了。你们给了我们生活的必须，但是她们没有给我们家庭的温暖，因此从理智上我们应该感激你们的，可是感情上很多时候是会出现偏差的。我喜欢熟女喜欢年龄稍大的女人当然是女人我都会喜欢当然是那种好女人...