如此多的数学问题都可以机械化处理，这样的事实给了哲学家戈特弗里德·莱布尼茨(GottfriedLeibniz)(详情见下一章）和艾伦·图灵（详情见下文）很多灵感。
符号的意义
我们在前文中所讨论的“符号”，与通常情况下所理解的“符号”的含义有所不同。
通常情况下我们理解的符号是这样的：婚戒是婚姻的象征；红色交通信号灯意味着停止行驶；穿裙子的人物剪影是女性洗手间的标志；字母“XIV”在罗马数字中代表数字“14”；在法语中，“chien”的意思是“狗”。
由此可以看出，出于物体间的相似程度或者惯例，我们一般会用某一领域的对象来指代另一领域的对象。前者通常是比较具体的、容易听到或看到的事物，而后者是一些不那么具体、少为人知甚至纯粹抽象的事物。在上文提到的实例中，符号可以用来传达某种信息：我们在洗手间的门上贴上人物剪影，我们说出“chien”这个单词，我们写下代表数字的字母“XIV”。这里的每一种情况都是使用符号获取信息的过程。
第日 章符号与符号处理
129