今天在学并查集(Disjoint-set forests) 数据结构的时候看到一句话

History

Disjoint-set forests were first described by Bernard A. Galler and Michael J. Fischer in 1964...

突然就觉得 describe 这个词击中了我，

因为我读之前的脑中自然升起的问题是：

“这个数据结构是谁发明的？”

Disjoint-set forests were first…

invented, created, 创造，发明

我脑中的 next token prediction 唯独没有给出 described

读到之后一阵恍然

“哦，本来就在那里的一种结构，不是人发明的，是人发现的”

要是把这种数据结构比作雕像

这两位数学家不是造了一尊雕像，是逛街的时候看到了一尊雕像，把雕像的样貌写在了笔记里而已。

数学柏拉图主义通常包含三点：

  1. 数学对象真实存在
    数、集合、函数、几何对象等，并不是人类发明的，而是"本来就存在"的。
  2. 数学对象是抽象的
    它们不在时空中：
    • 数字 2 不在任何具体位置
    • 圆的"完美定义"不存在于现实世界中
  3. 数学真理是被发现的，不是被创造的
    比如：
    质数有无限多个
    这个事实在人类出现之前就已经"是真的"。