本文へ移動
トップページ > しりょうをさがす > くわしいないよう

くわしいないよう

もっとくわしいないよう

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

  • かいたひと 竹内／薫∥著
  • しゅっぱん 講談社
  • しゅっぱんねん 2024.11
  • ないよう 証明が不可能であることは証明できるのか。「不完全性定理」のゲーデルと、「停止問題」のチューリング。同じことを全く別の視点から証明した天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解く。
待機中

ぞうしょ

ばんごう かん ばしょ きごう しりょうくぶん きんたい しりょうじょうたい
181175147 玉穂 一般新書① 410 ﾀ 一般書 　
よやくのかず 0けん

きほんじょうほう

タイトル 不完全性定理とはなにか
タイトルヨミ ﾌｶﾝｾﾞﾝｾｲ/ﾃｲﾘ/ﾄﾜ/ﾅﾆｶ
サブタイトル ゲーデルとチューリング　天才はなにを証明したのか
サブタイトルヨミ ｹﾞｰﾃﾞﾙ/ﾄ/ﾁｭｰﾘﾝｸﾞ/ﾃﾝｻｲ/ﾜ/ﾅﾆ/ｵ/ｼｮｳﾒｲ/ｼﾀ/ﾉｶ
著者 竹内／薫∥著
著者ヨミ ﾀｹｳﾁ,ｶｵﾙ
出版者 講談社
出版者ヨミ ｺｳﾀﾞﾝｼｬ
本体価格 \1100
ISBN 978-4-06-536226-6
ページ数等 277p
大きさ 18cm
NDC分類 410.9
内容紹介 証明が不可能であることは証明できるのか。「不完全性定理」のゲーデルと、「停止問題」のチューリング。同じことを全く別の視点から証明した天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解く。
注意点
  • ※著作権の関係上、貸出が出来ない資料もありますが、ご了承ください。
  • ※雑誌の最新号は、次号受入までは貸出できませんのでご注意ください。
  • ホームページから予約するには図書館で利用登録及びパスワード・メールアドレス登録をする必要があります。
  • インターネット予約サービスで予約できる資料は、1人につき5点までです。
  • ※ただし、課題図書等は2点まで。視聴覚資料（ビデオ・CD・DVD）は予約できません。
  • 　（課題図書については「課題図書一覧」を参照）
  • うけとりかんをえらんで「よやくカートにいれる」のボタンをおしてください。

このページの先頭へ