将本站设为首页
收藏爱普官网,记住:www.ipude.com
账号:
密码:

爱普书院:看啥都有、更新最快

爱普书院:www.ipude.com

如果你觉得好,恳请收藏

您当前的位置:爱普书院 -> 我真不想躺赢啊 -> 第二百九十二章 从逻辑学到数学(1/3)

第二百九十二章 从逻辑学到数学(1/3)

温馨提示:如果本章属于内容错误等情况,请点击下面的按钮发送报告,我们会在一分钟内纠正,谢谢

学渣,

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

的确,

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

不得不说,

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

只是...

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

在此之后,

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

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

就以密码柜来言,

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

因此,

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

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

最终徐茫站了出来。

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

因此,

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

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

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

不久,

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

“嘿嘿嘿!”

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

“哼!”

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

徐茫:Σ(°△°|||)︴


  本章未完,请点击下一页继续阅读!

看了《我真不想躺赢啊》的书友还喜欢看

长空战旗
作者:康斯坦丁伯爵
简介: 3000小时空战游戏时长的王礼被扔到了一个气态巨星表面的世界,这是个所有人都生活在飞...
更新时间:2026-03-03 23:00:00
最新章节:第87章 可怕的约瑟芬(求月票)
海贼:人为刀俎,我为天龙
作者:开心果人111
简介: 一朝穿越天龙人,尽享海贼繁华事。\n品最烈的酒,奴最强的人,尝最美的人。
<...
更新时间:2026-03-03 23:17:28
最新章节:第767章 你有没有再听啊!
诸天:开局拐走雄霸之女幽若
作者:一个大兵55
简介: 觉醒穿越诸天的超能力,空降风云世界湖心小筑,开局被幽若用剑指着脖子。
更新时间:2026-03-03 23:30:23
最新章节:第197章指点灵感大王,得《黑水诀》
重生八零,苏小姐杀疯了
作者:倾城五儿
简介: 苏瑶死前才知道,自己一辈子未婚。她被江家骗了一辈子,为江家奉献了自己的一辈子。
更新时间:2026-03-03 23:27:00
最新章节:第175章 离了
被休后,每日情报助我熬过荒年
作者:慕莲莲
简介: 灾荒+系统+日常流+发家致富+极品不多+无空间\n李木槿在末世挣扎求生了一年,死于饥...
更新时间:2026-03-03 23:35:18
最新章节:第371章 他是谁?
顶级驯服
作者:南巷茶茶
简介: 【阴暗偏执野心家VS高岭之花下神坛】……陈迦是被人抱错的真千金。

...
更新时间:2026-03-03 23:23:47
最新章节:第72章 豪赌