資料詳細

【図書】 数学基礎論入門

復刊 -- 復刊基礎数学シリーズ --
前原昭二／著 -- 朝倉書店 -- ２００６．３ -- ２６ｃｍ -- ２０１ｐ

タイトル	数学基礎論入門
版情報	復刊
シリーズ名	復刊基礎数学シリーズ
著者名等	前原昭二／著
出版	朝倉書店２００６．３
大きさ等	２６ｃｍ２０１ｐ
分類	410.9
件名	数学基礎論
注記	索引あり
著者紹介	１９２７年東京生まれ。５１年東京大学理学部卒。元東京工業大学教授。
内容紹介	不完全性定理についてのゲーデルの理論を精密に紹介。ゲーデルの原論文に採用されている体系をそのまま用いる。初学者が論理計算の実際を知り、また記号論理の実質的な意味を理解するための入門書。
目次	数学的理論の形式化；命題論理；述語論理；等号をもつ述語論理；型の理論；自然数論；自然数の関係および関数についての形式的な表現の可能性；ゲーデルの不完全性定理；補助定理の証明；ゲーデルの第２不完全性定理；帰納的関数；帰納的関数の性質
ISBN(13)、ISBN	4-254-11723-X
書誌番号	1106025795
URL	https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1106025795

所蔵

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

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	４階自然科学		410.9	一般書	貸出中	-	2036304475