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