将本站设为首页
收藏礼乐官网,记住:www.lilegou.net
账号:
密码:

礼乐书院:看啥都有、更新最快

礼乐书院:www.lilegou.net

如果你觉得好,恳请收藏

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

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

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

学渣,

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

的确,

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

不得不说,

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

只是...

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

在此之后,

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

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

就以密码柜来言,

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

因此,

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

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

最终徐茫站了出来。

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

因此,

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

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

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

不久,

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

“嘿嘿嘿!”

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

“哼!”

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

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


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

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

别叫我恶魔
作者:弈青锋
简介: 神圣天门横立苍穹,时空魔渊涂炭人间,当大地涌出十二座灵泉,当月亮不再属于人类…我们又...
更新时间:2025-02-02 12:03:00
最新章节:第1692章 夏日绝响
手机连未来,破产又何妨
作者:秋分之时
简介: 玩查找附近的人,未来的自己打招呼过来,给了陆凡一个暴富的机会。

...
更新时间:2025-02-02 12:01:00
最新章节:第一卷 第1997章 不断出现意外!
开局移植妖魔心脏,成为绝世凶物
作者:沙茶面
简介: (多女主,亦正亦邪)\n拥有混沌圣体的方凌,自出生后就被各方势力争相抢夺,心脏、右眼...
更新时间:2025-02-02 12:00:27
最新章节:第1770章 月寇夫人的过往
综影视之我为女配平遗憾
作者:繁华灯下的寂寥
简介: 羽嘉,鸿蒙四大创世神兽之一,地位极高,为百鸟之王,是世界上所有鸟类的祖先,在创始之初...
更新时间:2025-02-02 12:22:23
最新章节:第1166章 明玉1
从机械猎人开始
作者:虫梦
简介: 狗日的NPC又顺着网线来抓人啦!好不容易苟到游戏末期的高工,环顾四周,却发现玩家们销...
更新时间:2025-02-02 11:41:00
最新章节:第四百一十九章 文明选择
离婚后前妻成债主第二季
作者:啊欢
简介: 之前的一本书。很多书友宝子说有点意犹未尽。想着既然最近闲,就写一点儿。
更新时间:2025-02-02 11:26:00
最新章节:第1367章 不就是折磨人么