视频目录 / 数学逻辑、集合与证明

热度排名 #1172

金森晶弘谈哥德尔与罗素｜逻辑与集合论

Akihiro Kanamori – Gödel vis-à-vis Russell: Logic and Set Theory

这场与朱丽叶·弗洛伊德的哲学报告相配。此处从逻辑和集合论入手，留意不同基础体系怎样组织数学对象和证明。

UConn Logic Group · 1 串讨论 · 热度 2.181

在此播放

讨论出处

• Reddit · GECLM · r/philosophy · 原讨论 ↗2017-02-28 · 评论分数 2