Math's Fundamental Flaw
Veritasium · 7 則 HN 推薦
影片問答
可以請 AI 解釋目前片段,或總結整部影片。如果回答附有時間戳記,點選即可跳到對應片段。
試著問:這裡講的是什麼意思?
需使用 Google 登入。確認前可查看最多會扣除多少點數。
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 推薦的原因: HN commenters recommend it as a clear, accessible introduction to incompleteness and the self-referential proof idea.
“I found Veritaseum's video about it really clear and instructive” 閱讀 HN 討論 ↗