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

個数:
電子版価格 ¥2,376
  • 電書あり

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

  • ウェブストアに1冊在庫がございます。(2017年08月18日 17時55分現在)
  • 出荷予定日とご注意事項
    ※上記を必ずご確認ください

    【出荷予定日】(お取り寄せを除く)
    ■午前0時~午前10時30分までのご注文は「当日出荷」
    ■午前10時31分~午後(夜)11時59分までのご注文は「翌日出荷」
    ■医学系書籍のご注文は「翌日~3日後に出荷」

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

内容説明

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

目次

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

著者紹介

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

出版社内容情報

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

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