朱塞佩·皮亚诺
朱塞佩·皮亚诺(意大利语:Giuseppe Peano,意大利语发音:[dʒuˈzɛppe peˈaːno];1858年8月27日—1932年4月20日)是意大利数学家、逻辑学家、语言学家。
朱塞佩·皮亚诺 Giuseppe Peano | |
---|---|
出生 | 萨丁尼亚王国皮埃蒙特库内奥 | 1858年8月27日
逝世 | 1932年4月20日 意大利都灵 | (73岁)
居住地 | 意大利 |
公民权 | 意大利 |
母校 | 都灵大学 |
知名于 | 皮亚诺公理 皮亚诺曲线 皮亚诺存在性定理 若尔当测度 皮亚诺核定理 皮亚诺-罗素符号 无屈折拉丁语 向量空间 皮亚诺表面 逻辑主义 |
科学生涯 | |
研究领域 | 数学家、语言学家 |
机构 | 都灵大学 猞猁之眼国家科学院 |
博士导师 | 恩里科·多维迪奥 |
其他指导者 | 弗朗切斯科·法阿·迪布鲁诺 |
受影响自 | 欧几里得 安吉洛·杰诺其 戈特洛布·弗雷格 |
施影响于 | 伯特兰·罗素 乔瓦尼·瓦伊拉蒂 |
生涯
朱塞佩·皮亚诺于1858年8月27日生于意大利萨丁尼亚王国的库内奥附近的斯皮内塔村。
1876年入杜林大学学习,于1880年毕业随即留校任教,1884年出任杜林大学微积分学讲师,1887年与Carola Crosio结婚,1895年晋昇为常任教授。1886-1901年,同时担任杜林军事科学院(Royal Military Academy)教授。他大多数生涯在意大利的杜林大学教授数学。一生编写了200多本书及相关资料,其主要著作有《算术原理:用一种新方法的说明》(1889年)、同别人合著的《数学公式汇编》(或译为《数学的陈述》)(全5册,1894年-1908年)等。他是数学逻辑和集合理论的先驱,毕生致力于建立数学基础和发展形式逻辑语言,符号逻辑的奠基人,提出了著名的自然数公理化系统。
数学贡献
皮亚诺在微积分、微分方程、数学基础、射影几何、函数理论等方面都有贡献。他对数理逻辑的创建起了重要的、关键性的作用。他发明了一种表意语言,这种语言符号简单清晰,易于辨认和阅读,其中的许多符号在现代逻辑文献中仍被继续使用。在《数学公式汇编》的著作中试图从运用皮亚诺的逻辑记号的若干基本公理出发,建立整个数学体系。皮亚诺及其合作者利用这种符号语言,分析了数学各分支大量的命题和推理,说明了用这种语言表达数学思维是足够的,可行的。他独立于戈特洛布·弗雷格在数理逻辑方面取得了一些新成果:区别了命题演算和类演算,并且认为命题演算更基本;提出了一部分关于量词的理论;区别了类和类之间的包含关系同分子属于类的关系,从而明确了全称命题和单称命题的不同逻辑性质;明确了某一个体(如月亮)和以此个体为唯一分子的类(如地球的卫星)之间的区别。
《数学公式汇编》及其他著作,使数学家的观点发生了深刻的变化,对嗣后为重新组织数学的努力,尤其对以尼古拉·布尔巴基为笔名的法国数学学派的纲领,产生了很大影响。罗素认为和这两种区别标志着逻辑技术的重要进步,他从中得到很大启发,推动了他关于数学原理的观点的发展。罗素和怀海德在其合著的《数学原理》(3卷;1910∼1913)中,采用了皮亚诺的部分逻辑记号。皮亚诺逻辑理论的严重不足之处在于没有组成一个完整的逻辑演算系统。
皮亚诺的《微分学与积分学原理》(Calcolo differenziale e principii di calcolo integrale)和《无穷小分析教程》(Lezioni di analisi infinitesimale)(2卷)是继法国数学家柯西之后,在发展关于函数的一般理论方面的两部最重要的著作。其《几何演算学》(Calcolo geometrico)包含了他关于数理逻辑的最早研究。
在数学基础方面他曾从不加定义的“集合”、“自然数”、“继数”与“属于”等概念出发,于1889年发表算术原理新方法提出自然数的五条公理,即皮亚诺公理,建立了自然数的理论。其中,第5条“归纳法公理”就是数学归纳法的原理。这一公理系统标志着当时数学分析算术化的终结。
1887年,在《无穷小演算的几何应用》(Applicazioni geometriche del calcolo infinitesimale)中,他在分析学中引进了几何演算的基本要素,成为一个比较严格的容度概念,给出了曲线长度和曲面面积的严密新定义,并得到所谓皮亚诺面积、皮亚诺曲线等。
语言学贡献
皮亚诺同时是一种人工语言“无屈折拉丁语”后称国际语的创立人。基于综合拉丁语、法语、德语和英语的词汇以及大大简化语法,他试图使这种语言成为一种国际辅助语。编纂了《国际语词汇》(Vocabulario de interlingua),并曾任国际语学院院长。
参考文献
- Peano's writings in English translation
- 1889. "The principles of arithmetic, presented by a new method" in Jean van Heijenoort, 1967. A Source Book in Mathematical Logic, 1879–1931. Harvard Univ. Press: 83–97.
- 1973. Selected works of Giuseppe Peano. Kennedy, Hubert C., ed. and transl. With a biographical sketch and bibliography. London: Allen & Unwin.
- Secondary literature
- Gillies, Douglas A., 1982. Frege, Dedekind, and Peano on the foundations of arithmetic. Assen, Netherlands: Van Gorcum.
- Ivor Grattan-Guinness, 2000. The Search for Mathematical Roots 1870–1940. Princeton University Press.
- Kennedy, Hubert C., 1980. Peano: Life and Works of Giuseppe Peano. Reidel. Biography with complete bibliography (p. 195–209).
外部链接
- 约翰·J·奥康纳; 埃德蒙·F·罗伯逊, Peano, MacTutor数学史档案 (英语)
- 朱塞佩·皮亚诺在数学谱系计划的资料。
- Hubert Kennedy. Twelve articles on Giuseppe Peano (PDF). San Francisco: Peremptory Publications. 2002 [8 April 2012]. (原始内容存档 (PDF)于2012-03-26). Collection of articles on life and mathematics of Peano (1960s to 1980s).
- Instituto Pro Latino Sine Flexione (页面存档备份,存于互联网档案馆)