皮亚诺的算术，符号创造还是发现？过客与生命之树———读皮亚诺之二

最新推荐文章于 2021-02-27 16:16:56 发布

weixin_41670255

最新推荐文章于 2021-02-27 16:16:56 发布

阅读量557

点赞数

分类专栏：逻辑算法逻辑史文章标签：算法

本文链接：https://blog.csdn.net/weixin_41670255/article/details/113093681

版权

本文探讨了皮亚诺如何为最普通的算术创建一套符号语言，将其公理化。皮亚诺算术理论基于自然语言，形成专业化的人工符号系统，展示了人类智慧在基础算术上的探索。文章通过比较莱布尼兹和皮亚诺的工作，揭示了逻辑和算术的紧密联系，并讨论了数学家的工作是创造还是发现的问题。

摘要由CSDN通过智能技术生成

标题皮亚诺的算术，符号创造还是发现？过客与生命之树———读皮亚诺之二

有一首古老的英语民歌，描述走出野蛮的人类最常做的三件事：

***Reading，读啊!
Writing, 写啊！
Rithmetic，算啊！***（摘自丹齐克著《数科学的语言》第16页）

这三个最普通的人类行为，都和各个人群所使用的自然语言相关。而算啊！通常就是指的算术运算。这就把我们引向了算术，引向了数学家对于算术基础的研究。刚刚接触过德国的戴德金，现在，我们的算术旅程向东进发，从德国移向意大利，从德国的戴德金东行至意大利的数学家皮亚诺。
皮亚诺的算术理论，看他的那本《用新方法呈现的算术原理》一文，他给出了一套约定符号。皮亚诺的这个符号约定，把我的思路发散开了。如开首的那几句短诗，“读啊！写啊！”所言，这读的写的，常常不就是各自的母语，各种各样的自然语言么？我从算术的语言，很自然地想到了自然语言。
自然语言，包括其文字，其实就是一个约定，自然语言无非是某个共同地域人群，通过约定俗成而用于沟通的工具。无论哪一种自然语言，都是长时期不断通约的结果。到了近现代，国家权力与民族认同的需要，就出现周有光老先生谈论世界范围内的语言文字时，所言的诸多情形：

***新兴国家要求创制文字，多民族国家要求调整文字，文字不适用的国家要求改革文字，国际团体和国际会议要求规定公用文字。***（周有光《世界文字发展史》第21页）

这样，语言文字，因权力的参与而需要的约定就更多了。只要是语言文字，也就一概具有“公共”“公用”“共享”的意义在内。由此，因公共圈地的范围不同，而语言文字也就各不相同。周先生没有提到科学家所创制的语言文字，他仅就国家层面讨论自然语言的文字通约。如果把语言文字的范围放得更宽一些，近现代科学的符号体系，其实也是语言的范畴，就像人们把数字看作是科学的语言那样。皮亚诺为算术引入的一套符号结构，不就是一套算数语言么？不过，这个语言需要自然语言在其中同时参和才行，这就如同计算机语言一样，在自然语言基础上构造的计算机语言，才是人们可以理解的专业语言。