岐阜県図書館
トップメニュー
資料検索
資料紹介
本・資料を探す
Myライブラリ
ヘルプ
トップメニュー
>
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
一度に予約できる点数は5点までです
詳細検索
ジャンル検索
1 件中、 1 件目
ゲーデルの謎を解く
貸出可
林 晋/著 -- 岩波書店 -- 1993.11 -- 410.96
新着図書通知
予約かごへ
本棚へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵場所
請求記号
資料コード
資料区分
状態
7書庫
/410.1/ハ/
8121321122
一般
館内有
ページの先頭へ
資料詳細
書名
ゲーデルの謎を解く
シリーズ名
岩波科学ライブラリー
著者名
林 晋
/著
出版者
岩波書店
出版年
1993.11
ページ数
118p
大きさ
19cm
一般件名
記号論理学
NDC分類(9版)
410.96
著者紹介
1953年広島生まれ。筑波大学大学院数学研究科修了。京都大学数理解析研究所助手を経て、現在竜谷大学理工学部数理情報学科助教授。著書に「数理論理学」「構成的プログラミングの基礎」。
内容紹介
完全無欠と思われていた数学の世界も、実は完全ではなかった。ゲーデルが発見し、全世界の数学者を震撼された「不完全性定理」を、ヒネクレ機械というユニークな例を使ってわかりやすく解説、現代的な視点からとらえる。
ISBN
4-00-006506-8
ページの先頭へ