資料詳細

  • 1 件中、 1 件目

ゲーデル不完全性発見への道 利用可

北田均／著 -- 現代数学社 -- 2011.5 -- 410.9

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

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

ページの先頭へ

資料詳細

タイトル ゲーデル不完全性発見への道
書名ヨミ ゲーデル　フカンゼンセイ　ハッケン　エノ　ミチ
シリーズ名 双書・大数学者の数学
シリーズ巻次 ６
著者名 北田均 ／著  
著者ヨミ キタダ，ヒトシ  
出版者 現代数学社  
出版年 2011.5
ページ数等 １７９ｐ
大きさ １９ｃｍ
内容細目 文献あり　索引あり
一般件名 ゲーデルの定理  
ISBN 4-7687-0391-7
ISBN13桁 978-4-7687-0391-5
定価 １８００円
問合わせ番号（書誌番号） 1101779495
NDC8版 410.9
NDC9版 410.9

ページの先頭へ

内容一覧

タイトル 著者名 ページ
不完全性定理とは何か
形式的自然数論
命題計算の無矛盾性
命題計算の完全性
述語計算の無矛盾性
述語計算の完全性
ゲーデルナンバリング
証明の再帰性
証明の数値的表現
ゲーデル述語
数学は矛盾している？
自己言及と矛盾性

ページの先頭へ