資料詳細

  • 1 件中、 1 件目

【図書】 公理と証明

証明論への招待 -- ちくま学芸文庫 -- Ｍａｔｈ　＆　ｓｃｉｅｎｃｅ
彌永昌吉 ／著, 赤攝也 ／著   -- 筑摩書房 -- ２０１２．９ -- １５ｃｍ -- １８４ｐ

資料詳細

タイトル 公理と証明
副書名 証明論への招待
シリーズ名 ちくま学芸文庫 Ｍａｔｈ　＆　ｓｃｉｅｎｃｅ
著者名等 彌永昌吉 ／著, 赤攝也 ／著  
出版 筑摩書房 ２０１２．９
大きさ等 １５ｃｍ １８４ｐ
分類 410.9
件名 証明（数学）
注記 文献あり
要旨 数学は学問のなかでもっとも確実なもの、疑えないものと考えられている。数学の確かさは、出発点となる命題、つまり「公理」から、「証明」によって新しいことを導き出すという推論のしくみによって保証される。しかし公理や証明それ自体の確からしさは、いかにして基礎づけられるのだろうか？カントールの創りだした集合論が実は矛盾含みであることをラッセルが明らかにすると、数学者たちはこの問題に目を向けざるをえなくなったのだった。公理とは、証明とは何か？本書はあらゆる数学の基礎となる公理系のしくみ、そして数学全体を見渡す理論である証明論の初歩を、具体例をもとに平易に解説した「数学の基礎」入門である。
目次 第１章　公理（公理とは何か；ギリシアの数学；プラトン、アリストテレス、エウクレイデス　ほか）；第２章　数学の基礎（数学の基礎；論理主義；直観主義　ほか）；第３章　証明論（形式的体系；無矛盾性の証明；結び）
ISBN(13)、ISBN 978-4-480-09481-0　　 4-480-09481-4
書誌番号 1112066016

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 １階ポピュラー Map 文庫本 410.9 一般書 利用可 - 2049710693 iLisvirtual

ページの先頭へ