検索結果書誌詳細

図書
ログインすると表紙画像を
ご覧になれます
  • 書誌の詳細です。 　予約件数： 0 件
  • 「資料情報」から書誌を予約カートに入れるページに移動します。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0 発注数 0

書誌情報サマリ

書名

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

著者 林 晋／著
出版者 岩波書店
出版年月 1993.11

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。

登録するリストログインメモ

資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 資料番号 請求記号 配架場所 資料種別 貸出区分 状態区分 貸出
1 浜北0112099767410/ﾊ/閉架２一般書　在庫  ○

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

書誌詳細

この資料の書誌詳細情報です。

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



内容細目表：

前のリンクに戻る
ページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。