検索結果書誌詳細

内容紹介

ヒルベルトの提唱した形式主義を概観したのち命題論理・述語論理の無矛盾性と完全性および通常のゲーデルの不完全性定理の証明を述べ、ゲーデルの証明に潜む暗黙の仮定に迫る。『理系への数学』連載を書籍化。

＋ 追加情報を見る

タイトルコード

1000040042027

書誌種別

図書

著者名

北田 均／著

著者名ヨミ

キタダ ヒトシ

出版者

現代数学社

出版年月

2011.5

ページ数・枚数

5,179p

大きさ・形態

19cm

ISBN

4-7687-0391-5

分類記号

410.9

書名

ゲーデル不完全性発見への道 双書・大数学者の数学 6

書名ヨミ

ゲーデル フカンゼンセイ ハッケン エノ ミチ ソウショ ダイスウガクシャ ノ スウガク 6

件名1

不完全性定理

叢書名

双書・大数学者の数学