ジュゼッペ・ペアノとは？
じゅぜっぺぺあの
ジュゼッペ・ペアノは、自然数の公理系「ペアノの公理」で知られるイタリアの数学者・論理学者です。
ジュゼッペ・ペアノ（Giuseppe Peano、1858〜1932年）は、イタリアのピエモンテ州に生まれた数学者・論理学者です。トリノ大学で長く教鞭をとり、数学の厳密な論理的基礎づけに生涯を捧げました。
最も広く知られる業績は、ペアノの公理（ペアノ算術）です。これは自然数の性質を少数の公理によって厳密に定義したもので、主な内容は次の通りです。
- 0（または1）は自然数である
- 任意の自然数nには後継者s(n)が存在する
- 0はいかなる自然数の後継者でもない
- 異なる自然数は異なる後継者を持つ
- 数学的帰納法の原理が成り立つ
これらの公理は現代の数学基礎論において今なお重要な位置を占めています。またペアノは、数学記号の体系化にも大きく貢献しました。現在も使われる「∈」（集合の元を表す記号）などはペアノが導入・普及させたものです。
さらに、ペアノは「ペアノ曲線」と呼ばれる空間充填曲線を発見したことでも知られます。これは連続でありながら正方形全体を通過する曲線であり、直感に反する性質を持つことで数学史上の重要な発見とされています。人工言語「ラテン語間言語」の普及活動にも熱心に取り組みました。
使い方・例文
「自然数の定義はペアノの公理に従い、帰納法による証明もこの公理系の上で厳密に正当化される」という形で、数学基礎論や集合論の教科書に登場します。
この用語をシェア
最終更新: