書誌事項

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

彌永昌吉, 赤攝也著

(ちくま学芸文庫, [イ37-2])

筑摩書房, 2012.9

タイトル読み

コウリ ト ショウメイ : ショウメイロン エノ ショウタイ

電子リソースにアクセスする 全1

大学図書館所蔵 件 / 131

この図書・雑誌をさがす

注記

参考文献: p183-184

「新初等数学講座 現代の数学」第1分冊『公理』および第6分冊『基礎論』(1963年、ダイヤモンド社刊行)を合本、文庫化にあたり改題したもの

叢書番号はブックジャケットによる

内容説明・目次

内容説明

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

目次

  • 第1章 公理(公理とは何か;ギリシアの数学;プラトン、アリストテレス、エウクレイデス ほか)
  • 第2章 数学の基礎(数学の基礎;論理主義;直観主義 ほか)
  • 第3章 証明論(形式的体系;無矛盾性の証明;結び)

「BOOKデータベース」 より

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BB10127290
  • ISBN
    • 9784480094810
  • 出版国コード
    ja
  • タイトル言語コード
    jpn
  • 本文言語コード
    jpn
  • 出版地
    東京
  • ページ数/冊数
    184p
  • 大きさ
    15cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