【最新刊】公理と証明 ──証明論への招待

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

彌永昌吉/赤攝也

935円(税込)
1%獲得

9pt(1%)内訳を見る

本作品についてクーポン等の割引施策・PayPayボーナス付与の施策を行う予定があります。また毎週金・土・日曜日にお得な施策を実施中です。詳しくはこちらをご確認ください。

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

    続きを読む
    ページ数
    189ページ
    提供開始日
    2017/03/17
    連載誌/レーベル
    ちくま学芸文庫
    出版社
    筑摩書房
    ジャンル
    学術・学芸

    レビュー

    レビューコメント(4件)
    • 公理と証明 ──...
      2012/10/08

      数学基礎論についての入門書的な本みたいです。
      第3章の「証明論」はちょっと話が急すぎてついていけなかったですが、全般的にわかりやすく、分量も多くなく、読みやすい本だと思います。

      ■読もうと思った動機...

      続きを読む
      Posted by ブクログ
    • 公理と証明 ──...
      2014/04/21

      なんとか30代でゲーデルの定理を理解したいと思って、この手の本をいろいろ読んでますが、これは「入門書」であるらしいです。たしかに一般向けに書かれたものよりも数式が多い(文系の私にとっては、どうしてもそ...

      続きを読む
      Posted by ブクログ
    • 公理と証明 ──...
      2012/10/06

      証明論の推論の規則はピンと来なかった。
      全体的には比較的読みやすい部類に入ると思う。
      ただくどい。
      ぼくはそのくどさが好きだった。

      Posted by ブクログ
    他のレビューをもっと見る

    セーフモード