2024/11/01
| 資料の種別｡ |
図書｡
 資料情報のコピー
|
| 書名｡ |
ゲーデルの謎を解く(ゲーデル/ノ/ナゾ/オ/トク)｡
|
| 著者名等｡ |
林/晋‖著(ハヤシ,ススム)｡
|
| 出版者｡ |
岩波書店／東京｡
|
| 出版年｡ |
1993.11｡
|
| ページと大きさ｡ |
118p／19cm｡
|
| シリーズ名｡ |
岩波科学ライブラリー 6｡
|
| 件名｡ |
記号論理学｡
|
| 分類｡ |
NDC8 版：410.96｡
|
| NDC9 版：410.96｡
|
| NDC10版：410.96｡
|
| ISBN｡ |
4-00-006506-8｡
|
| 価格｡ |
¥971｡
|
| タイトルコード｡ |
1005010259257｡
|
| 内容紹介｡ |
完全無欠と思われていた数学の世界も、実は完全ではなかった。ゲーデルが発見し、全世界の数学者を震撼された「不完全性定理」を、ヒネクレ機械というユニークな例を使ってわかりやすく解説、現代的な視点からとらえる。｡
|
| 著者紹介｡ |
１９５３年広島生まれ。筑波大学大学院数学研究科修了。京都大学数理解析研究所助手を経て、現在竜谷大学理工学部数理情報学科助教授。著書に「数理論理学」「構成的プログラミングの基礎」。｡
|
| 所蔵数｡ |
館内でのみ利用可能な資料 ｡ |
貸出可能な資料｡ |
貸出中の資料（割当または回送中含む） ｡ |
予約件数（割当含む）｡ |
- 所蔵数
- 1 冊
|
館内でのみ利用可能な資料 - 0 冊
|
- 貸出可能な資料｡
- 1 冊
|
貸出中の資料（割当または回送中含む） - 0 冊
|
- 予約件数（割当含む）
- 0 件
|
| 番号｡ |
資料番号｡ |
配架場所（配架案内）｡ |
請求記号｡ |
状態｡ |
| 1｡ |
- 資料番号：
- 002882637｡
|
- 配架場所：
- E書庫（「書庫とりよせ」ボタンで申請し、カウンターでお受け取りください。）｡
|
- 請求記号：
- 408/27/6｡
|
- 状態：
- 在庫｡
|
このページのURL：https://www.library.pref.ishikawa.lg.jp/wo/opc_srh/srh_detail/1005010259257