贾斯汀·柯里 · 苏菲拉底
苏菲拉底
问题讲者谈话信源笔记
贾斯汀·柯里
人物档案 · MIND_003

贾斯汀·柯里

Justin Curry

美国数学家，纽约州立大学奥尔巴尼分校数学系教授。早年就读于麻省理工学院数学系，后获宾夕法尼亚大学数学博士学位。研究方向为应用拓扑学，专注拓扑数据分析与层论（sheaf theory），致力于把层与范畴论工具引入数据形态的刻画，其博士论文《Sheaves, Cosheaves and Applications》系该领域的重要文献。

他在这些问题上说过什么
Ⅰ·05复杂的整体，会产生部分没有的性质吗？11 段

少数基本构件靠组合就跃上新抽象层；单元间微小加权反馈即涌现分形与全局格局。

人由原子构成却能指称自身，与数学中无意义符号生出自指，这两个系统是同构的 MIT Godel Escher Bach Lecture 1 · 5:05 · 2012 · 追问 →
《哥德尔、埃舍尔、巴赫》对「同构」的用法远比职业数学家宽松 MIT Godel Escher Bach Lecture 1 · 8:28 · 2012 · 追问 →
可以只有物理层而没有心智层，反过来则不行，层与层的依赖是单向的 MIT Godel Escher Bach Lecture 6 · 26:57 · 2012 · 追问 →
大量简单元件组合起来，会涌现出大于各部分之和的东西 MIT Godel Escher Bach Lecture 6 · 30:26 · 2012 · 追问 →
钟摆、绳子、水面涟漪与高速公路上的堵车波背后是同一个方程 MIT Godel Escher Bach Lecture 4 · 37:25 · 2012 · 追问 →
形式系统本身并不指定唯一解释，同一套符号可以被解释成完全不同的东西 MIT Godel Escher Bach Lecture 1 · 51:42 · 2012 · 追问 →
宇宙能否被形式系统建模，与宇宙本身是不是一个形式系统，是两个不同的问题 MIT Godel Escher Bach Lecture 1 · 55:13 · 2012 · 追问 →
两种不同方法即使逼近同一个对象，也不因此就是同一个东西 MIT Godel Escher Bach Lecture 4 · 1:00:13 · 2012 · 追问 →
演化论一旦成立，生物学在原理上就已被解释完，剩下的细节不值得好奇 MIT Godel Escher Bach Lecture 6 · 1:00:27 · 2012 · 追问 →
高层次的东西可以影响甚至控制低层次的东西，因果是双向的 MIT Godel Escher Bach Lecture 6 · 1:14:35 · 2012 · 追问 →
水滴在玻璃上凝结与人类聚成社会遵循同一条规律，属于同一个普适类 MIT Godel Escher Bach Lecture 4 · 1:24:21 · 2012 · 追问 →
这一问的全部回应 →
Ⅱ·07一个词的意义究竟从哪里来？8 段
一句话的意义在于感知输入与它在大脑中激活的概念网络之间的奇异同构 MIT Godel Escher Bach Lecture 5 · 3:36 · 2012 · 追问 →
伏尼契手稿不承载真实含义，只是模仿了人类语言的统计模式 MIT Godel Escher Bach Lecture 4 · 12:16 · 2012 · 追问 →
仅凭符号出现频率的分布，就足以判别一段符号是否是可解读的语言 MIT Godel Escher Bach Lecture 5 · 16:56 · 2012 · 追问 →
一个想法要有意义，就必须是可证伪的，即有可能被判定为错的 MIT Godel Escher Bach Lecture 5 · 28:54 · 2012 · 追问 →
专业术语对初学者和长期钻研者的含义并不相同，理解的深度无法靠听讲获得 MIT Godel Escher Bach Lecture 5 · 56:33 · 2012 · 追问 →
两种语言中的词即使指向同一场景，背后的概念网络也可能完全不同，等价关系并不成立 MIT Godel Escher Bach Lecture 3 · 59:24 · 2012 · 追问 →
说话人的意思与听话人的理解从来不是完全同一回事 MIT Godel Escher Bach Lecture 3 · 1:00:04 · 2012 · 追问 →
有意义的图像和随机涂鸦编码所需位数相当，信息熵因此无法度量意义 MIT Godel Escher Bach Lecture 4 · 1:40:37 · 2012 · 追问 →
这一问的全部回应 →
Ⅱ·13所有真理都能够被证明吗？5 段
要谈论或指称某样东西，必须跳到它之外、站在它以外的位置 MIT Godel Escher Bach Lecture 3 · 21:00 · 2012 · 追问 →
哥德尔句为真，当且仅当它不可证明 MIT Godel Escher Bach Lecture 3 · 24:07 · 2012 · 追问 →
哥德尔句本身并不是一个数学内部的陈述 MIT Godel Escher Bach Lecture 3 · 24:19 · 2012 · 追问 →
可证明性可以被捕捉成数的一种性质，如同素性是数的性质 MIT Godel Escher Bach Lecture 3 · 27:20 · 2012 · 追问 →
元思考是跳到系统之外对系统本身作出判断，其内容无法用系统内部的规则表达 MIT Godel Escher Bach Lecture 1 · 38:59 · 2012 · 追问 →
这一问的全部回应 →
Ⅰ·04数学是被发现的，还是被发明的？3 段

