回应
按立场分组 · 点上方立场只看那一组
可证性也是数的性质可证明性和素性一样是数的性质，这类陈述就在数学之内
哥德尔定理本身是数学定理，却确立了关于数学的元数学结论
▶ 15:08丽贝卡·戈尔茨坦INCOMPLETENESS: The Proof and Paradox of Kurt Godel, Dr. Rebecca Goldstein, Harvard2018
《数学原理》里对符号串的全部操作，都可以改写成对大整数的操作
▶ 38:10道格拉斯·霍夫施塔特Limits of Logic: The Gödel Legacy2016
「是不是定理数」和「是不是素数」一样，是一个完全数学化的概念
▶ 46:58道格拉斯·霍夫施塔特Limits of Logic: The Gödel Legacy2016
可证明性可以被捕捉成数的一种性质，如同素性是数的性质
▶ 27:20贾斯汀·柯里MIT Godel Escher Bach Lecture 32012
谈自身必须站到系统外谈论系统自身的陈述必须站到系统之外，不属于数学内部
要谈论或指称某样东西，必须跳到它之外、站在它以外的位置
▶ 21:00贾斯汀·柯里MIT Godel Escher Bach Lecture 32012
哥德尔句本身并不是一个数学内部的陈述
▶ 24:19贾斯汀·柯里MIT Godel Escher Bach Lecture 32012
元思考是跳到系统之外对系统本身作出判断，其内容无法用系统内部的规则表达
▶ 38:59贾斯汀·柯里MIT Godel Escher Bach Lecture 12012
苏菲周报 · THE WEEKLY
每周一封，
追问一个大问题。 苏菲拉底的每周来信，写这一周在追问的问题和看到的回应。
追问一个大问题。 苏菲拉底的每周来信，写这一周在追问的问题和看到的回应。
苏菲拉底
ASK THE BIG QUESTIONS · THINK DEEPLY · SEE THE WORLD DIFFERENTLY
微信公众号
© 2026 苏菲拉底 · 内容仅供学习
[email protected]