公理と証明 ──証明論への招待
購入済み
シリーズ
全1冊
作品情報
数学は学問のなかでもっとも確実なもの、疑えないものと考えられている。数学の確かさは、出発点となる命題、つまり「公理」から、「証明」によって新しいことを導き出すという推論のしくみによって保証される。しかし公理や証明それ自体の確からしさは、いかにして基礎づけられるのだろうか？ カントールの創りだした集合論が実は矛盾含みであることをラッセルが明らかにすると、数学者たちはこの問題に目を向けざるをえなくなったのだった。公理とは、証明とは何か？ 本書はあらゆる数学の基礎となる公理系のしくみ、そして数学全体を見渡す理論である証明論の初歩を、具体例をもとに平易に解説した「数学の基礎」入門である。
- 著者
- 出版社 筑摩書房
- ジャンル
- レーベル ちくま学芸文庫
- シリーズ 公理と証明 ──証明論への招待
- 電子版配信開始日 2017/03/17
- ファイルサイズ 35.74 MB
作品をシェアする
同じ作者の本
-
数学と文化
￥1,100
購入済み
-
現代数学概論
￥1,430
購入済み
-
現代の初等幾何学
￥990
購入済み
-
公理と証明 ──証明論への招待
￥990
購入済み
-
数学序説
￥1,485
購入済み
-
確率論入門
￥1,320
購入済み
-
集合論入門
￥1,210
購入済み
筑摩書房のおすすめ本
-
資本主義はなぜ限界なのか ――脱成長の経済学
￥990
購入済み
-
一番わかりやすいブラックホールの本
￥1,177
購入済み
-
江戸の刑事司法 ――「御仕置例類集」を読みとく
￥968
購入済み
-
細胞を間近で見たらすごかった ――奇跡のようなからだの仕組み
￥990
購入済み
-
生活史の方法 ――人生を聞いて書く
￥1,122
購入済み
-
「面白い！」を見つける ――物事の見え方が変わる発想法
￥968
購入済み
-
倭寇・海商・華僑 ――海はいかにして歴史をつないだか
￥990
購入済み
-
エロってなんだろう？
￥968
購入済み
-
改訂版 金持ち父さんの子供はみんな天才 ――親だからできるお金の教育
￥2,035
購入済み
-
自分以外全員他人
￥814
購入済み
科学・テクノロジーのおすすめ本
-
会話で楽しむ宇宙物理学
￥2,640
購入済み
-
技術革新を支える半導体入門
￥3,187
購入済み
-
にっぽんのカモ
￥1,584
購入済み
-
「なぜ１＋１＝２なのか？」からはじめる非常識な数学教室
￥2,970
購入済み
-
スピルオーバー――ウイルスはなぜ動物からヒトへ飛び移るのか
￥3,344
購入済み
-
一番わかりやすいブラックホールの本
￥1,177
購入済み
-
未来を変えるロボット図鑑
￥2,640
購入済み
-
手を動かしてまなぶ 曲線と曲面
￥3,520
購入済み
-
大学１年生の なっとく！生命科学
￥3,080
購入済み
-
たのしい物理化学１ 化学熱力学・反応速度論
￥3,190
購入済み