公理只规定符号间关系，解释才把它接到世界；不同描述逼近同一对象，才提示更深实在。

数学是人类最确定可靠的知识来源，数学若有缺陷，人类认识真理就无望了 MIT Godel Escher Bach Lecture 3 · 9:45 · 2012 · 追问 →
理发师悖论源自集合论，动摇了集合论作为可靠知识基础的地位 MIT Godel Escher Bach Lecture 3 · 11:01 · 2012 · 追问 →
若把加法定义为雨滴相遇，1 加 1 就等于 1，算术的真值取决于所建立的基础 MIT Godel Escher Bach Lecture 3 · 13:13 · 2012 · 追问 →
这一问的全部回应 →
Ⅱ·05能给出正确答案，就意味着真正理解了吗？2 段
创造新概念、给出新定义并添加新公理，无法由机械流程完成，只能依靠人类智慧 MIT Godel Escher Bach Lecture 6 · 8:59 · 2012 · 追问 →
人类根本上不是图灵机而计算机是，因此人工智能不可能实现 MIT Godel Escher Bach Lecture 6 · 15:25 · 2012 · 追问 →
这一问的全部回应 →
Ⅰ·08什么是「我」？2 段

「我」的边界随描述层次移动：只有含内部模型的部分算数；自指可由无意义符号生出。

