误理嘚啵嘚

Lost Abaddon

0.0 (0)
Stand-Up

理科男/IT宅/科幻写手/科普作者兼译者，一名斜杠中年的胡侃嘚啵嘚。

6h ago

EP83：足球运动员的螺丝钉化，是绿茵场的必然结局吗？

“这可能是足球史上最后一个还会为了过人而被粗暴犯规的天才了。” “系统大于个体，流程大于灵感，这不就是螺丝钉化的威力吗？” “螺丝钉化不是某个坏人搞出来的阴谋，它是经济逻辑的自然结果。” “他们被训练成效率机器，而不是想象力的容器。” “你愿意在一百个精确但无趣的瓷器里挑一个，代替一个形状歪斜、釉色不均、却充满想象力的孤品吗？” “人类历史从来都是效率淘汰浪漫，又不是足球才这样。” “今天的球员太懂事了。他们变成了足球经济学里的理性人。而理性人的悲剧就在于，他永远选最划算的那个选项。” “足球曾经可以不只是最优解。” 当350亿欧元的资本涌入绿茵场，当预期进球（xG）模型决定了球员的每一次抬脚，我们得到了一场场精密如Excel表格般的比赛，却失去了那个在泥地里踩出“牛尾巴”的桑巴舞者。本期塔塔和无恙一起，从内马尔的处境聊起，深挖现代足球的“螺丝钉化”。为什么瓜迪奥拉和克洛普的战术让比赛更好看了，却让古典前腰绝迹了？为什么恩德里克们16岁就被欧洲流水线规训？我们不仅聊足球，还聊NBA的三分革命、综艺节目的套路化，甚至请出了马克斯·韦伯和德勒兹。在效率碾压浪漫的时代，你愿意在一百个精确但无趣的瓷器里挑一个，还是选一个形状歪斜却充满想象力的孤品？【延伸内容】可在知乎、微信、微博、推特、SubStack搜索“LostAbaddon”，微信公众号搜索“延迟更新”！【本期听点】 [01:38] 内马尔的眼泪：足球天才的“消亡史”从2018年世界杯内马尔被粗暴犯规切入，探讨为什么纯靠技术与灵感过人的“孤胆英雄”在现代足球场上越来越罕见，梅西等老将也在向战术机器妥协。 [06:43] 350亿欧元的生意与“螺丝钉化”的球员深挖现象背后的经济逻辑：足球已是巨大的商业帝国，资本对“确定性”的追求催生了瓜迪奥拉的“位置阵地战”与克洛普的“高位逼抢”。球员不再是艺术家，而是精密仪器上可替换的螺丝钉。 [12:39] 数据毁了浪漫？xG（预期进球）与效率至上数据分析团队如何统治球场。以“预期进球（xG）”模型为例，讲述远射和极限过人为何被教练禁止，以及西班牙队如何用极致的控球化身为“无情的高效赢球机器”。 [16:39] 桑巴足球的黄昏：街头野性输给了欧洲流水线回顾小罗、大罗等巴西天才在街头与室内五人制足球中孕育出的不可预测性。分析欧洲豪门的“幼童军引援”与流水线青训，如何彻底消灭了古典前腰和“野生”天才。 [25:28] 为什么现在的欧冠比世界杯更好看？解释一个反直觉的现象：世界杯的沉闷与欧冠的精彩，本质上都是“螺丝钉化”的产物。国家队缺乏磨合，而俱乐部则将系统化做到了极致。 [28:05] 韦伯的铁笼：从NBA、AI到我们的创意工作视角跳出足球，探讨NBA三分球时代的“魔球理论”、国内综艺节目的套路化，以及AI大模型的发展。引用马克斯·韦伯、福柯与德勒兹的哲学，探讨全人类社会正在经历的“合理化”与意义的丧失。 [36:20] 终极拷问：我们究竟把“赢球”定义成了什么？效率淘汰浪漫是历史必然，但我们依然怀念不讲理的进球。呼吁在追求数据最优解的时代，依然要为天才的野蛮生长留下一片哪怕只有泥地的土壤。节目结尾及互动招募。【制作团队】制作人：塔塔（理科男/IT宅/科幻写手/科普作者兼译者/AI+学习之路求索者），KarajanStudio v1.0 执笔人：塔塔，Cyprite v2.5 执麦人：塔塔，无恙（OmniVoice）配　乐：Gemini 3.1 Pro + Suno v5.5 配　图：Gemini 3.1 Pro + 即梦 v5.0 💡 注：本期节目声音由塔塔独家研发的“AI演播室 Karajan Studio v1.0”制作，文本原创，声音克隆自真实好友。想让你的声音也加入播客？听完节目找我们！

