不完全性定理とはなにか : ゲーデルとチューリング天才はなにを証明したのか

• 資料種別: 図書
• ISBN: 978-4-06-536226-6
• タイトル: 不完全性定理とはなにか : ゲーデルとチューリング天才はなにを証明したのか
• タイトルよみ: フカンゼンセイ テイリ トワ ナニカ : ゲーデル ト チューリング テンサイ ワ ナニ オ ショウメイ シタ ノカ
• 著者・編者: 竹内薫 著
• 版: 完全版
• シリーズタイトル: ブルーバックス ; B-2277
• 著者標目: 著者 ： 竹内, 薫, 1960- タケウチ, カオル, 1960- ( 00187325 )典拠
• 出版事項: 東京 : 講談社 (出版)
• 出版年月日等: 2024.11
• 出版年（W3CDTF）: 2024
• 数量: 277p
• 大きさ: 18cm
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 表現種別: テキスト
• 機器種別: 機器不用
• キャリア種別: 冊子
• 件名標目: ゲーデルの定理 ゲーデルノテイリ ( 00562524 )典拠; Turing, Alan, 1912-1954 ( 00621580 )典拠
• NDC10版: 410.9 : 数学
• NDLC: MA41
• 対象利用者: 一般
• 書誌注記: 文献あり 索引あり
• 入手条件・定価: 1100円
• 所蔵機関: 国立国会図書館
• 請求記号: MA41-R12
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 033793574; http://id.ndl.go.jp/bib/033793574
• 全国書誌番号: 24058178
• トーハンMARC番号: 34676262
• 目録規則: 日本目録規則2018年版
• 整理区分コード: 111

• 要約等: 証明が不可能であることは証明できるのか。ゲーデルの不完全性定理」と「チューリング機械の停止問題」、この難題をどう解決したのか（提供元: 出版情報登録センター（JPRO））
• 著者紹介: 竹内 薫 サイエンス作家。1960年生まれ。東京大学教養学部教養学科、同大学理学部物理学科卒業。マギル大学大学院博士課程修了(高エネルギー物理学専攻、理学博士)。「サイエンスZERO」(NHKEテレ)の司会を長く務め、科学コミュニケーターとしても広く知られている。主な著書に『量子重力理論とはなにか』...

目次

はじめに

プロローグ　「心優しきプログラマーさんの悩み」

第0章 こころの準備

公理から集合まで

いわゆる３ワカランについて