【毕导】这个视频里说的都是真的，但你却永远无法证明
1075.3万 12.0万 2023-08-31 · BV19u4y1D7GT
清晰度 360P 流畅 高清请在 B站打开 · 嵌入播放器由 B站提供
视频简介 · 展开更多
相信大家一定都非常喜欢学习数学吧！因为我们觉得数学是一门完美的学科，它清楚明白、对错分明！
然而20世纪初一些诡异的悖论引发的研究表明，数学在底层可能并不完备。数学中一定存在着永远无法证明的真理，这就是著名的哥德尔不完备性定理。
好久没更新了，今天这期视频比较长，如果哪位有缘人耐心地看完了，请在评论区打出一个sub(n,n,17)！
来自社区的 5 条推荐
推荐以短摘录展示，点击原文阅读完整内容。
在问题「看了毕导的年更新视频sub(n,n,17)之后，你有何感想？」下
▶这个视频 ：数学mathematics一词来自古希腊语μάθημα (máthēma)没错，但是μάθημα并不是动词“学习”，而是名词“学到的知识”。早在柏拉图的《法律篇》中，就曾经将算术、几何、…
在问题「电影《奥本海默》有哪些看似不经意，但却很重要或别有深意的细节？」下
[^5]: [^6]: [^7]: 哥德尔 - 维基百科 — [^8]: ▶这个视频
在问题「看了毕导的年更新视频sub(n,n,17)之后，你有何感想？」下
首先，关于 $\mathrm{sub}{\left(n, n, 17\right)}$ 这个数的构造的基石是命题和将其中变元代换为值的过程。然而，在毕导的视频中对于“命题”的概念使用的过于宽泛，甚至涵…
在问题「如何评价《明日方舟》4.5周年感谢庆典直播内容？」下
哥德尔是著名的数学家，他一生最为知名的数学成就就是哥德尔不完备定理，从根本意义上否认了一套完整的逻辑体系内所有命题都是一定可以被证明的，并且在他证明自己的定理的过程中，他的论证方式非常近似于公式的无限…
在问题「有些地方避讳4这个数字，为啥不把4改成2²或√16？」下
（这里放一下链接） ▶这个视频