で詳細を確認
Mendeley出力
＜図書＞
不完全性定理 / 菊池誠著
フカンゼンセイ テイリ
| 出版情報 | 東京 : 共立出版 , 2014.10 |
|---|---|
| 大きさ | xiv, 348p ; 22cm |
| 別書名 | 奥付タイトル:The incompleteness theorems |
| 一般注記 | 参考文献: p[328]-338 |
| 著者標目 | 菊池, 誠 <キクチ, マコト> |
| 本文言語 | 日本語 |
| 書誌ID | TT42090872 |
| NCID |
BB16913681 
|
[BOOKデータASPサービス] あらすじ／目次
日外アソシエーツ『BOOKデータASPサービス』より
不完全性定理
[あらすじ]
専門的な予備知識は仮定せずに完全性定理や計算可能性から論じ、第一および第二不完全性定理、Ｒｏｓｓｅｒの定理、Ｈｉｌｂｅｒｔのプログラム、Ｇ¨ｏｄｅｌの加速定理、算術の超準モデル、Ｋｏｌｍｏｇｏｒｏｖ複雑性などを紹介して、不完全性定理の数学的意義と、その根源にある哲学... 続きを読む
不完全性定理
[あらすじ]
専門的な予備知識は仮定せずに完全性定理や計算可能性から論じ、第一および第二不完全性定理、Ｒｏｓｓｅｒの定理、Ｈｉｌｂｅｒｔのプログラム、Ｇ¨ｏｄｅｌの加速定理、算術の超準モデル、Ｋｏｌｍｏｇｏｒｏｖ複雑性などを紹介して、不完全性定理の数学的意義と、その根源にある哲学... 続きを読む
所蔵情報を非表示
| 巻 次 | 配架場所 | 自動書庫 | 請求記号 | 資料番号 | 状 態 | ISBN | コメント | 予約/取寄 | e-DDS | 仮想書架 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
BKC メディアセンター 1階 閲覧室 和図書 | NDC8:410.9/KI 24 | 12003510850 | 貸出中 | 9784320110960 |
|
||||
|
|
BKC メディアセンター 1階 閲覧室 和図書 | NDC8:410.9/KI 24 | 12003748714 | 館内利用 | 9784320110960 |
|
||||
|
|
BKC メディアセンター 1階 閲覧室 和図書 | NDC8:410.9/KI 24 | 12003748726 | 貸出中 | 9784320110960 |
|
書誌詳細を非表示
| データ種別 | 図書 |
|---|---|
| 巻冊次 | ISBN:9784320110960 |
