二十世纪的数学-汽车产业开发区教育信息网.DOC

第十四章：现代数学概观－二十世纪的数学 第一节 五大新兴学科的建立 一、数理逻辑 1．符号逻辑 数理逻辑作为一门数学学科，来源于对数学和逻辑基础的探讨，它最早可追溯到莱布尼茨，他关于逻辑演算的观念预示着布尔代数，而英国数学家布尔(G．Boole 1815—1864)在1847年出版《逻辑的数学分析》一书，正式推出所谓布尔代数，在逻辑上相当于命题演算．其后由英国数学家杰方斯(W．S．Jevons，1835—1882)和小皮尔斯(C．S．Peirce，1839—1914)在1874年加入次序关系，德国数学 卷中加以公理化．第一个完全形式化的语言是德国数学家弗瑞格(G．Frege，1848—1925)在1879年出版的《概念文字》中引进的．他首先定义了全称量词及存在量词．并引进一般的谓词逻辑．不过相应的逻辑代数一直到1950年才由波兰数学家塔斯基(A．Tarski，1902—1983)所发展，他引进所谓“圆柱代数”．1955年美国数学家哈尔莫斯(P．Halmos，1916—)又引进多进代数，形成一般的逻辑代数理论．1889年意大利数学家皮亚诺(G．Peano，1858—1932)提出自然数的公理系统，即后来所谓皮亚诺算术公理．而戴德金在前一年也提出类似的公理系统．弗雷格在1884年出版的《算术基础》中开始提到算术无非是扩展的逻辑．戴德金也提出类似的观点．弗雷格在1893年出