検索結果書誌詳細

内容紹介

完全無欠と思われていた数学の世界も、実は完全ではなかった。ゲーデルが発見し、全世界の数学者を震撼された「不完全性定理」を、ヒネクレ機械というユニークな例を使ってわかりやすく解説、現代的な視点からとらえる。

＋ 追加情報を見る

タイトルコード

1009310042560

書誌種別

図書

著者名

林 晋／著

著者名ヨミ

ハヤシ ススム

出版者

岩波書店

出版年月

1993.11

ページ数・枚数

118p

大きさ・形態

19cm

ISBN

4-00-006506-8

分類記号

410.96

書名

ゲーデルの謎を解く 岩波科学ライブラリー 6

書名ヨミ

ゲーデル ノ ナゾ オ トク イワナミ カガク ライブラリー 6

著者紹介

1953年広島生まれ。筑波大学大学院数学研究科修了。京都大学数理解析研究所助手を経て、現在竜谷大学理工学部数理情報学科助教授。著書に「数理論理学」「構成的プログラミングの基礎」。

件名1

記号論理学

叢書名

岩波科学ライブラリー