皮亚诺1858—1932Piyanuo,Peano,G.
意大利数学家、逻辑学家。1876年入都灵大学学习。1895年升为都灵大学教授。皮亚诺对20世纪的数学有杰出贡献。他的名著《算术原理新方法》完成了对整数公理化处理。他曾从不加定义的 “集合”、“自然数”、“继数”、“属于”等概念出发,给出了关于自然数的五条公理:
❶0是一个自然数。
❷0不是任何其它自然数的继数。
❸每一个自然数a都有一个继数。
❹如果a与b的继数相等则a与b相等。
❺若一个由自然数组成的集合s包含有0,又若当s包含有某一数a时,它也一定含有a的继数,则s就包含有全体自然数。很显然,第五条公理是数学归纳公理。皮亚诺这一公理系统,不仅是公理化中发生的一个范例, 同时还标志着当时数学分析算术化的终结。它被称为皮亚诺公理。皮亚诺花费了十多年,编著了5卷本《数学公式》囊括了数学各分支4200余条定理,完全采用纯粹数理逻辑的符号予以证明。他还将其公理化方法应用于其他领域,给出了几何学上的几个公理系统。此外,在代数型理论、向量分析、数值计算、数学史等方面,皮亚诺也有很多重要创见。
意大利的数学家、逻辑学家。他的自然数算术公理系统对公理方法的理论和实践作出了重要的贡献。始创的数理逻辑符号多成为通用符号。他与合作者所著的《数学公式》一书起到了从逻辑代数到现代数理逻辑的过渡作用。