只差0.99个百分点，却相差100倍

如何发现自己不知道的技术？——计算机学习中的情报盲区与知识发现方法

从文件格式到浏览器内核：不同的外壳怎样复用相同的底层？

知识之海：数学、自然科学与技术的学科全景图

为什么有些系统会越偏越远？——正反馈、不稳定性与临界点

一个系统为什么会自己“回来”？——从负反馈到稳定性的统一视角

你真的知道自己的数据都在哪吗？——重装系统前，怎样避免漏掉一个从没想起过的文件

你的电脑里到底“装”了多少东西？——从重装系统谈软件环境的完整迁移

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

万能计算器

科学请神

拉马努金级数π

第一篇文章

同样的1%与0.01%，既只差0.99个百分点，又相差100倍。从简单的数字反差出发，思考风险、观察尺度、语言表达和价值判断的多元性。

连一种技术存在都不知道时，搜索也可能无从开始。本文通过需求、结构、关联与外部四个探索入口，建立发现、验证并持续拓展陌生技术的学习方法。

从 DOCX、JAR 与 ZIP 的共同容器，到 Chromium/Blink 的复用与 Linux 内核的不同生态，区分共享格式、代码实现、技术祖先与功能相似，并通过动手实验理解复杂计算机生态如何构造。

从熟悉的数理化生出发，俯瞰数学、自然科学、计算与信息科学、工程技术、医学与农业的主要分支，理解学科如何交叉，并附权威官方分类入口及非官方编排声明。

从指数增长与正反馈出发，进入不稳定平衡、分岔、临界点、饱和与双稳态，理解为什么微小扰动有时会被放大，并推动系统跳向全新的状态。

从稳定平衡、指数衰减与 Jacobian 出发，连接恢复力、勒夏特列原理、生物稳态、负反馈与 Lyapunov 稳定性，理解不同自然科学中“扰动为何会衰减”的共同数学结构。

软件可以重新安装，数据却未必能够重新获得。本文不试图列一份“必备份文件夹大全”，而是从完整镜像保底、主动迁移、特殊应用专项导出和恢复验证四层出发，设计一种即使忘记某些文件，也不至于永久丢失的数据迁移方法。

从一次真实的 Windows 环境盘点出发，给出一套重装系统或换设备前的软件与运行环境审计流程：自动检测、AI 分类、人工确认、WSL/IDE/驱动专项备份，以及为什么 winget、卸载列表和 Program Files 都不足以代表整台电脑。

没有操作系统，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 表示文章涉及的知识主题；跨学科文章可以同时使用多个直接相关标签，不必机械限制数量。
3. 当前基础标签：数学、物理、化学、生物、计算机、人工智能、科学方法、数理逻辑、概率统计、科学史、编程实践、随笔。
4. 当新的知识领域预计会持续出现、能够形成独立内容方向时，可以继续新增标签。
5. 标签尽量保持明确、稳定，避免使用过于泛化或仅适用于单篇文章的名称。