算術原理新方法

算術原理新方法

目錄

正文


算術原理新方法(Arithmetices principia, novamethodo exposita) 西方現代數學著作。義大利數學家、邏輯學家佩亞諾(Peano, G.)著,1889年出版。書中給出了自然數公理體系,使用了許多符號,對符號邏輯和數學基礎研究產生了重要影響. 19世紀後期,人們對數系的邏輯基礎的普遍關心最終促使人們採取步驟來構造整數的基礎,並確立整數的性質。雖然在從事整數理論工作的人們中有少數人(如克羅內克(Kronecker,L. ))認為像自然數這樣基本的東西已不可能再加以邏輯分析了。戴德金(Dedekind, (J. W. )R.)在其著作((數的性質與意義》中最先給出了一套整數理論,但他的處理過於複雜,不夠清晰,因而未能引起足夠重視。對於整數的處理,最能適合19世紀後期的公理化傾向的,是用一組公理來引進整數的方法。佩亞諾在其著作《算術原理新方法》中首先完成了這件工作。佩亞諾的創造獨立於戴德金,他的第一篇邏輯方面的文章是關於演繹邏輯演算的,刊於1888年的《基於格拉斯曼的線性擴張論的幾何演算》一書中,其中他綜合與改進了布爾(Boole , G.)等人的工作.