読んだ本・読みたい本を簡単登録、読書ソーシャルサービス

公理と証明 (ちくま学芸文庫)

著者	彌永昌吉 / 赤摂也
出版社	筑摩書房
発売日	2012年09月
サイズ	文庫
価格	1,100 円

証明論への招待

数学は学問のなかでもっとも確実なもの、疑えないものと考えられている。数学の確かさは、出発点となる命題、つまり「公理」から、「証明」によって新しいことを導き出すという推論のしくみによって保証される。しかし公理や証明それ自体の確からしさは、いかにして基礎づけられるのだろうか？カントールの創りだした集合論が実は矛盾含みであることをラッセルが明らかにすると、数学者たちはこの問題に目を向けざるをえなくなったのだった。公理とは、証明とは何か？本書はあらゆる数学の基礎となる公理系のしくみ、そして数学全体を見渡す理論である証明論の初歩を、具体例をもとに平易に解説した「数学の基礎」入門である。

文庫 > 科学・医学・技術
文庫 > 人文・思想・社会
科学・技術 > 数学