書記の読書記録#898『数学基礎論 (ちくま学芸文庫)』

前原 昭二，竹内 外史『数学基礎論 (ちくま学芸文庫)』のレビュー

数学基礎論 (ちくま学芸文庫)

レビュー

さまざまな集合論を含む数学基礎論について，当分野の有名人によるまとめであり，俯瞰するための一読した。

もくじ

数学における集合論的方法
集合論の公理
数学的命題の形式化
数学的推論の形式化
数学的証明の形式化
ゲーデル数
不完全性定理
自然数論の形式化
自然数論に対する無矛盾性証明の必要性
自然数論の無矛盾性証明のアイディア
直観論理
ファジー論理
計算論
集合論の課題
基礎論の将来

本記事のもくじはこちら：

書記の読書記録まとめ｜Writer_Rinka｜note