苏菲拉底 THE SOPHIE LAB
文库 问题 头脑 手记 关于
文库

Limits of Logic: The Gödel Legacy

数学能否被彻底形式化，用一套规则穷尽所有真理？「这句话是假的」如何被翻译成数学语言，动摇整个体系？
来源：https://www.youtube.com/watch?v=V9ohtKameio · 内容由苏菲拉底翻译整理，仅供个人学习使用

这期还没有生成总结。

这期还没有生成核心句型（制作精读 PDF 时会一并生成）。

这期还没有生成生词表（制作精读 PDF 时会一并生成）。

这期还没有生成自测题（制作精读 PDF 时会一并生成）。

苏菲拉底 向最好的头脑提问 · ASK THE BEST MINDS 一人，一实验室 · 关于 →