今度こそわかるゲーデル不完全性定理

個数:
電子版価格 ¥2,376
  • 電書あり
  • ポイントキャンペーン

今度こそわかるゲーデル不完全性定理

  • 本橋 信義【著】
  • 価格 ¥2,916(本体¥2,700)
  • 講談社(2012/03発売)
  • クリスマスポイント2倍キャンペーン
  • ポイント 54pt
  • 出版社からお取り寄せいたします。

    【出荷までの期間】
    ■3日~3週間程度

    【ご注意事項】 ※必ずお読みください
    ◆上記期間よりも日数がかかる場合がございます。
    ◆お届け日のご指定は承っておりません。
    ◆品切れ・絶版等により入手できない場合がございます。
    ◆品切れ・絶版等の確認に2週間以上かかる場合がございます。
    ◆「帯」はお付けできない場合がございます。
    ◆特に表記のない限り特典はありません。
    店舗受取サービスはご利用いただけません。

  • ●この商品は国内送料無料です。
  • サイズ A5判/ページ数 161p/高さ 21cm
  • 商品コード 9784061565067
  • NDC分類 410.9

内容説明

難解なゲーデルの不完全性定理を「ふつうの言葉」で解き明かす。初学者がつまづくところを熟知した著者による、丁寧な解説。

目次

第1章 自然言語
第2章 理論の完全性とわかりやすさ
第3章 表現可能性
第4章 初等自然数言語の不完全性定理の証明
第5章 古典的理論と現代的理論
第6章 形式化
第7章 完全性
第8章 ゲーデルの不完全性定理
第9章 ゲーデルの第2不完全性定理
第10章 新しい論理学

著者紹介

本橋信義[モトハシノブヨシ]
1943年、東京都に生まれる。東京大学大学院理学系研究科修士課程数学専攻修了。学習院大学、東京教育大学、筑波大学を経て、筑波大学名誉教授。理学博士。専門は数理論理学(本データはこの書籍が刊行された当時に掲載されていたものです)

出版社内容情報

ゲーデルは何を証明しようとしたのか?不完全性定理を初学者が一歩ずつ着実に理解できるように、平易な言葉遣いで説く、新しい入門書

ゲーデルは、何を証明しようとしたのか? 数理論理学を初学者に教えれば右に出る者のない著者が、わかりやすい言葉遣いで説く。初学者が不完全性定理を一歩ずつ着実に理解できるように心がけた、新しい入門書。