“假”能推出“真”？数学中不为人知的秘密！( 二 ) _小知识

而「希尔伯特旅馆」是关于「无穷」和「集合论」的模式，人们发现数学并不只是形状和数量，还是「A属于B」这种基本的模式。
在科学中，「实践是检验真理的唯一标准」，而数学却超脱于科学之上，作为「科学的语言」的数学本身就是「真理」，并不需要实验来检验。

文章插图

大道至简，世界是五彩斑斓的图画，数学就是背后的素描骨架，寥寥数笔却决定了世界的形状。

文章插图

文章插图

佛说「色即是空」，永恒不变的东西才是真，数学就是这样真的东西。对数学家投去尊敬的目光吧，他们研究的是宇宙最基本的真理。
想看透这世间纷纷扰扰，读数学吧，「如果有人不相信数学是简单的，那是因为他们没有意识到人生有多复杂。—— 冯诺依曼」。
想有「真」本事，来学数学吧，翻开上世纪的教科书，科学已满是谬误，而数学的真理却依旧闪耀。

文章插图

▌注释
[1] → 、? 、? 经常被混用，在数理逻辑等数学中常用 ? 和 →，非数学逻辑学家(哲学家)常用 → 和 ? ，这篇文章中他们指的都是「实质蕴含」(条件) 。至于╞ 和 ├ 还要区分用法，感觉上那都是哲学家的事情。
[2] 如果A 是 B 的「必要条件」，那么就意味着，没了A，B 是真不了的，所以当「A为假」时对「B」就有约束力了，真值表就要变了。
[3] 提出者是阿尔弗雷德 · 诺斯 · 怀特海（Alfred North Whitehead,1861-1947 年），英裔美籍数学家、哲学家，因其数理逻辑、科学哲学和形而上学方面的成就而闻名于世。这人是伯特兰 · 罗素的老师。