Math's Fundamental Flaw
7 人推荐 · 跨 7 个月 · 2021–2024
中文导读
知名科普顶流 Veritasium 深入浅出的思想实验大片，梳理集合论危机、希尔伯特计划，并一路延伸到图灵与现代计算科学的诞生，通俗拆解了哥德尔不完备定理与数学自指证明的内核边界。
为什么 HN 推它
被广泛推崇的科普范本，把极度晦涩的不完备定理与自指逻辑讲得通透生动。
「Veritasium 这期讲得真叫一个清楚透彻。」HN 网友原话：I found Veritaseum's video about it really clear and instructive
英文原摘要（HackerTube / Claude 整理）
Veritasium's explainer on Godel's incompleteness theorems and the limits of mathematical proof, tracing set theory, Hilbert's program and the road to Turing and modern computing.
HN commenters recommend it as a clear, accessible introduction to incompleteness and the self-referential proof idea.
HN 上的提及
gives a pretty fair account of how we settled on the current fashionable foundations of Math
this video gives a nice overview of soundness and completeness, in the context of logic
Companion video to the infinite hotel one
Veritasium recently released a very good video
Video explaining the incompleteness proof