くわしいないよう
ゲーデルの謎を解く
- かいたひと 林／晋‖著
- しゅっぱん 岩波書店
- しゅっぱんねん 1993.11
- ないよう 完全無欠と思われていた数学の世界も、実は完全ではなかった。ゲーデルが発見し、全世界の数学者を震撼された「不完全性定理」を、ヒネクレ機械というユニークな例を使ってわかりやすく解説、現代的な視点からとらえる。
ぞうしょ
| ばんごう | かん | ばしょ | きごう | しりょうくぶん | 禁帯 | しりょうじょうたい | びこう |
|---|---|---|---|---|---|---|---|
| 32820903 | 風樹文庫 | 科学ﾗｲﾌﾞﾗﾘ | 410 1993 | 一般書 | |||
| 52007626 | 富士見町 | 一般 | 410.9 ﾊ | 一般書 |
よやくのかず
0件
きほんじょうほう
かいたいひと
|
＜林／晋‖著＞
１９５３年広島生まれ。筑波大学大学院数学研究科修了。京都大学数理解析研究所助手を経て、現在竜谷大学理工学部数理情報学科助教授。著書に「数理論理学」「構成的プログラミングの基礎」。
|