Mendeley出力
＜図書＞
公理と証明 : 証明論への招待
コウリ ト ショウメイ : ショウメイロン エノ ショウタイ
| 責任表示 | 彌永昌吉, 赤攝也著 |
|---|---|
| シリーズ | ちくま学芸文庫 ; [イ37-2] |
| データ種別 | 図書 |
| 出版情報 | 東京 : 筑摩書房 , 2012.9 |
| 本文言語 | 日本語 |
| 大きさ | 184p : 挿図 ; 15cm |
| 概要 | 数学は学問のなかでもっとも確実なもの、疑えないものと考えられている。数学の確かさは、出発点となる命題、つまり「公理」から、「証明」によって新しいことを導き出すという推論のしくみによって保証される。しかし公理や証明それ自体の確からしさは、いかにして基礎づけられるのだろうか?カントールの創りだした集合論が実は矛盾含みであることをラッセルが明らかにすると、数学者たちはこの問題に目を向けざるをえなくなった...だった。公理とは、証明とは何か?本書はあらゆる数学の基礎となる公理系のしくみ、そして数学全体を見渡す理論である証明論の初歩を、具体例をもとに平易に解説した「数学の基礎」入門である。続きを見る |
| 目次 | 第1章 公理(公理とは何か ギリシアの数学 プラトン、アリストテレス、エウクレイデス ほか) 第2章 数学の基礎(数学の基礎 論理主義 直観主義 ほか) 第3章 証明論(形式的体系 無矛盾性の証明 結び) |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図1F 開架 | 410.9/I 97 | 2012 |
|
032112012032986 |
|
書誌詳細
| 一般注記 | 参考文献: p183-184 「新初等数学講座 現代の数学」第1分冊『公理』および第6分冊『基礎論』(1963年、ダイヤモンド社刊行)を合本、文庫化にあたり改題したもの 叢書番号はブックジャケットによる |
|---|---|
| 著者標目 | 弥永, 昌吉(1906-) <イヤナガ, ショウキチ> 赤, 攝也(1926-) <セキ, セツヤ> |
| 件 名 | BSH:数学基礎論 |
| 分 類 | NDC8:410.9 |
| 書誌ID | 1001494047 |
| ISBN | 9784480094810 |
| NCID | BB10127290 |
| 巻冊次 | ISBN:9784480094810 ; PRICE:1000円+税 |
| 登録日 | 2012.12.19 |
| 更新日 | 2012.12.19 |