幾何数と演算
ユークリッド
紀元前300年頃活躍 · 古代ギリシア(アレクサンドリア)
幾何学を切れ目のない証明の鎖に編み上げた最初の人
紀元前300年頃、アレクサンドリアで活躍したユークリッドその人については、ほとんど何も分かっていません。しかし彼が残した『原論』は、少数の公理から出発して次々と定理を証明していく構成で、その後2000年にわたる数学教科書の手本となりました。「幾何学に王道なし」という言葉も彼に帰されています。
主な業績
- 『原論』における公理的証明体系を築いた
- 素数が無限に存在することを証明した
- 最大公約数を求めるユークリッドの互除法