公理と証明 ─証明論への招待
入門 数学の基礎
数学の正しさ、「無矛盾性」はいかにして保証されるのか。あらゆる数学の基礎となる公理系のしくみと証明論の初歩を、具体例をもとに平易に解説。
数学は学問のなかでもっとも確実なもの、疑えないものと考えられている。数学の確かさは、出発点となる命題、つまり「公理」から、「証明」によって新しいことを導き出すという推論のしくみによって保証される。しかし公理や証明それ自体の確からしさは、いかにして基礎づけられるのだろうか?カントールの創りだした集合論が実は矛盾含みであることをラッセルが明らかにすると、数学者たちはこの問題に目を向けざるをえなくなったのだった。公理とは、証明とは何か?本書はあらゆる数学の基礎となる公理系のしくみ、そして数学全体を見渡す理論である証明論の初歩を、具体例をもとに平易に解説した「数学の基礎」入門である。
第1章 公理(公理とは何か
ギリシアの数学
プラトン、アリストテレス、エウクレイデス ほか)
第2章 数学の基礎(数学の基礎
論理主義
直観主義 ほか)
第3章 証明論(形式的体系
無矛盾性の証明
結び)
本書をお読みになったご意見・ご感想などをお寄せください。
投稿されたお客様の声は、弊社HP、また新聞・雑誌広告などに掲載させていただくことがございます。
※は必須項目です。おそれいりますが、必ずご記入をお願いいたします。
(ここから質問、要望などをお送りいただいても、お返事することができません。あしからず、ご了承ください。お問い合わせは、こちらへ)
歳
公開可 公開不可