蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
資料情報
各蔵書資料に関する詳細情報です。
No. |
所蔵館 |
資料番号 |
資料種別 |
請求番号 |
配架場所 |
帯出区分 |
状態 |
貸出
|
1 |
県立図書館 | 001051536892 | 一般書 | 408/31/6 | 閉架積層 | 館外可 | 在庫 |
○ |
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
書誌詳細
この資料の書誌詳細情報です。
タイトルコード |
1001000506455 |
書誌種別 |
図書 |
書名 |
ゲーデルの謎を解く 岩波科学ライブラリー 6 |
|
岩波科学ライブラリー |
著者名 |
林 晋(1953~)/著
|
著者名ヨミ |
ハヤシ ススム |
出版者 |
岩波書店
|
出版年月 |
1993.11 |
ページ数 |
118p |
大きさ |
19cm |
ISBN |
4-00-006506-8 |
分類記号9版 |
410.96 |
分類記号10版 |
410.96 |
書名ヨミ |
ゲ-デル ノ ナゾ オ トク |
内容紹介 |
内容紹介:完全無欠と思われていた数学の世界も、実は完全ではなかった。ゲーデルが発見し、全世界の数学者を震撼された「不完全性定理」を、ヒネクレ機械というユニークな例を使ってわかりやすく解説、現代的な視点からとらえる。* |
著者紹介 |
著者紹介:1953年広島生まれ。筑波大学大学院数学研究科修了。京都大学数理解析研究所助手を経て、現在竜谷大学理工学部数理情報学科助教授。著書に「数理論理学」「構成的プログラミングの基礎」。* |
件名1 |
記号論理学
|
言語区分 |
日本語 |
内容細目
もどる