第0292章 从逻辑学到数学（第2/3页）

这是所有人的疑惑，缺少了一个参照，从而缺少一个条件。

徐茫笑了笑，默默地说道：“你们可能没有发现密码按键上的磨损情况，我就是参照了这个磨损情况，从而进行推断。”

磨损情况？

还别说，

仔细看真的发现略微有些暗淡。

但是，

不凑近看根本发现不了，他是怎么看到的？

“不对呀！”

“之前你也没有靠近密码柜，你是怎么发现这个问题的？”某一位学生说道：“我站着这么近，都发现不了。”

“因为你是学霸！”

“而我过去是学渣！”徐茫突然涌上一股久违的学渣自豪感。

学渣，

拥有一种与生俱来的特殊能力，他们的视力非常好，隔着一米的空档，学渣可以凭借瞥一眼的机会，对附近同学们考卷上的答案，进行完美的复制。

的确，

不仔细看是发现不了，然而徐茫凭借近十年的经验，准确分辨别出按键上油漆的色差问题。

不得不说，

有时候学渣经历还是挺管用的。

只是……

在场的人们对徐茫的回答有些迷茫，这学渣和视力还能挂钩？

在此之后，

包括徐茫在内的这群极度无聊的数学人士，就数学是否达到完美的公理推演，是否可以保证其内部不存在矛盾，这一系列问题展开了激烈的辩论。

目前数学是存在公理化的局限性，数学证明的程序有些是无法确定与形式公理的程序相符。

就以密码柜来言，

纯粹的数学是不可能得到一个完美的答案，然而依靠人的主观思维能够得到一个完美的解，这个解却无法用数学来表达。

因此，

这一群无聊的数学人士形成了两方，一方式认为数学不可能达到完美的公理推演，有些问题必然存在内部矛盾，而另一方认为未来数学一定可以达到完美的公理推演，且不存在矛盾。

双方开始相互较劲，甚至有动手的可能。

最终徐茫站了出来。

在他的理念中，人类的智慧是不可能被完全的公式所代替，比如自己用行为心理学，破解了密码柜的这个过程，是没有任何公式可以表的达。

因此，

对形式系统来言，‘可证明’是可以机械式的来实现，但‘真’则需要进一步的思想去考虑。

可证明的命题一定是真的，但真的命题不一定是可证明的。

很可惜……徐茫的这番言论，并没有起什么效果，反而让双方的矛盾更加扩散，差点没真打起来……

不久，

人群在不欢中散去，而徐茫的麻烦才刚刚开始。

“嘿嘿嘿！”

“以后家里我管钱了呀。”徐茫一脸嘚瑟地看着小曼，得意洋洋地说道：“洗衣做饭拖地都要学会，知道了吗？不然把你买化妆品的钱扣了！”

“哼！”

“你再说一遍，家里谁管钱？”杨小曼不屑地说道：“我有答应过你什么吗？”

徐茫：Σ（°△°|||）︴

不好！

小曼这是打算要翻脸不认人啊！

怎么办？

“我……”

“我有录音。”徐茫打开了手机录音，然后出现了小曼夸下海口的片段。

但是，

在铁一样的证据面前，杨小曼却不为所动，淡然地说道：“这是假的！”

徐茫缩了缩脑袋，他知道小曼这是打算赖账，但又没有什么办法，谁让自己打不过她呢……

想想自己的老妈，

想想过去自己的那些压岁钱，说什么先帮你存着，想要就问妈来拿。

第二天去拿钱，结果被反问，你有压岁钱吗？

唉……

女人呀！

“那我的一周两次的通宵呢？”徐茫问道：“算不算？”

“你觉得呢？”杨小曼高傲地说道。