可以凭借瞥一眼的机会,对附近同学们考卷上的答案,进行完美的复制。
的确,
不仔细看是发现不了,然而徐茫凭借近十年的经验,准确分辨别出按键上油漆的色差问题。
不得不说,
有时候学渣经历还是挺管用的。
只是
在场的人们对徐茫的回答有些迷茫,这学渣和视力还能挂钩?
在此之后,
包括徐茫在内的这群极度无聊的数学人士,就数学是否达到完美的公理推演,是否可以保证其内部不存在矛盾,这一系列问题展开了激烈的辩论。
目前数学是存在公理化的局限性,数学证明的程序有些是无法确定与形式公理的程序相符。
就以密码柜来言,
纯粹的数学是不可能得到一个完美的答案,然而依靠人的主观思维能够得到一个完美的解,这个解却无法用数学来表达。
因此,
这一群无聊的数学人士形成了两方,一方式认为数学不可能达到完美的公理推演,有些问题必然存在内部矛盾,而另一方认为未来数学一定可以达到完美的公理推演,且不存在矛盾。
双方开始相互较劲,甚至有动手的可能。
最终徐茫站了出来。
在他的理念中,人类的智慧是不可能被完全的公式所代替,比如自己用行为心理学,破解了密码柜的这个过程,是没有任何公式可以表的达。
因此,
对形式系统来言,‘可证明’是可以机械式的来实现,但‘真’则需要进一步的思想去考虑。
可证明的命题一定是真的,但真的命题不一定是可证明的。
很可惜徐茫的这番言论,并没有起什么效果,反而让双方的矛盾更加扩散,差点没真打起来
不久,
人群在不欢中散去,而徐茫的麻烦才刚刚开始。
“嘿嘿嘿!”
“以后家里我管钱了呀。”徐茫一脸嘚瑟地看着小曼,得意洋洋地说道:“洗衣做饭拖地都要学会,知道了吗?不然把你买化妆品的钱扣了!”
“哼!”
“你再说一遍,家里谁管钱?”杨小曼不屑地说道:“我有答应过你什么吗?”
徐茫:Σ︴
不好!
小曼这是打算要翻脸不认人啊!
怎么办?
“我”
“我有录音。”徐