脑洞 【中配】探索最长无限国际象棋对局：从有限到超穷序数的旅程 - Naviary

原视频：The Search for the Longest Infinite Chess Game 原作者：Naviary 发布日期：2024-01-29 视频链接：https://www.youtube.com/watch?v=b-Bb_TyhC1A ✨ 想看英文原声？ 00:00 引言：寻找最长的国际象棋比赛 介绍有限国际象棋中最长的杀法步数，引出无限国际象棋中超越有限数字的超穷序数杀法概念。 01:21 博弈树与节点价值计算 通过博弈树展示棋局的分支，解释如何计算不同节点的杀法价值，并指出无限棋盘需要新方法。 03:16 Omega：第一个无限序数 介绍第一个无限序数Omega（Ω）在无限棋局中的应用，即黑方可以宣布任意大但也有限的步数来延迟失败。 05:02 为什么要使用序数？ 解释为什么使用序数而不是普通的无穷大来描述杀法，因为尽管步数无上限，但每局博弈最终都会在有限步内结束。 06:45 迈向更高的序数领域 探讨赋予黑方更多次“宣布”步数的机会，从而引向比单个Omega更高、更复杂的序数阶层。 07:41 Omega + 1 引用Joel Hamkins等人的研究，通过在黑方宣布前增加一个将军动作来构造Omega+1的杀法位置。 08:21 Omega * 2 展示一个黑方可以进行两次声明的格局，描述如何通过限制王的位置迫使黑方进行两次超穷步数延迟。 09:50 Omega^2：二阶声明 引入“车塔”概念，展示黑方通过第一步决定后续有多少次Omega级延迟，从而达到Omega平方的价值。 11:32 Omega^3：锁与钥匙的联动 展示更复杂的“锁与钥匙”机制，通过激活多个车塔，将博弈价值提升到Omega立方。 14:06 Omega^4：象炮与网关 详解极其复杂的Omega四次方阵型，包含象炮、网关终端和极其精妙的防御路径，让步数达到天文数字量级的复合。 19:23 Matthew的构造证明 介绍Matthew Bolan提出的构造性证明，利用局部困局（Zugzwang）理论上可以构造出任意高序数的博弈位置。 21:59 无限延申的可能性 讨论只要有无限的棋盘空间，就可以不断嵌套和拉伸博弈树，从而容纳更大的序数声明。 23:00 攀登序数之塔：从Epsilon到Veblen 快速攀升序数层级，从Epsilon-0到Zeta、Eta以及Veblen阶层，讨论这些极其庞大的序数在无限棋局中的对应。 25:07 不可数序数Omega-1的上限 说明由于每一步的合法移动是可数的，无限国际象棋的杀法序数上限是第一个不可数序数Omega-1。 26:05 结语与展望 总结无限国际象棋的数学魅力，并分享作者未来的开发计划，包括棋盘编辑器和相关研究的分享。 使用YouDub AI翻译配音制作 项目地址：https://github.com/liuzhao1225/YouDub-webui