資料詳細

  • 1 件中、 1 件目

不完全性定理とはなにか   貸出可

竹内薫／著 -- 講談社 -- ２０１３．４ -- 410.9  (ブル－バックス Ｂ‐１８１０)

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
科学産業 /410/Ｔａ６７/ 0010013333383 一般図書 書架

ページの先頭へ

資料詳細

タイトル１ 不完全性定理とはなにか 
副タイトル１ ゲ－デルとチュ－リングの考えたこと
著者１ 竹内薫 ／著  
出版年 ２０１３．４
出版者 講談社
シリーズ名 ブル－バックス  Ｂ‐１８１０
一般件名 不完全性定理
ページ数 ２４６ｐ
大きさ １８ｃｍ
ISBN 4-06-257810-3
NDC分類(10版) 410.9
内容紹介 真な命題は必ず証明できるはずだと考えていた数学界に大きな衝撃を与えた「不完全性定理」。「証明が不可能であることを証明する」という難題を解決した２人の天才ゲ－デルとチュ－リングの考えと不完全性定理を紐解く。

ページの先頭へ

著者紹介

著者紹介１－１ １９６０年東京生まれ。カナダ・マギル大学大学院博士課程修了（高エネルギ－物理学理論専攻、理学博士）。著書に「熱とはなんだろう」「超ひも理論とはなにか」など。