DOXA · 数学编年史 · 知识详情

雷科德引入「=」等号

1557 | 雷科德代数·数论概念

= 雷科德(1557):「两物再无比这更相等」 等号从此成为数学的通用语言 符号经济 = 心智解放
等号(1557)

知识/定理

雷科德(1557)《砺智石》:首次用「=」表示相等,「因为两物再无比这更相等」。

公式

$a=b$(相等记号);此前以文字/缩写表示相等。

证明思路

(符号设计)选择平行双线表示「再无不相等」。

应用/例子

一切数学等式书写;符号经济降低书写与心智负担。

意义/影响

代数符号化的早期一步;「好符号催生好数学」的范例。

所属:五 文艺复兴与16世纪 | 难题证明状态 ↔ 数学难题编年