不完全性定理と算術の体系

個数:

不完全性定理と算術の体系

  • ウェブストアに2冊在庫がございます。(2021年05月19日 05時10分現在)
    通常、ご注文翌日~2日後に出荷されます。
  • 出荷予定日とご注意事項
    ※上記を必ずご確認ください

    【ご注意事項】 ※必ずお読みください
    ◆在庫数は刻々と変動しており、ご注文手続き中に減ることもございます。
    ◆在庫数以上の数量をご注文の場合には、超過した分はお取り寄せとなり日数がかかります。入手できないこともございます。
    ◆事情により出荷が遅れる場合がございます。
    ◆お届け日のご指定は承っておりません。
    ◆「帯」はお付けできない場合がございます。
    ◆特に表記のない限り特典はありません。
  • ●店舗受取サービス(送料無料)もご利用いただけます。
    ご注文ステップ「お届け先情報設定」にてお受け取り店をご指定ください。尚、受取店舗限定の特典はお付けできません。詳細はこちら
  • サイズ A5判/ページ数 284p/高さ 22cm
  • 商品コード 9784130640978
  • NDC分類 410.9
  • Cコード C3341

内容説明

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

目次

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

著者等紹介

田中一之[タナカカズユキ]
1955年生まれ。カリフォルニア大学バークレー校博士課程修了。東北大学大学院理学研究科教授。Ph.D.(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。