停机问题：计算的禁区与图灵的对角线
能否写一个终极调试器，判断任意程序遇到任意输入是否会停机？图灵 1936 年用对角线论证给出了否定答案——这是计算机科学第一道不可逾越的边界，也是哥德尔不完备性的同胞兄弟。
最新文章
RSS
实数：填补数轴上的稠密裂缝
有理数稠密却不连续——√2 的存在揭示了数轴上的微小但致命的洞。本文从这条第一裂缝出发，经戴德金分割与柯西列两条独立路径，构造完备的实数域，并触及实数不可数性的深层秘密与小数表示的局限。
自然数：从计数到归纳的抽象之旅
三只羊与三棵树之间藏着什么共通？皮亚诺用五条公理把自然数从直觉钉成形式系统：零、后继、归纳。本文从计数原点出发，经皮亚诺公理、冯·诺伊曼集合论编码，走到数学归纳法的力量与边界。
论游戏设计中的数值分析：以战斗力模型为主轴
从最原始的 CP = HP × ATK 出发，逐步引入防御、随机性、时间维度、卡牌费用与 RPG 成长——拆解战斗力公式如何驱动整个游戏数值设计体系。
从夯到拉，评价中国历史上的帝王
一份从先秦到清代的中国帝王 Tier List：5 档评级，含 13 位皇帝（刘邦/刘秀/朱元璋/康熙/宋太祖/汉文帝/朱棣/乾隆/武则天/司马炎/嘉靖/杨广/赵佶/崇祯）详细评价过程，附互动排行榜工具
测度论的灵魂：可加分解与 Littlewood 三原则
从可加分解与 Littlewood 三原则两条主线切入，重新审视中学的「长度、面积」直觉，搭建勒贝格测度的核心骨架，并解释黎曼积分为何在剧烈振荡与极限交换面前束手无策。
论微积分中的化曲为直
从化曲为直与夹逼准则两个互补视角，系统推导圆的周长、圆的面积、一般曲线弧长、一般图形面积，并深入讨论上下界为何就是真相，揭示高等数学拆解复杂问题的朴素逻辑。
已全部加载