資料詳細

  • 1 件中、 1 件目

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

ゲーデルとチューリング天才はなにを証明したのか -- 完全版 -- ブルーバックス --
竹内薫 ／著   -- 講談社 -- ２０２４．１１ -- １８ｃｍ -- ２７７ｐ

資料詳細

タイトル 不完全性定理とはなにか
副書名 ゲーデルとチューリング天才はなにを証明したのか
版情報 完全版
シリーズ名 ブルーバックス
著者名等 竹内薫 ／著  
出版 講談社 ２０２４．１１
大きさ等 １８ｃｍ ２７７ｐ
分類 410.9
件名 ゲーデルの定理
個人件名 チューリング　アラン　Ｍ．
注記 文献あり　索引あり
著者紹介 サイエンス作家。１９６０年生まれ。東京大学教養学部教養学科、同大学物理学部物理学科卒業。マギル大学大学院博士課程修了（高エネルギー物理学専攻、理学博士）。「サイエンスＺＥＲＯ」（ＮＨＫＥテレ）の司会を長く務め、科学コミュニケーターとしても広く知られる。（本データはこの書籍が刊行された当時に掲載されていたものです）
内容紹介 「ゲーデルの不完全性定理」と「チューリングの停止問題」。２人の天才はこの難題をどのように解決したのか。証明が不可能であることは証明できるのか。同じことを全く別の視点から証明した２人の天才たちの思考の軌跡を追う。
要旨 正しくても常に証明できるとはかぎらない。ゲーデルの不完全性定理は、公理と推論規則から数学全体を導こうと考えていた、当時の数学界に衝撃を与えました。チューリングは「決定問題」を考察するなかで、「チューリング機械」という仮想的な計算機から「計算可能性と停止問題」に行き着きます。二人は同じことを全く別の視点から証明したのです。天才たちの思考の軌跡を楽しく見ていきましょう。
目次 第０章　こころの準備（公理から集合まで；いわゆる３ワカランについて；この本の構成と読み方）；第１章　無限に挑んだドン・キホーテ、ゲオルク・カントール（まちがいだらけと揶揄されたカントール；無限ホテルの怪　ほか）；第２章　ラッセル卿の希望を打ち砕いたクルト・ゲーデル（ラテン語の文法を完全にマスターした子供；論理学超入門（真偽表）　ほか）；第３章　チューリングの辞書に「停まる」という文字はない（チューリングの肖像；友人の死と心脳問題　ほか）；第４章　Ω数、様相論理、エトセトラ（グレゴリー・チャイティンとΩ数；いろいろな不完全性　ほか）；特別対談　不完全性定理―数学と哲学の交差点から　加藤文元×竹内薫
ISBN(13)、ISBN 978-4-06-536226-6　　 4-06-536226-1
書誌番号 1124046724
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1124046724

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 410.9 一般書 貸出中 - 2077511981 iLisvirtual
神奈川 公開 Map 410 一般書 利用可 - 2077611633 iLisvirtual
港南 公開 410 一般書 回送中 - 2077497237 iLisvirtual
保土ケ谷 公開 Map 410 一般書 利用可 - 2077474547 iLisvirtual
磯子 公開 410 一般書 貸出中 - 2077424302 iLisvirtual
港北 公開 410 一般書 貸出中 - 2077605625 iLisvirtual
緑 公開 410 一般書 予約受取待 - 2077424310 iLisvirtual
都筑 公開 410 一般書 貸出中 - 2077567626 iLisvirtual
戸塚 公開 Map 410 一般書 利用可 - 2077497229 iLisvirtual
栄 公開 Map 410 一般書 利用可 - 2077595760 iLisvirtual
泉 公開 410 一般書 貸出中 - 2077424329 iLisvirtual
瀬谷 公開 Map 410 一般書 利用可 - 2077373236 iLisvirtual

ページの先頭へ