回应
按立场分组 · 点上方立场只看那一组
统一基础数学要靠一个统一可靠的基础才立得住
数学各分支之间能互相借用结果而不自相矛盾，靠的是集合论这样一个统一基础的存在
▶ 2:21:36乔尔·大卫·哈姆金斯Infinity, Paradoxes, Gödel Incompleteness & the Mathematical Multiverse | Lex Fridman Podcast #4882025
算术概念可以用纯逻辑语汇定义，算术命题可以从纯粹逻辑前提推导出来
▶ 4:30A. J. 艾耶尔Frege, Russell, & Modern Logic - A. J. Ayer & Bryan Magee (1987)1987 · 传于 2023
数学是人类最确定可靠的知识来源，数学若有缺陷，人类认识真理就无望了
▶ 9:45贾斯汀·柯里MIT Godel Escher Bach Lecture 32012
基础多重基础不止一个，真理随所选基础而不同
一个数学问题被证明独立于 ZFC，恰恰说明它问对了而不是问错了
▶ 2:30:59乔尔·大卫·哈姆金斯Infinity, Paradoxes, Gödel Incompleteness & the Mathematical Multiverse | Lex Fridman Podcast #4882025
并不存在唯一的集合论实在，而是有诸多真理各异的集合论宇宙
▶ 2:35:18乔尔·大卫·哈姆金斯Infinity, Paradoxes, Gödel Incompleteness & the Mathematical Multiverse | Lex Fridman Podcast #4882025
若把加法定义为雨滴相遇，1 加 1 就等于 1，算术的真值取决于所建立的基础
▶ 13:13贾斯汀·柯里MIT Godel Escher Bach Lecture 32012
无需基础严格的基础既不牢靠，也不是数学成立的前提
数学不需要稳固严格的基础，也能获得经久不衰的重大洞见
▶ 2:38:24乔尔·大卫·哈姆金斯Infinity, Paradoxes, Gödel Incompleteness & the Mathematical Multiverse | Lex Fridman Podcast #4882025
把全部数学从一套逻辑前提中推导出来，这项工程不可能彻底完成
▶ 5:54A. J. 艾耶尔Frege, Russell, & Modern Logic - A. J. Ayer & Bryan Magee (1987)1987 · 传于 2023
理发师悖论源自集合论，动摇了集合论作为可靠知识基础的地位
▶ 11:01贾斯汀·柯里MIT Godel Escher Bach Lecture 32012
苏菲周报 · THE WEEKLY
每周一封，
追问一个大问题。 苏菲拉底的每周来信，写这一周在追问的问题和看到的回应。
追问一个大问题。 苏菲拉底的每周来信，写这一周在追问的问题和看到的回应。
苏菲拉底
ASK THE BIG QUESTIONS · THINK DEEPLY · SEE THE WORLD DIFFERENTLY
微信公众号
© 2026 苏菲拉底 · 内容仅供学习
[email protected]