資料詳細

  • 1 件中、 1 件目

不完全性定理とはなにか ゲーデルとチューリングの考えたこと

竹内 薫/著

講談社 2013.4 (ブルーバックス)

所蔵

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 持禁区分 状態
オーテピア高知図書館 3F書庫 S/410.9/ﾀｹ/ 1107096818 一般   利用可
オーテピア高知図書館 3F書庫 S/410.9/ﾀｹ/ 0111264782 一般   利用可

ページの先頭へ

館別所蔵

館名 所蔵数 貸出中数 貸出可能数
オーテピア高知図書館 2 0 2

ページの先頭へ

資料詳細

タイトル 不完全性定理とはなにか
副書名 ゲーデルとチューリングの考えたこと
叢書名 ブルーバックス
著者 竹内 薫 /著  
出版者 講談社
出版年 2013.4
ページ数 246p
大きさ 18cm
一般件名 不完全性定理
NDC分類(9版) 410.9
内容紹介 真な命題は必ず証明できるはずだと考えていた数学界に大きな衝撃を与えた「不完全性定理」。「証明が不可能であることを証明する」という難題を解決した2人の天才ゲーデルとチューリングの考えと不完全性定理を紐解く。
ISBN 4-06-257810-3
ISBN13桁 978-4-06-257810-3

ページの先頭へ