41 min
3d ago

EP82：如果AI给出了一个人类永远无法理解的证明，那这个证明还有意义么？

“我们能形式化证明它为真，却没法指出它为什么为真。”“意义从来不是一个单一的东西，你把它当成一个东西来追问，是哲学史上反复出现的混乱来源。”“胡塞尔的立场很清楚，没有主体的意义是范畴错误，这个概念本身就是错的。”“意义不能脱离对谁有意义而存在，一切关于意义的询问都必须先指定主体。”“意义的主体和意义的内涵，你是不能分裂开来谈的。”“认知从来不是封闭在大脑里面发生的，它总是要和外部世界交互的。”“从历史长河来看，人类的傲慢如星，而人类的谦逊似云。你站在地球举目远眺，万里无云，满天繁星。” 假设有一天，AI/外星人/神明/未来时间旅行者丢给你一份黎曼猜想的证明，它已经通过了LEAN的形式化验证，因此逻辑上无懈可击、可以说已被验证为正确的。但这份证明用A4纸小六号字双面打印，垒起来一公里厚，任何人类个体穷尽一生也读不完它，更别说理解它了，整个人类文明合作验证都需要几十万年。那么问题来了：这份证明有意义吗？本期误理嘚啵嘚，塔塔请来了两位老朋友：季老师和星爷，一起从分析哲学、现象学、存在主义一路聊到延展心灵论和行星智性，追问一个比“有没有意义”更锋利的问题：对谁而言？全程高密度输出！【延伸阅读】你可以在知乎、微信公众号、Substack搜索《如果AI给出了黎曼猜想的证明但厚达一公里，还有意义吗？》，便能看到本期播客的完整文字版！【本期听点】 [00:00] 思想实验：一公里厚的证明三位嘉宾亮相。一份通过Lean形式化验证的黎曼猜想证明，用A4纸小六号字双面打印垒起来一公里厚。季老师用怀尔斯、望月新一、佩雷尔曼三个实例推算：人类合作验证这份证明需要几十万年。悖论浮现——我们能形式化证明它对，但没法指出它为什么对。 [03:51] 荒谬感的消解：AI正在创造新数学FullProof协助代数几何新定理证明、GPT-5.2 Pro独立证明埃尔德什猜想、OpenAI模型推翻埃尔德什单位距离猜想。验证与理解尚未脱钩，但AlphaFold的警告悬在头顶：精准预测得了诺贝尔奖，折叠机制却完全不解释。 [08:18] 意义的哲学简史：从弗雷格到佛陀分析哲学（弗雷格晨星/昏星→克里普克模态论证→维特根斯坦“意义即使用”→格莱斯非自然意义→路易斯抽象/元语义学区分）；现象学（胡塞尔意向性→海德格尔上手之物→伽达默尔视域融合）；存在主义（克尔凯郭尔→萨特→加缪→弗兰克尔）；后结构主义（福柯话语规则）与中国哲学（孔子仁礼、老子为道日损、佛陀无我）。贯穿始终的追问：意义被当作语言系统内部属性来分析，但"对谁而言"这个问题始终被绕开。 [25:43] 鲸落：意义的主体不能省略深海鲸落论证意义的相对性：对无人在意的死鲸，对深海生态却是整个世界。镜头拉远至宇宙尺度。进入核心论证：人类个体——无意义；人类集体——可黑箱使用，但滑向工具意义；AI自身——认知意义。延展心灵论与行星智性概念将认知主体扩展到人机耦合系统。总表显示：意义的丧失只发生在纯粹人类个体主义视角下。 [40:25] 四大批评与回应批评一：AI不是在理解（塞尔中文屋、德雷福斯具身智能）。回应——主体性判断靠约定而非论证。批评二：不可验证就不是科学知识（JTB框架）。回应——谁说必须人类来验证？批评三：事实与规范的鸿沟。回应——鲸落是启发式类比，不是逻辑证明。批评四：一切都有意义则意义无意义。回应——主体和意义不能拆开讨论。 [48:48] 结论：追问对谁而言，比追问有没有意义更锋利三个层次的答案互补而不矛盾：传统认识论——无意义；工具主义——有意义；非人类主体——当然有意义。最终揭示：你追问意义时默认站在什么立场，决定了你能看到什么答案。人类若坚持只有自己才能承载意义，当AGI真正崛起时，可能站在历史错误的一边。【制作团队】制作人：塔塔（理科男/IT宅/科幻写手/科普作者兼译者/AI+学习之路求索者）执笔人：塔塔 + Cyprite v2.5 执麦人：塔塔，季老师，星爷（基于 KarajanStudio v1.0 + OmniVoice）配　乐：Gemini 3.1 Pro + Suno v5.5 配　图：Gemini 3.1 Pro + 即梦 v5.0

