ゲーデルと20世紀の論理学3

不完全な公理系のなかで，数学はどこまで展開可能なのか？　そして，個々の数学理論に必要とされる公理とは？　本書では，２つの不完全性定理に現代的な証明を与え，それ以降の算術の形式体系について得られた現代ロジックについてくわしく解説する．

著者

田中　一之

出版社

東京大学出版会

発売日

2007-03-01

価格

3,800円（税込・書誌情報提供：openBD）

ISBN

9784130640978

ページ数

264ページ

発売済み