朱塞佩·皮亚诺

✍ dations ◷ 2025-04-04 11:49:12 #1858年出生,1932年逝世,语言学家,逻辑学家,意大利数学家,语言创造者,都灵大学校友

朱塞佩·皮亚诺 Giuseppe Peano(1858年8月27日-1932年4月20日)是意大利数学家、逻辑学家、语言学家。

朱塞佩·皮亚诺于1858年8月27日生于意大利的库内奥(Cuneo)附近的斯宾尼塔(Spinetta)村,1932年4月20日因心脏病发卒于杜林(Turin)。他是数学逻辑和集合理论的先驱,毕生致力于建立数学基础和发展形式逻辑语言,符号逻辑的奠基人,提出了著名的自然数公理化系统。1876年入杜林大学学习,于1880年毕业随即留校任教,1884年出任杜林大学微积分学讲师,1887年与Carola Crosio结婚,1895年晋昇为常任教授。1886-1901年,同时担任杜林军事科学院教授。他大多数生涯在意大利的杜林大学教授数学。一生编写了200多本书及相关资料,其主要著作有《算术原理:用一种新方法的说明》(1889年)、同别人合著的《数学公式汇编》(Formulaire de mathematiques),或译为《数学的陈述》(全5册,1894年-1908年)等。

皮亚诺在微积分、微分方程、数学基础、射影几何、函数理论等方面都有贡献。他对数理逻辑的创建起了重要的、关键性的作用。他发明了一种表意语言,这种语言符号简单清晰,易于辨认和阅读,其中的许多符号在现代逻辑文献中仍被继续使用。在《数学公式汇编》的著作中试图从运用皮亚诺的逻辑记号的若干基本公理出发,建立整个数学体系。皮亚诺及其合作者利用这种符号语言,分析了数学各分支大量的命题和推理,说明了用这种语言表达数学思维是足够的,可行的,他独立于弗雷格·G在数理逻辑方面取得了一些新成果:区别了命题演算和类演算,并且认为命题演算更基本;提出了一部分关于量词的理论;区别了类和类之间的包含关系同分子属于类的关系,从而明确了全称命题和单称命题的不同逻辑性质;明确了某一个体(如月亮)和以此个体为唯一分子的类(如地球的卫星)之间的区别,这一著作及其他著作,使数学家的观点发生了深刻的变化,对嗣后为重新组织数学的努力,尤其对以尼古拉·布尔巴基(Nicolas Bourbaki)为笔名的法国数学学派的纲领,产生了很大影响。罗素认为和这两种区别标志着逻辑技术的重要进步,他从中得到很大启发,推动了他关于数学原理的观点的发展。罗素和怀海德(Alfred North Whitehead)在其合著的《数学原理》(Principia Mathematica,3卷;1910∼1913)中,采用了皮亚诺的部分逻辑记号。皮亚诺逻辑理论的严重不足之处在于没有组成一个完整的逻辑演算系统。

皮亚诺的《微分学与积分学原理》(Calcolo differenziale e principii di calcolo integrale)和《无穷小分析教程》(Lezioni di analisi infinitesimale)(2卷)是继法国数学家柯西(Augustin Cauchy)之后,在发展关于函数的一般理论方面的两部最重要的著作。其《几何演算学》(Calcolo geometrico)包含了他关于数理逻辑的最早研究。

在数学基础方面他曾从不加定义的“集合”、“自然数”、“继数”与“属于”等概念出发,于1889年发表算术原理新方法提出自然数的五条公理,建立了自然数的理论。其中,第5条“归纳法公理”就是数学归纳法的原理。

自然数的五条公理(皮亚诺公理):

这一公理系统标志着当时数学分析算术化的终结。

1887年,在《无穷小演算的几何应用》(Applicazioni geometriche del calcolo infinitesimale)中,他在分析学中引进了几何演算的基本要素,成为一个比较严格的容度概念,给出了曲线长度和曲面面积的严密新定义,并得到所谓皮亚诺面积、皮亚诺曲线等。

皮亚诺同时是一种人工语言“无屈折拉丁语”后称国际语的创立人。基于综合拉丁语、法语、德语和英语的词汇以及大大简化语法,他试图使这种语言成为一种国际辅助语。编纂了《国际语词汇》(Vocabulario de interlingua),并曾任国际语学院院长。

&   ∨   ¬   ~   →   ⊃   ≡   |   ∀   ∃   ⊤   ⊥   ⊢   ⊨   ∴   ∵

相关

  • 美国人口2019年估计,美国的人口总数约329,730,000人。美国人口高度城镇化,在2008年时约有81%人口居住在城市及其郊区(同时期世界城镇化率为54%),这使得美国有许多土地上无人居住。加利福
  • 西普塔一世西普塔一世,全名奈杰卡尔·西普塔(英语:Netjerkare Siptah)古埃及古王国时期第六王朝的第七任、也是最后一任法老,也有学者将他视作第七王朝的第一位法老。如同公元前22世纪的其
  • 行政院消费者保护委员会行政院消费者保护会,简称消保会,于1994年7月1日成立,2012年前曾为中华民国行政院部会“行政院消费者保护委员会”。期间专责政策之研订、审议及协调推动、《消费者保护法》之解
  • 毒伞毒素毒伞肽(Amatoxin),又称毒伞肽类毒素、毒伞毒素、瓢蕈毒素,是多种来自毒蘑菇的毒素的统称,来自鹅膏菌属(Amanita)、锥盖伞属(Conocybe)、盔孢伞属(Galerina)及环柄菇属(Lepiota)等菌类。假
  • 急性冠状动脉症候群急性冠状动脉综合征(英语:ACS, Acute coronary syndrome)是指由冠状动脉阻塞所引起的任何类型的症状。最常见的症状是胸部有挤压般的疼痛,常放射至左臂或下颌角点(gonion),并伴有
  • 泰德·邦迪西奥多·罗伯特·“泰德”·邦迪(Theodore Robert "Ted" Bundy,1946年11月24日-1989年1月24日),原名西奥多·罗伯特·考维尔(Theodore Robert Cowell),是美国一个活跃于1973年至1978
  • 圣马修岛坐标:60°24′31″N 172°43′12″W / 60.40861°N 172.72000°W / 60.40861; -172.72000 圣马修岛是美国的岛屿,位于努尼瓦克岛西南面295公里的白令海,由阿拉斯加州负责管辖,长
  • 阿比林阿比林(Abilene)是美国得克萨斯州泰勒县的县治所在城市。据2010年人口普查,该市有人口117,063人。迪埃斯空军基地就位于该市的西部。
  • 地缘政治Portal:政治地缘政治学(英语:Geopolitics、德语:Geopolitik)是探讨个人、组织或团体,因为空间分布等的地理因素,经营政治的手段及方法。目前用于军事、外交等战略分析方面较多,通常
  • 商业条款宪法正文I ∙ II ∙ III ∙ IV ∙ V ∙ VI ∙ VII其它修正案 XI ∙ XII ∙ XIII ∙ XIV ∙ XV XVI ∙ XVII ∙ XVIII ∙ XIX ∙ XX XXI ∙ XXII ∙ XXIII ∙