内容説明
ロジックに革命的転回をもたらした「ゲーデルの定理」その現代的証明と数学基礎論の新展開について解説する。
目次
ゲーデルの不完全性定理とその背景
第1部 第一不完全性定理と第二不完全性定理(計算論;ペアノ算術;第一不完全性定理 ほか)
第2部 逆数学と2階算術(2階算術と部分体系;数学の展開と逆数学;逆数学周辺)
第3部 ダイアレクティカ解釈(ダイアレクティカ解釈の背景;ダイアレクティカ解釈の概要;ダイアレクティカ解釈の展開)
著者等紹介
田中一之[タナカカズユキ]
1955年生まれ。カリフォルニア大学バークレー校博士課程修了。東北大学大学院理学研究科教授。Ph.D.(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。