オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
404 Blog Not Found:書評 - 不完全性定理
2007年02月05日01:00 カテゴリ書評/画評/品評Math 書評 - 不完全性定理 初掲載2007.02.04 脱帽。 不完全性定理 数学的体系のあゆみ 野崎昭弘 もしかして、今まで読んだ数学書の中で最高傑作かも知れない。 著者の野崎昭弘は、「詭弁論理学」の著者にして、「Gödel, Escher, Bach(GEB)」の訳者。安野光雅と「石頭コンピューター」を共著した人でもある。私は「πの話」以来のファンなのだが、その野崎昭弘が不完全性定理にガチで対峙したのが本書だ。 目次 第1章 ギリシャの奇跡 第2章 体系とその進化 第3章 集合論の光と陰 第4章 証明の形式化 第5章 超数学の誕生 第6章 ゲーデル登場 本書は、「不完全性定理とは何か」だけではなく、「公理とは何か」「定理とは何か」をまずきちんと解説した上で、「不完全性定理は人にとってどんな意味があるのか」までを説いている。
書評 - 無限の果てに何があるか : 404 Blog Not Found
2007年01月18日04:30 カテゴリ書評/画評/品評Math 書評 - 無限の果てに何があるか うーん、参った。まぎれもない傑作なのだけど、まぎれもない傑作がゆえに、(まだ知らない人は)読むのを後回しにして欲しいというか.... 無限の果てに何があるか 足立恒雄 数学ファンなら絶対読むべきだけど、しかし読むのは「オイラーの贈り物」を終えてから、それも単に読了というのではなくそこに書いてあることを全部解けるようになってからにして欲しいという、そんな感じ。 なぜなら、本書「無限の果てに何があるか」は、クライマックスが不完全性定理だから。 目次 プロローグ―「異文化」への招待状 第1章 虚数とは何か 第2章 三角形の内角の和はホントに二直角か 第3章 1+1はなぜ2なのか 第4章 無限とは何か 本blogでは、数学入門書は売り上げトップで、「はじめまして数学」なんかは飛ぶように売れたし、芳
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
The Number "e" by Jerry T. Bonnell and Robert J. Nemiroff