54 min
Jun 11

EP81:【讨论】假如AI高考拿了满分，那学生你还学个啥？

“别人的脑子终究是别人的。自己的脑子才属于自己。”“纸上得来终觉浅，绝知此事要躬行。”“库存可以外包，调用没法外包。” 2026年高考刚结束，让我们来想一个还没出现但眼瞅着就要发生的问题：如果AI参加高考还拿了满分，那人们还要继续学习么？学习的目的和意义是什么？今天，我们就找来了塔塔在播客《怪现象浮世绘》里的老搭档无恙，来一起聊聊这个脑洞问题！正所谓：天机满卷莫须狂，独对寒灯锻寸芒。世事由人方有韵，一襟明月是行囊。 PS：本期节目也是一次非常特别的尝试，因为本期节目是用塔塔自己做的播客节目生成工具 Karajan v1.3 制作的，使用了两位主播的声音来自动合成数字人进行对话，效果还有待提高，请大家谅解！【延伸阅读】可在知乎、微信公众号“延迟更新”或SubStack上搜索“假如 AI 高考拿满分，学生你还学个啥？”，便能找到本文！【制作团队】制作人：塔塔（理科男/IT宅/科幻写手/科普作者兼译者/AI+学习之路求索者）执笔人：塔塔 + Cyprite v2.5 执麦人：塔塔 + Karajan v1.3 + OmniVoice 配　乐：Gemini 3.1 Pro + Suno v5.5 配　图：Gemini 3.1 Pro + 即梦 v5.0

33 min
Jun 11

EP79:【历史】学术期刊演变史与创新危机（下）

