- 在庫状況:在庫あり(1〜2日で出荷)
- 公理と証明
-
証明論への招待
ちくま学芸文庫 イ37ー2
- 価格
- 1,100円(本体1,000円+税)
- 発行年月
- 2012年09月
- 判型
- 文庫
- ISBN
- 9784480094810
この商品をご覧のお客様は、こんな商品もチェックしています。
ゲスト さん (ログイン) |
オンライン書店【ホンヤクラブ】はお好きな本屋での受け取りで送料無料!新刊予約・通販も。本(書籍)、雑誌、漫画(コミック)、洋書など在庫も充実
証明論への招待
ちくま学芸文庫 イ37ー2
この商品をご覧のお客様は、こんな商品もチェックしています。
[BOOKデータベースより]
数学は学問のなかでもっとも確実なもの、疑えないものと考えられている。数学の確かさは、出発点となる命題、つまり「公理」から、「証明」によって新しいことを導き出すという推論のしくみによって保証される。しかし公理や証明それ自体の確からしさは、いかにして基礎づけられるのだろうか?カントールの創りだした集合論が実は矛盾含みであることをラッセルが明らかにすると、数学者たちはこの問題に目を向けざるをえなくなったのだった。公理とは、証明とは何か?本書はあらゆる数学の基礎となる公理系のしくみ、そして数学全体を見渡す理論である証明論の初歩を、具体例をもとに平易に解説した「数学の基礎」入門である。
第1章 公理(公理とは何か;ギリシアの数学;プラトン、アリストテレス、エウクレイデス ほか)
第2章 数学の基礎(数学の基礎;論理主義;直観主義 ほか)
第3章 証明論(形式的体系;無矛盾性の証明;結び)