本文へ移動

資料詳細

資料詳細・全項目

不完全性定理とはなにか ゲーデルとチューリング　天才はなにを証明したのか ブルーバックス B-2277

  • 内容紹介 証明が不可能であることは証明できるのか。「不完全性定理」のゲーデルと、「停止問題」のチューリング。同じことを全く別の視点から証明した天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解く。
待機中

蔵書情報

登録番号 所蔵館 所蔵場所 請求記号 資料区分 禁帯区分 資料状態
181175147 玉穂 一般新書① 410 ﾀ 一般書 　
予約数 0件
注意点
  • ※著作権の関係上、貸出が出来ない資料もありますが、ご了承ください。
  • ※雑誌の最新号は、次号受入までは貸出できませんのでご注意ください。
  • ホームページから予約するには図書館で利用登録及びパスワード・メールアドレス登録をする必要があります。
  • インターネット予約サービスで予約できる資料は、1人につき5点までです。
  • ※ただし、課題図書等は2点まで。視聴覚資料（ビデオ・CD・DVD）は予約できません。
  • 　（課題図書については「課題図書一覧」を参照）
  • 受取館を選択して「予約カートに追加」のボタンを押してください。

このページの先頭へ