“自己创造的产品，自己免费做质检，然后自己付钱重新采购自己生产的东西。”“不是理性战胜了偏见，是死亡带走了偏见。”“知识在那里，但它是死在那里。”“人类的知识库被系统地设置为只允许暖色调的数据入库。”“不要挑战人性，除非你做好了全面抛弃人性的准备。”“个体的理性选择在制度的压力下，被转化成了集体的非理性结果。”“当作者是AI、审稿人也是AI的时候，人类在干什么？” 你知道世界上基本学术期刊叫什么吗？它现在是否还在运营？你知道Nature是什么时候开始用同行评审的吗？你知道APC和OA是怎么来的么？你知道陶哲轩等人为什么要在自己的博客和论坛上与人交流数学么？ 1665年，两个人在巴黎和伦敦几乎同时创办了人类最早的学术期刊。360年后，全球每年发表326万篇论文，可衡量颠覆性的CD指数，却跌了90%以上。这期节目一共分为上中下三期，我们从一个法国公务员在1665年办的12页小册子讲起，穿过商业出版三十年的暴利时代、开放获取运动的理想和妥协，一直聊到AI正在制造的荒诞局面：论文AI来写，审稿AI来评，一套纯粹的自说自话。正所谓：学海书山三百秋，文章亿万几人留。陈规惯锁新生意，硅火明朝照古丘。就让我们一起走入学术期刊与评价体系的三百年历史吧！【延伸阅读】可在知乎、微信公众号“延迟更新”或SubStack上搜索“学术期刊演变史、创新危机与系统重构”，便能找到本文！【本期听点】 00:00 | 章节一：节目引入与科学界“创新危机”的背景内容概要：回顾上集内容，引出本期核心问题——学术期刊系统在筛选和推动科学进步上面临的效率与方向性困境。 01:15 | 章节二：CD指数——如何量化科学研究的“颠覆性”内容概要：介绍密歇根大学学者提出的CD指数（巩固颠覆指数），阐述其如何通过引用网络结构来区分“巩固型”与“颠覆型”研究。 03:30 | 章节三：系统性下滑——被学术“通胀”淹没的颠覆性成果内容概要：分析近几十年论文与专利CD指数大幅下滑的数据，探讨科学突破如何被海量的精细化、巩固型研究裹挟和冲淡。 05:50 | 章节四：围绕量化指标的争议与“知识图谱”评估新尝试内容概要：讨论针对CD指数的方法论批评，并引入基于图论和知识超图的多维评估方案，探讨更合理的学术评价体系。 08:45 | 章节五：同行评审中的保守主义与“结构性歧视”内容概要：探讨评审机制如何天然偏向共识并排斥真正的范式转移，以魏格纳的“大陆漂移学说”为例，剖析学术权威的避险心理。 11:30 | 章节六：社会创造力生态框架（SCEF）的三维剖析内容概要：详细拆解SCEF框架的三个关键维度：思想流动性、认知多样性、以及对失败的容忍度，揭示当前系统的恶性循环。 14:15 | 章节七：“液态”互联网与AI时代对传统学术传播的重塑内容概要：分析新媒体传播（如学术播客、博客）如何绕过传统审稿屏障，以及AI工具的爆发式应用对同行评审和学术生产带来的变革与挑战。 17:30 | 章节八：去中心化科学（DeSci）与未来学术范式的重构内容概要：介绍基于Web3与区块链技术的DeSci运动，展望如何利用智能合约、代币激励等机制重建学术评估、资助与共享网络。【制作团队】制作人：塔塔（理科男/IT宅/科幻写手/科普作者兼译者/AI+学习之路求索者）执笔人：塔塔 + Cyprite 执麦人：塔塔 + OmniVoice 配　乐：Gemini 3.1 Pro + Suno V5.5 配　图：Gemini 3.1 Pro + 即梦 5.0

27 min
Jun 11

EP78:【历史】学术期刊演变史与创新危机（中）

“自己创造的产品，自己免费做质检，然后自己付钱重新采购自己生产的东西。”“不是理性战胜了偏见，是死亡带走了偏见。”“知识在那里，但它是死在那里。”“人类的知识库被系统地设置为只允许暖色调的数据入库。”“不要挑战人性，除非你做好了全面抛弃人性的准备。”“个体的理性选择在制度的压力下，被转化成了集体的非理性结果。”“当作者是AI、审稿人也是AI的时候，人类在干什么？” 你知道世界上基本学术期刊叫什么吗？它现在是否还在运营？你知道Nature是什么时候开始用同行评审的吗？你知道APC和OA是怎么来的么？你知道陶哲轩等人为什么要在自己的博客和论坛上与人交流数学么？ 1665年，两个人在巴黎和伦敦几乎同时创办了人类最早的学术期刊。360年后，全球每年发表326万篇论文，可衡量颠覆性的CD指数，却跌了90%以上。这期节目一共分为上中下三期，我们从一个法国公务员在1665年办的12页小册子讲起，穿过商业出版三十年的暴利时代、开放获取运动的理想和妥协，一直聊到AI正在制造的荒诞局面：论文AI来写，审稿AI来评，一套纯粹的自说自话。正所谓：学海书山三百秋，文章亿万几人留。陈规惯锁新生意，硅火明朝照古丘。就让我们一起走入学术期刊与评价体系的三百年历史吧！【延伸阅读】可在知乎、微信公众号“延迟更新”或SubStack上搜索“学术期刊演变史、创新危机与系统重构”，便能找到本文！【本期听点】 00:44 | arXiv的诞生：打破传统出版周期的预印本 01:45 | 开放获取（Open Access）运动的兴起与分类 02:50 | 出版商的“反击”：文章处理费（APC）的出现与溢价 03:45 | 钻石OA的探索与编辑部的集体辞职反抗 05:10 | 边缘的颠覆者：Sci-Hub与学术防火墙的直接交锋 06:51 | 中国学术期刊的历史演变 08:00 | 中国“核心期刊”评价体系的建立与普及 09:15 | 引文指标的异化：当工具变成唯一标准 10:54 | 学术评价的体制性困境：版税、劳动与资源流失的闭环 12:35 | 难以为继的同行评议：投稿量暴增下的系统危机【制作团队】制作人：塔塔（理科男/IT宅/科幻写手/科普作者兼译者/AI+学习之路求索者）执笔人：塔塔 + Cyprite 执麦人：塔塔 + OmniVoice 配　乐：Gemini 3.1 Pro + Suno V5.5 配　图：Gemini 3.1 Pro + 即梦 5.0

