公理と証明　──証明論への招待

価格	：	935 円（税込）
獲得dポイント	：	8 PT

※WebIDからdアカウントへ移行すると、dポイントをためる・つかうことができます。詳しくはこちら

作品内容

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

作品情報

出版社	筑摩書房
ジャンル	ビジネス・実用等 > 教育・学問・資格
掲載雑誌
レーベル名	ちくま学芸文庫
シリーズ
電子版発売日	2017/03/17
紙の本発売日	2012/09/10 ( 2010年代 )
ページ数：
対応端末