不完全性定理と算術の体系(ゲーデルと20世紀の論理学〈3〉) [全集叢書]

不完全性定理と算術の体系(ゲーデルと20世紀の論理学〈3〉) の 商品概要

• 要旨（「BOOK」データベースより）

  ロジックに革命的転回をもたらした「ゲーデルの定理」その現代的証明と数学基礎論の新展開について解説する。

• 目次（「BOOK」データベースより）

  ゲーデルの不完全性定理とその背景
  第１部　第一不完全性定理と第二不完全性定理（計算論
  ペアノ算術
  第一不完全性定理　ほか）
  第２部　逆数学と２階算術（２階算術と部分体系
  数学の展開と逆数学
  逆数学周辺）
  第３部　ダイアレクティカ解釈（ダイアレクティカ解釈の背景
  ダイアレクティカ解釈の概要
  ダイアレクティカ解釈の展開）

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  田中 一之(タナカ カズユキ)
  １９５５年生まれ。カリフォルニア大学バークレー校博士課程修了。東北大学大学院理学研究科教授。Ｐｈ．Ｄ．

不完全性定理と算術の体系(ゲーデルと20世紀の論理学〈3〉) の商品スペック