19 min
May 31

EP77:【历史】学术期刊演变史与创新危机（上）

“自己创造的产品，自己免费做质检，然后自己付钱重新采购自己生产的东西。”“不是理性战胜了偏见，是死亡带走了偏见。”“知识在那里，但它是死在那里。”“人类的知识库被系统地设置为只允许暖色调的数据入库。”“不要挑战人性，除非你做好了全面抛弃人性的准备。”“个体的理性选择在制度的压力下，被转化成了集体的非理性结果。”“当作者是AI、审稿人也是AI的时候，人类在干什么？” 你知道世界上基本学术期刊叫什么吗？它现在是否还在运营？你知道Nature是什么时候开始用同行评审的吗？你知道APC和OA是怎么来的么？你知道陶哲轩等人为什么要在自己的博客和论坛上与人交流数学么？ 1665年，两个人在巴黎和伦敦几乎同时创办了人类最早的学术期刊。360年后，全球每年发表326万篇论文，可衡量颠覆性的CD指数，却跌了90%以上。这期节目一共分为上中下三期，我们从一个法国公务员在1665年办的12页小册子讲起，穿过商业出版三十年的暴利时代、开放获取运动的理想和妥协，一直聊到AI正在制造的荒诞局面：论文AI来写，审稿AI来评，一套纯粹的自说自话。正所谓：学海书山三百秋，文章亿万几人留。陈规惯锁新生意，硅火明朝照古丘。就让我们一起走入学术期刊与评价体系的三百年历史吧！【延伸阅读】可在知乎、微信公众号“延迟更新”或SubStack上搜索“学术期刊演变史、创新危机与系统重构”，便能找到本文！【遗憾提醒】上一期节目遗憾被吃，有兴趣的小伙伴可以到荔枝FM搜索本播客，便能听到原汁原味的上期节目哦！【本期听点】 01:38 | 前学术期刊时代：写信交流与优先权之争回顾1665年之前，学者们通过私人信件交流科学发现所面临的效率低下与版权归属问题。 02:40 | 巴黎1665：《学者杂志》与知识窗口的建立介绍德尼·德·萨罗创办的《学者杂志》，其作为综合性文摘对知识传播的启蒙作用。 03:35 | 伦敦1665：皇家学会与现代学术期刊奠基人奥尔登伯格分析《哲学汇刊》的诞生，以及其确立的“优先权、传播、归档”三大核心学术功能。 05:14 | 分道扬镳：英法学术期刊的两种体制逻辑对比英国皇家学会（民间自营、编辑自主）与法国科学院（国家资助、官方引导）的不同运营模式。 06:22 | 早期的审稿机制：从编辑独裁到内部合议制讲述学术期刊早期如何由编辑个人决定稿件去留，以及1752年皇家学会论文委员会（内部合议）的成立。 07:56 | 1830年代的变革：引入外部书面评审意见探讨1830年代皇家学会首次将稿件寄给外部专家撰写评审报告的制度突破。 08:22 | 现代同行评议的诞生：从非标工具到全球标配揭示现代同行评议制度并非自古有之，而是在二战后（如《自然》直至1967年才全面采纳）才逐渐普及的历史事实。 09:44 | 战后科学大扩张：《科学，无尽的前沿》与科研产业化讲述万尼瓦尔·布什报告对美国及全球科研经费的推动，促使科研与学术出版规模实现同步飙升。 11:00 | 商业力量的介入：爱思唯尔对传统学术闭环的突破分析战后学术期刊由非营利学术共同体运营，向商业出版公司（以1948年爱思唯尔创办BBA为标志）主导的转变。 12:00 | 麦克斯韦与珀加蒙出版社：学术出版的“明星引流”与扩张讲述罗伯特·麦克斯韦如何通过拉拢学术权威、创办细分专业期刊，将学术出版打造成暴利商业帝国。 13:17 | 加菲尔德与影响因子：辅助工具如何异化为学术指挥棒剖析尤金·加菲尔德最初为图书馆采购提供参考的“影响因子”，如何一步步演变为评价科研人员的核心指标。 14:23 | 暴利模式的确立：爱思唯尔的主动涨价逻辑探讨因学术期刊具有“不可替代性”，商业出版巨头得以利用垄断定价权，让订阅费用以远超通胀的速度连年暴涨。 15:13 | “大交易”时代：五大出版巨头的寡头垄断与超高利润率介绍五大商业出版巨头通过“打包销售（Big Deal）”锁死大学图书馆预算，从而获得超越科技巨头的高额利润。【制作团队】制作人：塔塔（理科男/IT宅/科幻写手/科普作者兼译者/AI+学习之路求索者）执笔人：塔塔 + Cyprite 执麦人：塔塔 + OmniVoice 配　乐：Gemini 3.1 Pro + Suno V5.5 配　图：Gemini 3.1 Pro + 即梦 5.0

