ゲーデルに挑む―証明不可能なことの証明 [単行本]

ゲーデルに挑む―証明不可能なことの証明 [単行本] の 商品概要

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

  待望の本格的ロジック指南書。イラスト付きでていねいな解説。「不完全性定理」完全攻略ガイド。

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

  原論文訳・解説（体系Ｐ、ゲーデル数、再帰的関数
  メタ数学の再帰的表現
  第一不完全性定理
  １階算術への還元
  第二不完全性定理）
  補遺（１階算術と論理式の階層
  計算可能性理論
  １階算術の形式体系
  文献案内）

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

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

ゲーデルに挑む―証明不可能なことの証明 [単行本] の商品スペック