資料詳細

  • 1 件中、 1 件目

ゲーデルの謎を解く 貸出可

林 晋／著 -- 岩波書店 -- 1993.11 -- 410.96

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵場所 請求記号 資料コード 資料区分 状態
７書庫 /410.1/ハ/ 8121321122 一般 館内有

ページの先頭へ

資料詳細

書名 ゲーデルの謎を解く
シリーズ名 岩波科学ライブラリー
著者名 林 晋 ／著  
出版者 岩波書店
出版年 1993.11
ページ数 118p
大きさ 19cm
一般件名 記号論理学
NDC分類(9版) 410.96
著者紹介 1953年広島生まれ。筑波大学大学院数学研究科修了。京都大学数理解析研究所助手を経て、現在竜谷大学理工学部数理情報学科助教授。著書に「数理論理学」「構成的プログラミングの基礎」。
内容紹介 完全無欠と思われていた数学の世界も、実は完全ではなかった。ゲーデルが発見し、全世界の数学者を震撼された「不完全性定理」を、ヒネクレ機械というユニークな例を使ってわかりやすく解説、現代的な視点からとらえる。
ISBN 4-00-006506-8

ページの先頭へ