出版社内容情報
数学の正しさ、「無矛盾性」はいかにして保証されるのか。あらゆる数学の基礎となる公理系のしくみと証明論の初歩を、具体例をもとに平易に解説。
内容説明
数学は学問のなかでもっとも確実なもの、疑えないものと考えられている。数学の確かさは、出発点となる命題、つまり「公理」から、「証明」によって新しいことを導き出すという推論のしくみによって保証される。しかし公理や証明それ自体の確からしさは、いかにして基礎づけられるのだろうか？カントールの創りだした集合論が実は矛盾含みであることをラッセルが明らかにすると、数学者たちはこの問題に目を向けざるをえなくなったのだった。公理とは、証明とは何か？本書はあらゆる数学の基礎となる公理系のしくみ、そして数学全体を見渡す理論である証明論の初歩を、具体例をもとに平易に解説した「数学の基礎」入門である。
目次
第１章 公理（公理とは何か；ギリシアの数学；プラトン、アリストテレス、エウクレイデス ほか）
第２章 数学の基礎（数学の基礎；論理主義；直観主義 ほか）
第３章 証明論（形式的体系；無矛盾性の証明；結び）
著者等紹介
彌永昌吉［イヤナガショウキチ］
１９０６年生まれ。１９２９年東京帝国大学理学部数学科卒業。東京大学教授を経て同大学名誉教授。２００６年没
赤攝也［セキセツヤ］
１９２６年生まれ。１９４９年東京大学理学部数学科卒業。立教大学、東京教育大学、放送大学教授を歴任（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
KAZOO
126
大学教養課程の数学基礎なのでしょう。どちらかというと哲学的な感じで、前半は数式などが出てこずに比較的読みやすさを感じました。後半の証明論はやはりかなりレベルが高いような気がしました。薄い本ですが内容は結構数学にしては考えさせて読ませてくれる本でこのような分野もあるのか、という感じでした。私は好きな本です。2017/01/18
evifrei
15
1955年に出版された『新初等数学講座』のうち『公理』と『基礎論』を合版・縮小した一冊で、公理や証明とは一体どういったものかを詳しく語る事を目的に書かれた書籍らしい。がっつりと数学をするというニュアンスより、より沢山の人の興味を喚起するために書かれた数学読物と数学の入門書の間のような立ち位置の本だ。本書は書き方が本当に面白く、説明も解りやすい。全くの初学者が手にとることも想定されていたのか、数学基礎論・証明論について知識が浅い自分でも夢中になって読めた。ちくまの数学シリーズは難易度設定が絶妙な良書揃いだ。2020/03/19
オザマチ
13
ユークリッド幾何学だけを例に出されると退屈だけど、群論が例に挙げられていたのは興味深かった。有限の立場で実際どこまでの事ができるのか、見通しだけでももう少し知りたい。2024/10/17
オザマチ
9
再読。数理論理学を本格的に学んで、この本で書かれていることの先を調べてみようかな？2024/12/25
Taizo
6
中学生「メネラウスの定理より以下のことが言える」学校の先生「そんな定理は教科書に載ってない（＝習ってない）ので減点」中学生「・・・」これに似た構図はよくネットなんかでも話題になる。大体は「これだからお役所仕事の教師は、、」という方向に批判が集まるわけだが、実はこれ数学とは何か？という深い話につながっている。気になった方は是非本書を読んで欲しい。実は現在の数学は「こういう仮説（=公理）のもとで議論しまーす」という形式になっている。これを教科書に置き換えると上述の批判はナンセンスでルール違反なことがわかる。2021/11/19
