ゲーデルの謎を解く(岩波科学ライブラリー)
林 晋
著
品切
価格
\1,320（税込）
発行年月
1993年11月
出版社／提供元
岩波書店
言語
日本語
媒体
冊子
ページ数／巻数
１１８ｐ
大きさ
19
ジャンル
和書
ISBN
9784000065061
商品コード
0193299352
NDC分類
410.96
基本件名
記号論理学
商品URL
https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0193299352
著者紹介
林 晋（著者）：〈林晋〉１９５３年広島生まれ。筑波大学大学院数学研究科修了。京都大学数理解析研究所助手を経て、現在竜谷大学理工学部数理情報学科助教授。著書に「数理論理学」「構成的プログラミングの基礎」。
内容
完全無欠と思われていた数学の世界も、実は完全ではなかった。ゲーデルが発見し、全世界の数学者を震撼された「不完全性定理」を、ヒネクレ機械というユニークな例を使ってわかりやすく解説、現代的な視点からとらえる。
