【数理逻辑】不完备性： 哥德尔的证明及悖论（Dr. Rebecca Goldstein）

[视频作者] 哥德爾與貓

[视频时长] 118:33

[视频类型] 科学科普

https://www.youtube.com/watch?v=QjFyKUDmUhU&t=3742s "The remarkable theorem of incompleteness uncovered an unbridgeable gap in all attempts to systematize mathematical reasoning, a result that appears almost paradoxical." Kurt Gödel is considered th