PickVidsMath's Fundamental Flaw
推荐理由
I found Veritaseum's video about it really clear and instructive
说明
这是2021年由Veritasium发布的一部讲解，主题归在Logic & formal methods。它讲的是godel incompleteness这一支里的具体问题，而不是把整个领域扫一遍。适合按兴趣直接看、不打算先补课的人。内容上可以概括成：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.讲法不绑某一条新闻，过几年仍然可以当材料看。从2021年到2024年，有7位不同的读者在7个不同月份把它推荐出来，其中明确叫别人去看的有1次。适合用一集把一个概念补上的人。抓住它用的那个图像或类比，比背公式重要。如果已经会了基本定义，就把注意力放在它怎么把godel incompleteness变成能跟着复述的例子。
视频信息
- 频道
- Veritasium
- 时长
- 34 分
- 发布年份
- 2021