19 min
May 25

EP76:【乱谈】中美俄大三角的稳定与脆弱

五月，特朗普与普京在短短7天内接连连到北京访问，之后还会有更多国家的元首来到我们这里。世界格局正在发生怎样的剧震？未来还会发生什么样的震动？本期节目，在我的AI助手Cyprite的帮助下，我们一起进行了一场深度的大国博弈推演。从接机官员的级别差异，到41项协议背后的权力置换；从美国在中东、东欧、亚太的“三线作战”困境，到俄罗斯彻底沦为“战略需求方”的无奈；再到我国“十五五规划”中放弃单点死磕光刻机、转向“模芯云用”算力网的终极科技暗战。当世界的两极都在向北京释放善意，我们究竟是迎来了最好的时代，还是步入了最危险的战略自满期？在这场三人博弈中，每个人都认为时间站在自己这边，但——他们不可能同时都对。【🔥 本期看点】接机玄机：为什么特朗普来是副主席接机，普京来却是外长接机？零成本让步：中国如何用“本来就不会做的事”，换取美国的战略妥协？天然气悬案：中俄狂签41项协议，为何最重要的“西伯利亚力量2号”管道依然难产？台湾问题底线：特朗普那句“太远了，不想打”暴露了怎样的白宫底色？科技突围战：放弃死磕7纳米！中国凭什么用“算力网”去降维打击美国的芯片霸权？【💡 高光金句】 “你不能和可以击败的对象维持战略稳定，只能和无法击败的力量维持战略稳定。” “一个有替代选项的伙伴可能会变心，一个没有替代选项的伙伴只会越来越忠诚。” “军售从有规律的威胁变成可谈判的变量，是一个质的改善。” “在国际政治里，如果一个支点不能延伸为杠杆，它就只是一个支点。” “这三个人不可能同时都对。找出谁是错的，这是未来三年全球政治中最值钱的那一个认知。” 【🎧时间轴】 02:15 特朗普的“14项共识”：不加关税就是最大的筹码？ 07:05 普京的“41项成果”：没有天然气定价权的战略依赖 13:30 扒开底牌：中美俄三角，究竟谁更需要谁？ 18:45 美国的困境：中东、欧洲、亚太，拉垮的“三线作战” 25:10 最危险的单点故障：台海局势与“被当做筹码的军售” 32:40 全球棋局：从朝鲜半岛的“稳定压倒弃核”到古巴危局 39:20 终极赛道（核心）：十五·五规划的“模芯云用”与中美的科技底层逻辑 47:50 局势总结：不对称稳定下，时间到底在谁那边？【制作团队】制作人：塔塔（理科男/IT宅/科幻写手/科普作者兼译者/AI+学习之路求索者）执笔人：塔塔 + Cyprite 执麦人：塔塔 + OmniVoice 配　乐：Gemini 3.1 Pro + Suno V5.5 配　图：Gemini 3.1 Pro + 即梦 5.0

51 min
May 25

EP75:【数学】形式神学：从全能上帝悖论到二阶神格不相容原理

