Alessandro_Padoa
アレッサンドロパドア（1868年10月14日-1937年11月25日）は、イタリアの 数学者および論理学者であり、ジュゼッペペアノの学校に寄稿しました。彼は、何らかの形式的な理論が与えられた場合、新しい原始概念が他の原始概念から本当に独立しているかどうかを判断する方法で記憶されています。公理理論にも同様の問題がつまり、特定の公理が他の公理から独立しているかどうかを判断することです。
アレッサンドロパドア
生まれ（1868-10-14）1868年10月14日
ヴェネツィア、イタリア
死亡しました
1937年11月25日（1937-11-25）（69歳）
ジェノヴァ、イタリア
国籍
イタリアの
科学的キャリア
田畑
数学
パドアの経歴に関する以下の説明は、ピアノ含まれています。
彼はヴェネツィアの中等学校、パドヴァの工学学校、
トリノ大学に通い、1895年に数学の学位を取得しました。彼はPeanoの学生ではありませんでしたが、熱心な弟子であり、1896年以降は協力者と友人。彼はピネロロ、ローマ、カリアリの高校で、そして（1909年から）ジェノヴァの工業大学で教えました。彼はまた、アクイラの師範学校とジェノヴァの海軍学校で役職を歴任し、1898年から、ブリュッセル、パヴィア、ベルン、パドヴァ、カリアリ、ジュネーブの各大学で一連の講義を行いました。彼は、パリ、ケンブリッジ、リボルノ、パルマ、パドヴァ、ボローニャで開催された哲学と数学の会議で論文を発表しました。1934年に彼はアカデミアデイリンセイ（ローマ）から数学の大臣賞を授与されました
1900年のパリでの会議は特に注目に値しました。これらの会議でのパドアの演説は、数学における現代の公理的方法の明確で混乱のない説明でよく記憶されています。実際、彼は「定義された概念と定義されていない概念に関するすべてのアイデアを完全にまっすぐにした最初の…」と言われています。
コンテンツ
1 議会の演説
1.1 哲学者会議 1.2 数学者会議
2 参考文献
3 参考文献
4 外部リンク
議会の演説
哲学者会議
で、哲学の国際会議パドア「どれ演繹論の論理入門」で話しました。彼は言います
演繹理論の精緻化
の期間中に、
私たちは未定義の記号によって表されるアイデアと
、証明されていない命題によって述べられる事実を選択します
。しかし、理論を定式化し始める
と、未定義の記号は完全に意味を欠いており、証明されていない命題（事実、つまり未定義の記号によって表されるアイデア間の
関係を述べるのでは
なく）は単に課せられた条件であると
想像でき
ます未定義のシンボルに対して。
その後、
システムの
アイデア我々が最初に選んだということは、単純に
一つの解釈の
システムの
未定義のシンボル。しかし、演繹的な観点から、この解釈は読者が無視することができます。読者は、証明されていない命題によって述べられた条件を満たす
別の解釈に心の中で自由に置き換えることができそして、命題は演繹的な観点から、
事実ではなく条件を述べているので、
それらを本物の仮説と見なすことはできません パドアは続けて言った：
…何演繹論の論理的な発展に必要なことではない
、物事の性質の経験的知識が、
シンボル間の関係の形式的な知識。
数学者会議
パドアは、1900年の国際数学者会議で、「ユークリッド幾何学の新しい定義システム」というタイトルで講演しました。最初に、彼は当時の幾何学における原始概念のさまざまな選択について議論します。
純粋な論理に現れる記号の意味と同じように、幾何学で出会う
記号
の意味
も前提としなければなりません
。あるように
恣意における
選択の
未定義のシンボルは、説明する必要がある
選択されたシステム。この質問に関係し、未定義のシンボルの数を連続的に
減らした
3つのジオメトリのみを引用し
、それらを介して（および純粋なロジックに表示されるシンボルを
介して）、他のすべて
のシンボルを定義することができ まず、
Moritz Paschは、次の4つの方法で他のすべてのシンボルを定義できました。
1. ポイント 2.（線の）
セグメント
3. 平面 4. は上に重ね合わせることができます
その後、
ジュゼッペペアノは、1889年に点と
セグメントを通る
平面を定義することができました
。1894年に彼は取り替え
時に重ね合わせることであると
モーションので、シンボルにシステムを減らし、未定義シンボルのシステムでは：
1. ポイント 2. セグメント 3. モーション
最後に、1899年に
マリオピエーリは点と
動きを通して
セグメントを定義することができました
。その結果、
すべてのシンボルが、ユークリッド幾何学の1人の出会いは、それらの2つだけの用語で定義することができ、すなわち、
1. ポイント 2. モーション
パドアは、幾何学的概念の彼自身の発展を提案し、実証することによって彼の演説を完了しました。特に、彼とピエリが同一線上の点に関して線をどのように定義するかを示しました。
参考文献
^ スミス2000、p。49 ^ ケネディ（1980）、86ページ ^ Smith 2000、pp。46–47 ^ ファンハイエノールト120，121
参考文献
A.パドア（1900年）「演繹理論の論理的紹介」、ジャン・ファン・ハイエノールト、1967年。数理論理学のソースブック、1879年から1931年。ハーバード大学 プレス：118–23。
A.パドア（1900）「UnNouveauSystèmedeDéfinitionspourlaGéométrieEuclidienne」、国際数学者会議の議事録、第2巻、353〜63ページ。
二次：
Ivor Grattan-Guinness（2000）The Search for Mathematical Roots 1870–1940。プリンストン大学。押す。
HCケネディ（1980）ペアノ、生命とジュゼッペ・ペアノの作品、D. Reidel ISBN 90-277-1067-8。
サップス、パトリック（1957、1999）ロジック入門、ドーバー。「パドアの方法」について説明します。
Smith、James T.（2000）、Methods of Geometry、John Wiley＆Sons、ISBN 0-471-25183-6
ジャン・ファン・ハイエノールト（編）（1967）フレーゲからゲーデルへ。ケンブリッジ：ハーバード大学出版局
外部リンク
オコナー、ジョンJ。; ロバートソン、エドマンドF.、「アレッサンドロパドア」、マックチューター数学史アーカイブ、セントアンドリュース大学