数学符号运算问题的历史.pdfVIP

. 了解数学符号运算问题的历史 数学的主要内容是计算和证明。在十七世纪，算术因符号化促使了 代数学的产生，代数使计算变得精确和方便，也使计算方法系统化。费尔 马和笛卡儿的解析几何把几何学代数化，大大扩展了几何的领域，而且使 得少数天才的推理变成机械化的步骤。这反映了代数学作为普遍科学方法 的效力，于是笛卡儿尝试也把逻辑代数化。与笛卡儿同时代的英国哲学家 霍布斯也认为推理带有计算性质，不过他并没有系统地发展这种思想。 现在公认的数理逻辑创始人是莱布尼兹。他的目的是选出一种“通用代 数”，其中把一切推理都化归为计算。实际上这正是数理逻辑的总纲领。 他希望建立一套普遍的符号语言，其中的符号是表义的，这样就可以象数 字一样进行演算，他的确将某些命题形式表达为符号形式，但他的工作只 是一个开头，大部分没有发表，因此影响不大。 真正使逻辑代数化的是英国数学家布尔，他在 1847 年出版了《逻辑的数 学分析》，给出了现代所谓的“布尔代数”的原型。布尔确信符号化会使 逻辑变得严密。他的对象是事物的类， 1 表示全类， 0 表示空类； xy 表示 x 和 y 的共同分子所组成的类，运算是逻辑乘法； x ＋y 表示 x 和 y 两类所 合成的类，运算是逻辑加法。 所以逻辑命题可以表示如下： 凡 x 是 y 可以表示成 x(1 －y) ＝0 ；没有 x 是 y 可以表示成 xy ＝0。它还可以表示矛盾律 x(1 －x) ＝0；排中律 x ＋(1 － x) ＝1。 . . 布尔看出类的演算也可解释为命题的演算。当 x 、y 不是类而是命题，则 x ＝1 表示的是命题 x 为真， x ＝0 表示命题 x 为假， 1－x 表示 x 的否定等 等。显然布尔的演算构成一个代数系统，遵守着某些规律，这就是布尔代 数。特别是它遵从德 ?莫尔根定律。 美国哲学家、 数学家小皮尔斯推进了命题演算， 他区别了命题和命题函数。 一个命题总是真的或假的，而一个命题函数包含着变元，随着变元值选取 的不同，它可以是真也可以是假。皮尔斯还引进了两个变元的命题函数以 及量词和谓词的演算。 对现代数理逻辑贡献最大的是德国耶拿大学教授、数学家弗雷格。弗雷格 在 1879 年出版的《概念文字》一书中不仅完备地发展了命题演算，而且 引进了量词概念以及实质蕴涵的概念，他还给出一个一阶谓词演算的公理 系统，这可以说是历史上第一个符号逻辑的公理系统。 因此在这本只有 88 页的小册子中，包含着现代数理逻辑的一个颇为完备的基础。 用符号语言对数学进行公理化的是意大利数学家皮亚诺，他在 1889 年用 拉丁文写了一本小册子《用新方法陈述的算术原理》。在这之前，皮亚诺 已经把布尔和施罗德的逻辑用在数学研究上，并且引进了一系列对于他前 人工作的更新。例如对逻辑运算和数学运算使用不同的符号，区别范畴命 题和条件命题，这引导他得出量词理论。 数学符号 1 概述 . . 数学符号的发明和使用比数字晚， 但是数量多得多。 现在常用的有 200 多个， 初中数学书里就不下 20 多种。它们都有一段有趣的经历。 2 来历 例如加号曾经有好几种，现在通用“ +”