7
0Shownotes：
本期嘉宾
- Manuel Blum：1995年图灵奖得主，计算复杂性理论奠基人，密码学与程序验证先驱，卡内基梅隆大学名誉教授
- Lenore Blum：美国数学学会前副主席，BSS实数计算模型联合创始人，数学意识科学协会（AMCS）主席，卡内基梅隆大学名誉教授
内容索引
00:00 开场：国际数学日与SAIR Foundation
02:15 Lenore Blum的数学启蒙：从9岁辍学到发现数学的"永恒性"
08:40 Manuel Blum的学术起点：被误判的"笨小孩"与父亲的方法论启示
15:20 学术史案例：McCulloch-Pitts形式神经元如何预测神经抑制
22:10 从异地恋到学术合作：投币电话时代的知识传递
42:30 意识的两种形态：取用意识 vs. 现象意识
51:15 CTM与主流认知理论的关系：预测加工、4E认知、生物自然主义
62:00 对AGI架构的启示：无中央执行器的分布式优势
71:40 数学基础理论的方法论价值：从基本原理到复杂现象的预测
78:20 问答：π的记忆与数学的"活态"特征
核心论点
Blum夫妇提出"意识图灵机"（Conscious Turing Machine, CTM），尝试以形式化方法回应意识的"硬问题"（Hard Problem）。该模型的核心构造包括：
- 并行处理器网络：大量专用模块并行运行，无层级化中央控制
- 概率竞争机制：各处理器按权重分布竞争全局广播权，胜出者信息同步抵达全网
- 全局广播公理：定义"取用意识"的充分条件——信息的全局可及性
- 内部语言演化：系统自发展出多模态表征系统（Brainish），构建世界模型与自我模型，支撑现象意识的涌现
CTM的理论承诺在于：意识是计算结构的属性，而非生物基质的特权。若该形式化成立，则意识AI具有逻辑必然性。
延伸思考
- 形式化方法在经验科学中的边界与效力
- 分布式认知架构对当前大模型范式的潜在修正
- 数学"不依赖人意见"的客观性，是否适用于主观体验研究
