広島市立図書館
蔵書検索画面の文字の大きさを変えるには
資料検索
資料紹介
Myライブラリ
広島市立図書館ホームページへ戻る
>
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細蔵書検索
1 件中、 1 件目
ゲーデルの謎を解く
貸出可
0
1
0
林 晋/著 -- 岩波書店 -- 1993.11 -- 410.96
総合評価
5段階評価の0.0
(0)
予約かごへ
本棚へ
所蔵
所蔵は
1
件です。予約は
0
件です。
所蔵館
所蔵場所
請求記号
資料コード
資料区分
帯出区分
状態
中央
参書庫
K/410.1/H48/ソ
1394064368
一般書
可能
利用可
ページの先頭へ
館別所蔵
館名
所蔵数
貸出中数
貸出可能数
中央
1
0
1
ページの先頭へ
資料詳細
タイトル
ゲーデルの謎を解く
シリーズ
岩波科学ライブラリー
著者名
林 晋
/著
出版者
岩波書店
出版年
1993.11
ページ数等
118p
大きさ
19cm
分類(9版)
410.96
分類(10版)
410.96
内容紹介
完全無欠と思われていた数学の世界も、実は完全ではなかった。ゲーデルが発見し、全世界の数学者を震撼された「不完全性定理」を、ヒネクレ機械というユニークな例を使ってわかりやすく解説、現代的な視点からとらえる。
著者紹介
1953年広島生まれ。筑波大学大学院数学研究科修了。京都大学数理解析研究所助手を経て、現在竜谷大学理工学部数理情報学科助教授。著書に「数理論理学」「構成的プログラミングの基礎」。
テーマ
記号論理学
ISBN
4-00-006506-8
定価
¥971
本体価格
¥971
特定資料種別
図書
URL
https://www.library.city.hiroshima.jp/winj/opac/switch-detail.do?bibid=1100426775
ページの先頭へ