没有操作系统，电脑还能运行吗？——操作系统究竟替我们做了什么

计算机为什么需要这么多种“记忆”？——从寄存器到硬盘

一台计算机究竟由什么组成？——从 CPU 到主板的完整硬件地图

计算机只认识 0 和 1，我们究竟是怎样让它看懂代码的？

什么叫一个“好理论”？——准确还不够，最好还要漂亮

科学中的“直觉”究竟可靠吗？

证明、实验、模拟：三种“知道”有什么区别？

为什么自然科学如此依赖数学？

从实验数据到科学规律，中间到底发生了什么？

为什么一道题最难的一步往往不是计算，而是决定“该怎么算”？

模型不是现实：科学为什么必须主动“忽略”一些东西？

数学能拥有一个“完美”的公理体系吗？

自然数和实数之间，还藏着另一种无穷吗？

选择公理为什么这么“丑”，数学家却又舍不得它？

数学证明为什么可能成为 AI 最适合、也最困难的任务之一？

AI 再强，也有永远无法解决的问题吗？

一族运动曲线究竟扫过了多大的面积？

一道高中磁场题之后：如果磁场可以是任意形状，最小面积是多少？

从一串不等式到一个函数：平均数为什么排成这个顺序？

我只是把零补了回来，却撞见了伯努利数：从等次幂求和到 Faulhaber 公式

无限不只是永远数不完：从希尔伯特旅馆到不可数无穷

当宇宙装不下一个数字：从古戈尔、葛立恒数到 TREE(3)

一百万美元买不到答案：千禧年七大数学难题究竟难在哪里？

数学曾三次怀疑自己：从无理数、微积分到集合论悖论

老师说它明显趋近于1，但答案为什么是1/2？——一个会欺骗直觉的泊松极限

人类历史上最美的公式：20 个改变世界的方程

万能计算器

科学请神

拉马努金级数π

第一篇文章

没有操作系统，CPU 依然可以执行程序。操作系统真正存在的意义，是把 CPU、内存、文件、设备和权限统一管理，并为应用程序制造一个稳定、安全、可使用的抽象世界。

寄存器、Cache、RAM、SSD、HDD 为什么不能合并成一种存储器？答案来自速度、容量、成本、持久性之间无法同时满足的矛盾。本文从局部性与存储层级解释现代计算机如何逼近“又快又大的记忆”。

CPU、GPU、内存、SSD、主板、电源、散热与外设并不是一张装机清单，而是一套围绕计算、存储、通信和输入输出形成的功能系统。本文从数据流角度重建一台完整计算机。

CPU 并不会直接理解 Python、C 或 Java。本文从物理状态、二进制、机器指令、汇编一路讲到编译器、解释器、虚拟机与高级语言，解释现代编程世界究竟是怎样由一层层抽象搭起来的。

能拟合数据只是理论的起点。一个真正有力量的理论还要经受预测、可检验性、解释力、简洁性、统一性、稳健性和适用范围的考验；而所谓“漂亮”，可以引导科学，却不能凌驾于事实。

科学家的直觉并不等于随口猜测，它常是长期训练后形成的模式压缩：对称性、量纲、极限、类比与物理图像都能提供方向。但直觉也会在概率、量子、高维与非线性世界中系统性失效。

“我证明了”“我测到了”“我模拟出来了”都像是在说“我知道了”，但三者获得知识的方式完全不同。本文比较数学证明、现实实验与计算模拟的证据结构，并回答计算究竟能在多大程度上替代实验。

数学在自然科学中不仅负责计算，更负责压缩关系、表达结构、暴露对称性并推出尚未观察到的结果。本文从“描述工具”一路追问到更深的问题：为什么自然界竟然如此适合被数学刻画？

实验不会直接吐出“规律”，它只给出带噪声、带误差、带条件的测量结果。本文从测量、校准、误差、拟合、模型选择、因果与不确定度出发，拆解数据如何一步步被转换成科学结论。

真正困难的问题常常不是积分、求导或解方程，而是判断应该建立什么变量、什么方程、什么几何或概率结构。本文讨论从现实问题到数学问题之间那一步最容易被忽略、也最体现理解力的“翻译”。

从“忽略空气阻力”这个最常见的近似出发，讨论科学为什么必须压缩现实、如何判断哪些因素可以忽略，以及一个模型真正重要的不是像不像现实，而是它在什么范围内足够可靠。

如果我们希望一个公理体系同时相容、完备、有效可公理化，并能表达足够多的算术，会发生什么？从 Hilbert 的理想到 Gödel 不完备定理，再看“不断添加新公理”为什么仍不会产生一个最终的万能形式系统。

