公理と証明証明論への招待 - いい本のまとめ

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

著者：彌永昌吉赤攝也
レーベル：ちくま学芸文庫
出版社：筑摩書房
文庫：184ページ
発売日：2012/09/01
価格：1100円
キーワード：招待

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

＜マイリスト＞

＜目次＞

第１章　公理

公理とは何か
ギリシアの数学
プラトン、アリストテレス、エウクレイデス　ほか

第２章　数学の基礎

数学の基礎
論理主義
直観主義　ほか

第３章　証明論

形式的体系
無矛盾性の証明
結び

＜こちらの本も閲覧されています＞

オイラーの贈物

力学・場の理論

通信の数学的理論

力学・場の理論