【毕导】这个视频里说的都是真的,但你却永远无法证明 | 4K
相信大家一定都非常喜欢学习数学吧!因为我们觉得数学是一门完美的学科,它清楚明白、对错分明!
然而20世纪初一些诡异的悖论引发的研究表明,数学在底层可能并不完备。数学中一定存在着永远无法证明的真理,这就是著名的哥德尔不完备性定理。
好久没更新了,今天这期视频比较长,如果哪位有缘人耐心地看完了,请在评论区打出一个sub(n,n,17)!
#数学 #悖论
相信大家一定都非常喜欢学习数学吧!因为我们觉得数学是一门完美的学科,它清楚明白、对错分明!
然而20世纪初一些诡异的悖论引发的研究表明,数学在底层可能并不完备。数学中一定存在着永远无法证明的真理,这就是著名的哥德尔不完备性定理。
好久没更新了,今天这期视频比较长,如果哪位有缘人耐心地看完了,请在评论区打出一个sub(n,n,17)!
#数学 #悖论
Пікірлер: 625
学到很多, 谢谢您...............李永乐老师
我为什么要进来自取其辱😂
只有破除“我执”才能越过数学在人类思维里构建的心魔 😂
不知道为什么我哭了,因为发现我高考丢的分和数学不完美没关系。
180绝对不是你的身高😂有可能是你的长度😊
感谢毕导的分享,我觉得我们的教育中太缺少这些有趣的视频资料了。让孩子们多看看这样的视频真的是很有趣很有帮助的。至少比浪费时间看那些指明方向用的什么什么思想要有用得多。
Amazing 啊 毕导❤
啊,我睡醒了,啊,还没讲完吗。。。哦,你在尝试在我的大脑里装一个新的系统替换所有之前的逻辑。。。注意,不是新的程序而是直接重装了新的操作系统。。。啊。。。(蓝屏了。。。)
也就是说不会有天网终结者什么的了,好像我又莫名的安心了🤣
自指在数学里不是bug, 只是还没深入研究的课题,还有很多悖论 都可以是未来数学发展的方向。🎉 要是一个大牛出来 把所有数学 道理全挖干净了 才是悲剧啊
這個視頻向我證明了一件事,數學不會就是不會。
毕导的命題是這段影片小學二年級都能聽懂,但實際卻推導出了這段小學二年級不可能聽得懂的影片,故我們產生出了語言體系是有缺陷而不完備,無法敘述世界中任何事情的結論。而這種不完備性恰好是語言當中有趣和幽默的所在。
那個分解後是前幾個質數的分別7 6 11 7 6 5 7 7 6次方,
字幕好有趣 🤣🤣
他竟然認真的想要教會我們,我先睡了
可以这么理解容易一点。
從一開始就聽不懂,但還是耐心看完全部了,看完才知道數學不只是數學,還包含了哲學和大智慧,數學不只是科目,也教會大家接納了不完美的自己,結論下的很棒,謝謝畢導
我的理解是,最後繞出來的命題就是:「不能證明本命題為真」。sub(n,n,17)和質數編碼目的是將「本命題」這個抽象概念用數學語言翻譯出來。「不能證明sub(y,y,17)為真」是個沒有實質命題意義的模板,是一段不構成意義的話,並得到一個大數n,目的是給sub(n,n,17)當模板,y替換為大數n後,sub(n,n,17)這個命題才是有意義的命題。說「不能證明sub(y,y,17)為真」是一段沒有意義的句子,是因為y是一個沒有定義,沒有意義的字母。比如「存在y,使得不能證明sub(y,y,17)為真」才是有意義的命題。但「不能證明sub(y,y,17)為真」只是一個當模板用的句子。
我很久沒有這麼茫然又充實的看完一個長影片了(體感很長)
這期真好 👍