Math's Fundamental Flaw
Veritasium在 YouTube 播放 ↗
档案导读
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.
档案英文原文 · 来自 HackerTube 开放档案，暂未收录字幕分析。