# Euclid ## 概要 紀元前300年頃、エジプトのアレクサンドリアで活動した数学者。数学における真理の確立手続きとして公理的方法(axiomatic method)を考案した人物とされる。幾何学について、直接経験に照らして疑いようのない5つの仮定(例:「任意の2点の間には直線分が存在する」)を公理として設定し、そこから論理的な演繹の連鎖(証明)によって多数の命題の真偽を確立した。この公理と証明による方法は現代数学の基礎として今日まで受け継がれている。(Source: [[@2015__MIT__Mathematics for Computer Science - Chapter 1 What is a Proof?]] §1.3) ## 関連 - 概念: [[公理的方法]]、[[証明]] - 章: [[@2015__MIT__Mathematics for Computer Science - Chapter 1 What is a Proof?]] ## 出典 - Eric Lehman, F. Thomson Leighton, Albert R. Meyer, *Mathematics for Computer Science*, revised 2015-05-18, Chapter 1, §1.3.