02
第一部:GEB第 2 章

数学中的意义与形式

符号如何通过同构获得意义。pq 系统。

纸上的符号如何变成“真理”?本章介绍模仿加法的微型形式系统 pq。通过展示破折号的机械操作与数学加法结构的同构,霍夫世塔特说明:意义来自符号系统与现实之间的结构对应。

pq 系统同构

形式系统

定理

有效定理!

同构意义

2 + 3 = 5

算术

“符号本身没有意义。意义来自系统与现实之间的同构。”