【毕导】这个视频里说的都是真的，但你却永远无法证明

非省流总结

【毕导】这个视频里说的都是真的，但你却永远无法证明 的视频总结如下：一、数学中的悖论和矛盾，以及如何通过公理和形式语言来构建数学基础，保证数学的严谨和优雅。

二、希尔伯特的数学体系，其中包括完备性、一致性和可判定性等美好品质。同时，视频还介绍了哥德尔第一不完备性定理的证明方法。

三、如何将复杂的命题转化为哥德尔数，并使用sub a b c函数进行替换操作，最终证明了多个命题的真实性。

13:28 - 讨论符号和符号的组合，可以表达各种复杂的命题

13:57 - 哥德尔数可以表示各种复杂的命题，甚至讨论命题的命题

15:16 - 证明哥德尔数，只需要替换哥德尔数为C的符号位置四、证明了哥德尔数无法证明，即存在一个完备却无法证明的命题。此外，视频还探讨了数学不完备和人类自制的本质。

20:14 - 哥德尔数是萨博NN时期的命题，无法证明

21:46 - 任何一个包含初等算术的系统总会存在真却无法证明的命题

22:54 - 哥德尔第二不完备性定理证明了公理系统无法证明自身是否具有一致性

五、自制代码、艺术、数学等领域的趣事，以及哥德尔不完备性定理对数学的影响。同时也提到了人类的自我意识和数学的局限性。

26:56 - 自制代码的奎因，艺术领域中的玄乎概念

28:44 - 数学不完备对人类没有很大的影响，数学依然是解释世界的基本工具

31:39 - 人类在自制中意识到自我的存在，数学不完备反而让人类拥有无限的创造性

--本内容由AI视频小助理生成