公理と証明 : 証明論への招待
著者
書誌事項
公理と証明 : 証明論への招待
（ちくま学芸文庫, [イ37-2]）
筑摩書房, 2012.9
- タイトル読み
-
コウリ ト ショウメイ : ショウメイロン エノ ショウタイ
大学図書館所蔵 件 / 全131件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p183-184
「新初等数学講座 現代の数学」第1分冊『公理』および第6分冊『基礎論』(1963年、ダイヤモンド社刊行)を合本、文庫化にあたり改題したもの
叢書番号はブックジャケットによる
内容説明・目次
内容説明
数学は学問のなかでもっとも確実なもの、疑えないものと考えられている。数学の確かさは、出発点となる命題、つまり「公理」から、「証明」によって新しいことを導き出すという推論のしくみによって保証される。しかし公理や証明それ自体の確からしさは、いかにして基礎づけられるのだろうか？カントールの創りだした集合論が実は矛盾含みであることをラッセルが明らかにすると、数学者たちはこの問題に目を向けざるをえなくなったのだった。公理とは、証明とは何か？本書はあらゆる数学の基礎となる公理系のしくみ、そして数学全体を見渡す理論である証明論の初歩を、具体例をもとに平易に解説した「数学の基礎」入門である。
目次
- 第１章 公理（公理とは何か；ギリシアの数学；プラトン、アリストテレス、エウクレイデス ほか）
- 第２章 数学の基礎（数学の基礎；論理主義；直観主義 ほか）
- 第３章 証明論（形式的体系；無矛盾性の証明；結び）
「BOOKデータベース」 より