亚力山卓·帕多阿

✍ dations ◷ 2025-04-26 12:45:31 #1868年出生,1937年逝世,意大利数学家,数论学家,几何学家,代数学家

亚力山卓·帕多阿(Alessandro Padoa,1868年10月14日 - 1937年11月25日)是一位意大利数学家暨逻辑学家。他因为给出一个方法,能在一定形式理论下,决定一个新的基本概念是否独立于其他基本概念而留名。这在公理化理论中有个类似的问题,即确定一个给定的公理是否独立于其他公理。

在皮亚诺传记里有一段在描述帕多阿的职涯:

1900年的巴黎大会尤其著名。帕多阿在这些大会上的演讲因为他对数学现代公理化方法清晰而不杂乱的阐述而闻名。实际上,他被认为是“第一个……完全知悉那些已定义或未定义概念的人。”

在国际哲学大会上,帕多阿的演讲主题为“任一演绎理论的逻辑引入”(Logical Introduction to Any Deductive Theory)。他说,

帕多阿接着说,

帕多阿在1900年国际数学家大会上的演讲主题为“欧氏几何的新定义系统”。首先,他谈论了几何的基本概念在当时所有的各种选择:

帕多阿以提议与展示他自己发展的几何概念来为演讲作结。特别的是,他展示出他与派埃利以共线点定义出一条线的方法。

相关

  • 热浸镀锌热浸镀锌(HDG),亦称为热镀锌,是一种将钢铁部件置于熔融的锌液中、使镀件获得一层金属保护层的防锈(英语:Rustproofing)方法。热浸镀锌技术具有镀层耐腐蚀性强、厚度及表面形态可控
  • 记号记号(sign)是指一个用来代表其他事物的实体或物体。记号可以表示其他事物确定发生或是出现,也可能只是有一定的可能性。自然的记号是指记号和所代表的事物有因果的关系,例如脚印
  • .mw-parser-output ruby>rt,.mw-parser-output ruby>rtc{font-feature-settings:"ruby"1}.mw-parser-output ruby.large{font-size:250%}.mw-parser-output ruby.larger{fon
  • 奥地利军事奥地利联邦军(德语:Österreichisches Bundesheer)是奥地利的军队,包含陆军(Landstreitkräfte)及空军(德语:Luftstreitkräfte (Bundesheer))(Luftstreitkräfte)等军兵种。仅特种部队
  • 汪琬《清代学者像传》第一集之汪琬像汪琬(1624年-1691年),字苕文,号钝翁,江南长洲县(今江苏省苏州市)人,曾结庐居于太湖尧峯,学者称尧峯先生。明末清初散文家、政治人物。清顺治十二年进士
  • 坎帕拉坐标:00°18′49″N 32°34′52″E / 0.31361°N 32.58111°E / 0.31361; 32.58111坎帕拉(斯瓦希里语:Kampala),乌干达首都,人口150万。海拔1,189米。巴哈伊教七座灵曦堂之一座落
  • 阿米尔-阿巴斯·胡韦达阿米尔-阿巴斯·胡韦达(英语:,波斯语:امیرعباس هویدا;‎,1919年2月18日-1979年4月7日),伊朗经济学家和政治家,1965年1月27日至1977年8月7日担任伊朗首相。他担任首相13
  • 亚历山大 (奥兰治亲王)威廉·亚历山大·卡雷尔·亨德里克·弗雷德里克(Willem Alexander Karel Hendrik Frederik,1851年8月25日-1884年6月21日),是荷兰国王威廉三世的第三子,荷兰王子,奥兰治-拿骚王子,奥
  • 高延扬·雅各布·马里亚·德赫罗特(荷兰语:Jan Jakob Maria de Groot,1854年2月18日-1921年9月24日),汉名高延,荷兰汉学家和宗教史学家。他1854年出生在荷兰,曾先后任教于莱顿大学和柏林
  • 格奥尔基·契切林格奥尔基·瓦西里耶维奇·契切林(俄语:Георгий Васильевич Чичерин,1872年11月24日-1936年7月7日)苏联政治人物,曾任外交部长(1918年-1930年)。契切林为著名