資料詳細

  • 1 件中、 1 件目

【図書】 不完全性定理とはなにか

ゲーデルとチューリングの考えたこと -- ブルーバックス --
竹内薫 ／著   -- 講談社 -- ２０１３．４ -- １８ｃｍ -- ２４６ｐ

資料詳細

タイトル 不完全性定理とはなにか
副書名 ゲーデルとチューリングの考えたこと
シリーズ名 ブルーバックス
著者名等 竹内薫 ／著  
出版 講談社 ２０１３．４
大きさ等 １８ｃｍ ２４６ｐ
分類 410.9
件名 ゲーデルの定理
個人件名 ゲーデル，クルト
注記 文献あり　索引あり
著者紹介 １９６０年東京生まれ。東京大学教養学部、同理学部卒。マギル大学大学院博士課程修了。サイエンス作家。「たけしのコマ大数学科」など、テレビでの科学コミュニケーションでもお馴染み。主な著書に「熱とはなんだろう」「超ひも理論とはなにか」など。
内容紹介 不完全性定理は、智の限界ではない。「正しくても常に証明できるとは限らない」ということをゲーデルが証明した定理だ。数学ファンならずともちゃんと理解しておきたい「ゲーデルの不完全性定理」を平易に解説する。
要旨 「智の限界」「科学の終焉」などと言われることがある「不完全性定理」。しかし、それは智の限界や終焉などではなく、「正しくても常に証明できるとは限らない」ということを、卓抜したアイディアでゲーデルが証明した定理です。同じことを、イギリスの数学者チューリングは、彼が築いたコンピュータの数学的基礎の中で示しました。ゲーデルとチューリングの証明の詳細は抽象的でたいへん高度ですが、定理の内容は、それほど神秘的なことを言っているわけではありません。そこで本書では、「不完全性定理」の内容を正確に理解するとともに、証明のための驚くべき二人のアイディアを、できるだけやさしく紹介します。
目次 第０章　こころの準備；第１章　無限に挑んだドン・キホーテ、ゲオルク・カントール（まちがいだらけのカントール；無限ホテルの怪　ほか）；第２章　ラッセル卿の希望を打ち砕いたクルト・ゲーデル（ラテン語の文法を完全にマスターした子供；論理学超入門（真偽表）　ほか）；第３章　チューリングの辞書に「停まる」という文字はない（チューリングの肖像；友人の死と心脳問題　ほか）；第４章　Ω数、様相論理、エトセトラ（グレゴリー・チャイティンとΩ数；いろいろな不完全性　ほか）
ISBN(13)、ISBN 978-4-06-257810-3　　 4-06-257810-7
書誌番号 1113044381
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113044381

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 Map 410.9 一般書 利用可 - 2050728253 iLisvirtual
中 公開 Map 410 一般書 利用可 - 2050545787 iLisvirtual
磯子 公開 Map 410 一般書 利用可 - 2050551876 iLisvirtual
金沢 公開 Map 410 一般書 利用可 - 2050577980 iLisvirtual
港北 公開 Map 410 一般書 利用可 - 2050482939 iLisvirtual
戸塚 公開 Map 410 一般書 利用可 - 2050711814 iLisvirtual

ページの先頭へ