从可数无穷与连续统出发，理解连续统假设到底在问什么；再沿 Gödel 的可构造宇宙与 Cohen 的 forcing 看到一个震撼结论：在 ZFC 内，CH 既不能被证明，也不能被否定。

从“每个盒子里拿一个东西”出发，追问选择公理为何看似理所当然却无法由 ZF 推出；再看良序定理、佐恩引理、向量空间基与巴拿赫—塔斯基如何把它变成现代数学最迷人也最有争议的基础假设之一。

数学几乎拥有 AI 最理想的训练环境：命题可形式化、证明可机械验证、反馈清晰，甚至可以自动生成大量训练样本。但“验证一个证明”与“发现一个证明”完全不是同一件事；真正困难的部分在于搜索、发明辅助引理、创造中间概念，乃至建立新的理论语言。

从“现在不会做”“算力不够”一路追到真正的理论边界：停机问题、Gödel 不完备性、ZFC 中的独立命题与不可计算实数。AI 的极限并不等于今天模型能力的极限；有些任务不是还没找到算法，而是万能算法本身不存在。

从“圆弧族扫过的磁场区域”出发，把问题抽象成一族随参数变化的曲线究竟覆盖平面中的哪些点。文章依次引出曲线族并集、包络线、参数曲线面积公式、二维参数映射与 Jacobian，并解释为什么包络线与 J=0 其实来自同一个几何退化机制；最后讨论重复覆盖时的面积重数问题，并回到上一篇磁场模型统一理解。

从一道已经找不到原题的高中带电粒子磁场题出发，用 GeoGebra 中的实际构造重新建模：O 不是所有粒子必须经过的公共点，而是粒子离开磁场后再次到达 x 轴时不能越过的最远极限点。由此把任意形状磁场化为每个粒子“最早允许离场”之前的必要圆弧并集，推导其最小面积，并解释临界束宽之后粒子为什么会被迫多转一段、却仍然满足极限条件。

我想解决的并不是“怎样再记住一串平均值不等式”，而是“为什么这些式子本来就应该排在一起”。把它们统一写成幂平均 M_p 后，调和、几何、算术、平方平均只不过是同一个函数在 p=-1,0,1,2 处的四个取值。

从一个最朴素的等次幂累计求和出发，我用待定系数算到 a=10，并因坚持补齐零系数项而看见整列消失的规律，最终沿着有限差分走到了 Faulhaber 公式与伯努利数。

无限不是一个极大的有限数。从希尔伯特旅馆、康托尔对角线、阿列夫数到连续统假设，理解不同层级的无限及其令人反直觉的运算规则。

从古戈尔与幂塔出发，穿过斯奎斯数、葛立恒数、TREE(3)、Busy Beaver 与拉约数，理解人类如何定义远超物质宇宙承载能力的有限大数。

从质数、算法和流体到几何与量子场，逐一拆解七道千禧年大奖难题的直观含义、严格表述、困难所在与最新状态。

三次基础危机没有摧毁数学，反而迫使人类重新定义数、极限、集合与证明，并由此建立更坚固的现代数学。

从指数函数展开式引出的错误直觉出发，用逐项配对证明和中心极限定理严格说明一个始终小于1/2、却从下方趋近1/2的泊松极限。

从欧拉公式到相对论、万有引力与麦克斯韦方程组：20组以极少符号揭示自然与数学深层秩序的伟大公式。

本文章我将带领大家一一拜见人类科学的神祗

本文用高精度数值计算验证拉马努金的圆周率级数，并说明数值验算与严格证明之间的区别。

欢迎来到我的博客！我将记录生活、分享技术发现，并与读者交流想法，期待与大家互动。让我们开始这段写作之旅！

闲聊

日常

学术

菜单slug留空或填#即可，用于下面的子菜单

娱乐

往期整理

历史归档

文章分类

文章标签

关于我

随笔

数学

科学史

计算机

编程实践

物理

概率统计

类型为Notice的文章将被显示为公告

公告

人工智能

数理逻辑

标签管理约定：
1. category 只表示文章性质：学术 / 日常 / 闲聊。
2. tags 只表示文章主题，不再使用 Life Experiences / Technical Discoveries / Reader Engagement 等泛化标签。
3. 每篇文章通常使用 1 个主领域标签，必要时增加 1–2 个辅助标签，原则上不超过 3 个。
4. 当前受控标签：数学、物理、计算机、人工智能、科学方法、数理逻辑、概率统计、科学史、编程实践、随笔。
5. 只有当一个主题预计会长期复用、能形成独立内容方向时，才新增标签。

🧮数学证明为什么可能成为 AI 最适合、也最困难的任务之一？

🧩AI 再强，也有永远无法解决的问题吗？