Shownotes： 本期嘉宾 * Manuel Blum：1995 年图灵奖得主，计算复杂性理论奠基人，密码学与程序验证先驱，卡内基梅隆大学名誉教授 * Lenore Blum：美国数学学会前副主席，BSS 实数计算模型联合创始人，数学意识科学协会（AMCS）主席，卡内基梅隆大学名誉教授 内容索引 00:00 开场：国际数学日与 SAIR Foundation 02:15 Lenore Blum 的数学启蒙：从 9 岁辍学到发现数学的 "永恒性" 08:40 Manuel Blum 的学术起点：被误判的 "笨小孩" 与父亲的...