自我模型依赖于自己的身体，以及身体与环境的互动 MIT Godel Escher Bach Lecture 6 · 34:23 · 2012 · 追问 →
意识不可能是真正连续的，因为神经信号传递需要时间，连续感只是错觉 MIT Godel Escher Bach Lecture 6 · 1:39:01 · 2012 · 追问 →
这一问的全部回应 →
Ⅱ·11第一人称经验可靠吗？2 段
人类常自称思维合乎逻辑，但实际的思考多半不是逻辑推导 MIT Godel Escher Bach Lecture 1 · 43:00 · 2012 · 追问 →
每理解自己的一部分，就又生出尚未理解的部分，人永远无法完全理解自己 MIT Godel Escher Bach Lecture 6 · 1:25:59 · 2012 · 追问 →
这一问的全部回应 →
Ⅰ·01什么是真实的？2 段
古希腊人比牛顿和莱布尼茨更清醒，看出无穷多个无穷小相加得出有限量在概念上说不通 MIT Godel Escher Bach Lecture 3 · 45:09 · 2012 · 追问 →
现实中的粒子可以处在无穷多个位置上，空间是模拟与真实的分界 MIT Godel Escher Bach Lecture 4 · 1:33:28 · 2012 · 追问 →
这一问的全部回应 →
Ⅱ·01知识从哪里来？2 段
人类极不擅长执行递归，这本身构成对递归是智能核心这一说法的反证 MIT Godel Escher Bach Lecture 3 · 54:55 · 2012 · 追问 →
深蓝战胜卡斯帕罗夫恰恰表明，人类下棋靠的是直觉，而非分析式的解题 MIT Godel Escher Bach Lecture 3 · 56:00 · 2012 · 追问 →
这一问的全部回应 →
Ⅰ·06心智本质上只是信息处理吗？1 段
存在一些人类知道为真、却无法在系统内被证明的真理 MIT Godel Escher Bach Lecture 3 · 6:30 · 2012 · 追问 →
这一问的全部回应 →
Ⅰ·10人真的拥有自由意志吗？1 段
若身体的每个原子都由物理定律支配，自由意志就无处安放 MIT Godel Escher Bach Lecture 1 · 54:50 · 2012 · 追问 →
这一问的全部回应 →
其他论点17 段
《哥德尔、埃舍尔、巴赫》的真正主题并不是数学 MIT Godel Escher Bach Lecture 1 · 1:42 · 2012
数学可以被还原成一堆毫无意义的符号操作 MIT Godel Escher Bach Lecture 1 · 4:14 · 2012
数学中的自指如何从无意义的符号中产生，人类已有严格的理解 MIT Godel Escher Bach Lecture 1 · 4:56 · 2012
意义理论几乎不可能有一个形式化的、数学式的单一解释 MIT Godel Escher Bach Lecture 5 · 5:38 · 2012
学外语最大的障碍是把连续语流切分成词的能力，而不是记住词义 MIT Godel Escher Bach Lecture 4 · 5:41 · 2012
数学真理关乎抽象对象，不属于感知层面，无法靠观察来验证或推翻 MIT Godel Escher Bach Lecture 3 · 12:24 · 2012
语言中的模式并非源于人脑的限制，因为DNA作为一种语言也呈现出相同的模式 MIT Godel Escher Bach Lecture 5 · 15:23 · 2012
科学所做的一切无非是逆向工程：把现象的算法信息量压到尽可能低 MIT Godel Escher Bach Lecture 5 · 21:30 · 2012
关于意义的理论只有借助信息论才能得到数学上严谨的回答 MIT Godel Escher Bach Lecture 4 · 30:56 · 2012
人真正拥有的永远只是心智模型，形式化的意义在于检验定义是否涵盖了想要的东西 MIT Godel Escher Bach Lecture 5 · 32:20 · 2012
物理学乃至整个科学本质上是逆向工程：从输出反推背后的机制 MIT Godel Escher Bach Lecture 4 · 33:06 · 2012
看出一个从未被认作系统的系统需要极罕见的眼光，往往要用一生说服他人跳出来 MIT Godel Escher Bach Lecture 1 · 39:59 · 2012
社会习俗与文化本质上是形式游戏，握手只是形式规则的一个实例 MIT Godel Escher Bach Lecture 1 · 40:08 · 2012
练习形式系统的价值在于接纳新符号、在神经网络里为其腾出位置这一过程本身 MIT Godel Escher Bach Lecture 5 · 55:35 · 2012
唯一能完整给宇宙建模的只有宇宙自身，完整模拟需要一台与宇宙等大的计算机 MIT Godel Escher Bach Lecture 6 · 1:28:39 · 2012
宇宙在根本层面上是一个形式系统，遵循确定性或概率性的规则 MIT Godel Escher Bach Lecture 5 · 1:35:09 · 2012
意识问题至今未解，说明侯世达用形式系统解释心智的思路并未被彻底贯通 MIT Godel Escher Bach Lecture 5 · 1:36:47 · 2012
← 上一份档案曼纽尔·卡斯特 下一份档案 →陶哲轩
苏菲周报 · THE WEEKLY 每周一封，
追问一个大问题。 苏菲拉底的每周来信，写这一周在追问的问题和看到的回应。
苏菲拉底
ASK THE BIG QUESTIONS · THINK DEEPLY · SEE THE WORLD DIFFERENTLY
苏菲拉底微信公众号二维码 微信公众号
© 2026 苏菲拉底 · 内容仅供学习 [email protected]