資料詳細

  • 1 件中、 1 件目

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

本橋信義／著 -- 講談社 -- 2012.3 -- 410.9

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 410.9/ﾓﾄﾊ/一般Ｈ 117655459 一般 利用可

ページの先頭へ

資料詳細

タイトル 今度こそわかるゲーデル不完全性定理
書名ヨミ コンド　コソ　ワカル　ゲーデル　フカンゼンセイ　テイリ
著者名 本橋信義 ／著  
著者ヨミ モトハシ，ノブヨシ  
出版者 講談社  
出版年 2012.3
ページ数等 １６１ｐ
大きさ ２１ｃｍ
内容細目 文献あり　索引あり
一般件名 ゲーデルの定理  
ISBN 4-06-156506-0
ISBN13桁 978-4-06-156506-7
定価 ２７００円
問合わせ番号（書誌番号） 1101844307
NDC8版 410.9
NDC9版 410.9
内容紹介 難解なゲーデルの不完全性定理を「ふつうの言葉」で解き明かす。初学者がつまづくところを熟知した著者による、丁寧な解説。
著者紹介 １９４３年東京都生まれ。東京大学大学院理学系研究科修士課程数学専修了。学習院大学、東京教育大学、筑波大学を経て、現在、筑波大学名誉教授。専門は数理論理学。著書に「現代論理学入門」など。 

ページの先頭へ

内容一覧

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

ページの先頭へ