今度こそわかるゲーデル不完全性定理 Gödel's incompleteness theorems

Author(s)

Bibliographic Information

今度こそわかるゲーデル不完全性定理 = Gödel's incompleteness theorems

本橋信義著 ; 講談社サイエンティフィク編集

講談社, 2012.3

Other Title

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

Title Transcription

コンド コソ ワカル ゲーデル フカンゼンセイ テイリ

Access to Electronic Resource 1 items

Related Bibliography 1 items

Available at  / 94 libraries

Note

参考文献: p153-154

索引: p157-161

Description and Table of Contents

Description

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

Table of Contents

  • 第１章　自然言語
  • 第２章　理論の完全性とわかりやすさ
  • 第３章　表現可能性
  • 第４章　初等自然数言語の不完全性定理の証明
  • 第５章　古典的理論と現代的理論
  • 第６章　形式化
  • 第７章　完全性
  • 第８章　ゲーデルの不完全性定理
  • 第９章　ゲーデルの第２不完全性定理
  • 第１０章　新しい論理学

by "BOOK database"

Details

  • NCID
    BB08640867
  • ISBN
    • 9784061565067
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    東京
  • Pages/Volumes
    ix, 161p
  • Size
    21cm
  • Classification
  • Subject Headings
Page Top