横浜市立図書館蔵書検索ページ
トップメニュー
詳細検索
ジャンル検索
新着・本紹介
お知らせ
レファレンス
(調べもの・相談)
Myライブラリ
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細検索
ジャンル検索
1 件中、 1 件目
NEW
【図書】
不完全性定理
菊池誠
/著 --
共立出版 -- 2014.10 -- 22cm -- 348p
予約申込
本棚へ
資料詳細
タイトル
不完全性定理
著者名等
菊池誠
/著
出版
共立出版 2014.10
大きさ等
22cm 348p
分類
410.9
件名
ゲーデルの定理
注記
並列タイトル:The Incompleteness Theorems
注記
文献あり 索引あり
著者紹介
1991年東京工業大学理学部卒。現在、神戸大学大学院システム情報学研究科准教授。専門、数学基礎論。
内容紹介
専門的な予備知識は仮定せずに、完全性定理や計算可能性から論じ、第一および第二不完全性定理、Rosserの定理、算術の超準モデルなどを紹介。不完全性定理の数学的意義と、その根源にある哲学的問題を説く。
要旨
専門的な予備知識は仮定せずに完全性定理や計算可能性から論じ、第一および第二不完全性定理、Rosserの定理、Hilbertのプログラム、G¨odelの加速定理、算術の超準モデル、Kolmogorov複雑性などを紹介して、不完全性定理の数学的意義と、その根源にある哲学的問題を説く。
目次
第1章 序:物語の起源;第2章 命題論理;第3章 述語論理;第4章 算術と集合論;第5章 計算可能性;第6章 定義可能性と表現可能性;第7章 不完全性定理;第8章 幾つかの話題;第9章 跋:形式主義のふたつのドグマ
ISBN(13)、ISBN
978-4-320-11096-0 4-320-11096-X
書誌番号
1113209044
URL
https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113209044
ページの先頭へ
所蔵
所蔵は
2
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
別置
請求記号
資料区分
状態
取扱
資料コード
中央
4階自然科学
Map
410.9
一般書
利用可
-
2076801463
中央
4階自然科学
Map
410.9
一般書
利用可
-
2064660503
ページの先頭へ