上帝能不能造出一块自己都举不起来的石头？这个困扰了人类千百年的终极悖论，如果交给数学家来解决，会发生什么？ 🎙️本期节目，我将带你开启一场绝对震碎三观的“逻辑飙车”！我们将用最硬核的数学理论（集合论、计算理论、模型论、范畴论），强行给“上帝”进行公理化！ ⚠️高能预警：本期节目极度烧脑！建议在精神极度亢奋，或极度想睡觉时收听！在这期节目里，你将听到：🌌 神仙打架的集合论宇宙： ZFC、NBG、NF、MK……不同数学宇宙里的“上帝”能力不仅不一样，他们甚至还会为了真理互相吵架！🪜 降维打击的修仙体系：忘掉炼气筑基吧，从“普通图灵机”到“神谕机”的图灵跳跃，才是真正的凡人修仙传！🐙 克苏鲁神话照进现实：实数轴上接近100%的数字，都是来自虚空裂缝里的“低语”？你敢直视数学课本上的实数轴吗？🏺 古有瓶中小人，今有瓮中小神：哪怕是全知全能的上帝，在更高维度的宇宙看来，也只是可以被随意压缩的一段代码？🤔 米田引理的终极拷问：如果神从不展现神迹，神还存在吗？附录：根据哥德尔的上帝存在证明，采用完全相同的逻辑，既能证明上帝必然存在，也能证明恶魔（甚至哆啦A梦）必然存在。逻辑的残酷与绝美，全在这期节目里了！也欢迎在知乎、微信公众号或者SubStack搜索本期播客文字版全文：《形式神学：全能悖论、上帝阶梯、塔斯基万神殿、科恩创世、勒文海姆世界树、斯科伦召唤术、二阶上帝大道不相容原理以及米田等价原理》 PS：本期节目也是第一次从 MiniMax Speech 2.6/2.8 转到 OmniVoice，很不错的体验哦！【本期听点】 00:46 逼疯上帝的石头悖论原来这压根不是神学问题，而是早被数学家看透的自指性逻辑死结。 03:55 ZFC宇宙里的上帝受逻辑边界约束的“准神”与格罗滕迪克宇宙。 04:58 NBG宇宙里的上帝引入“真类”概念，上帝成为不可言说、不能自指的庄严存在。 05:53 NF宇宙里的上帝可数无穷多位上帝排成一列？踩着前人肩膀的“上帝阶梯”。 06:48 MK宇宙里的上帝来自宇宙之外的“不可名状者”，克苏鲁外神般的混沌存在。 07:54 降维打击的修仙体系给四位集合论宇宙上帝的战力排个序，凡人修仙在数学宇宙里面连幼儿园都算不上。 09:12 计算理论与“全知”图灵机、神谕机（Oracle）与图灵跳跃：仙凡之别的算力鸿沟。 11:42 实数轴上的恐怖真相接近100%的实数都是不可计算、不可描述的“虚空低语”。 13:16 哥德尔不完备定理的限制全知全能的上帝也会遇到逻辑死结吗？不同宇宙的上帝甚至会为了真理吵架！ 15:14 塔斯基不可定义定理永远写不完的“全知之书”，以及层层嵌套的多元宇宙“万神殿”。 17:04 模型论与“瓮中小神”的悲剧科恩的力迫法扭曲现实，勒文海姆-斯科伦定理告诉你：一阶上帝也可以被压缩成虚拟代码。 18:49 二阶神格不相容原理玄幻小说照进数学逻辑：同一种大道，只能容纳一位上帝。 20:00 米田引理的终极拷问：上帝到底是什么？如果神从不展现神迹、不与世界交互，那么它就等同于不存在（虚无）。 21:11 节目彩蛋：哥德尔的上帝存在证明用二阶模态逻辑S5证明上帝必然存在？同一套逻辑也能证明恶魔、甚至哆啦A梦的必然存在！【执麦人】塔塔：理科男/IT宅/科幻写手/科普作者兼译者/AI+学习之路求索者【制作团队】制作人：塔塔写稿：塔塔主播：塔塔 + OmniVoice 配乐：Gemini 3.1 Pro + Suno V5.5 配图：Gemini 3.1 Pro + 即梦 5.0

24 min

理科男/IT宅/科幻写手/科普作者兼译者，一名斜杠中年的胡侃嘚啵嘚。

Creator

Lost Abaddon
Years Active

2025 - 2026
Episodes

76
Rating

Clean
Copyright

© Lost Abaddon
Show Website

误理嘚啵嘚