Neblux 知識グラフ
数学証明
数学的証明とは、公理とすでに確立された定理から出発する論理的演繹の連鎖であり、命題の真理を絶対的確実性をもって確立するもの——新しい証拠によって例外や将来的な改訂を認めない、人類の知識の唯一の形態——である。
概要
ユークリッドの公理的方法は紀元前300年頃にこの基準を設定し、形式的演繹証明はそれ以降数学的確実性の基礎であり続けた。証明技法は直接演繹・背理法・数学的帰納法から、より最近ではコンピュータ支援検証——四色定理の場合のように——に及び、機械によって検証された証明が真の数学的理解を構成するかどうかについての哲学的問いを提起する。
なぜ重要か
証明という理想は数学をはるかに超えた厳密な議論の構造を形成した。技術者は形式検証を用いてソフトウェアの正確さを論理的仕様に照らして確認し、法体系は合理的疑いを超えた証明を含む独自の証明基準を発展させ、科学者は仮説検定を経験的アナログとして用いる。証明の文化は厳密な正当化を志す各学問分野の認識論的基準に深く影響を与えてきた。
どこへ導くか
関連する概念
- 数学論理
- 論理学論理
- コンピュータサイエンス応用
- 哲学概念