検索結果書誌詳細

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報

書名

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

著者名 竹内 薫/著
出版者 講談社
出版年月 2024.11


この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

  

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。


マイ本棚へ追加ログインメモ


資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 資料番号 請求記号 配架場所 所蔵棚番号 資料種別 帯出区分 状態 付録 貸出
1 東札幌4013363819410/タ/ヤング18-21一般図書一般貸出在庫  

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

河合 隼雄
2024
410.9 410.9
心理学 日本人

書誌詳細

この資料の書誌詳細情報です。

タイトルコード 1008001901217
書誌種別 図書
書名 不完全性定理とはなにか ゲーデルとチューリング 天才はなにを証明したのか  ブルーバックス  
書名ヨミ フカンゼンセイ テイリ トワ ナニカ 
著者名 竹内 薫/著
著者名ヨミ タケウチ カオル
版表示 完全版
出版者 講談社
出版年月 2024.11
ページ数 277p
大きさ 18cm
分類記号 410.9
分類記号 410.9
ISBN 4-06-536226-6
内容紹介 証明が不可能であることは証明できるのか。「不完全性定理」のゲーデルと、「停止問題」のチューリング。同じことを全く別の視点から証明した天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解く。
著者紹介 マギル大学大学院博士課程修了(高エネルギー物理学理論専攻、理学博士)。著書に「量子重力理論とはなにか」「「ファインマン物理学」を読む」など。
件名 不完全性定理
言語区分 日本語

(他の紹介)内容紹介 正しくても常に証明できるとはかぎらない。ゲーデルの不完全性定理は、公理と推論規則から数学全体を導こうと考えていた、当時の数学界に衝撃を与えました。チューリングは「決定問題」を考察するなかで、「チューリング機械」という仮想的な計算機から「計算可能性と停止問題」に行き着きます。二人は同じことを全く別の視点から証明したのです。天才たちの思考の軌跡を楽しく見ていきましょう。
(他の紹介)目次 第0章 こころの準備(公理から集合まで
いわゆる3ワカランについて
この本の構成と読み方)
第1章 無限に挑んだドン・キホーテ、ゲオルク・カントール(まちがいだらけと揶揄されたカントール
無限ホテルの怪 ほか)
第2章 ラッセル卿の希望を打ち砕いたクルト・ゲーデル(ラテン語の文法を完全にマスターした子供
論理学超入門(真偽表) ほか)
第3章 チューリングの辞書に「停まる」という文字はない(チューリングの肖像
友人の死と心脳問題 ほか)
第4章 Ω数、様相論理、エトセトラ(グレゴリー・チャイティンとΩ数
いろいろな不完全性 ほか)
特別対談 不完全性定理―数学と哲学の交差点から 加藤文元×竹内薫
(他の紹介)著者紹介 竹内 薫
 サイエンス作家。1960年生まれ。東京大学教養学部教養学科、同大学理学部物理学科卒業。マギル大学大学院博士課程修了(高エネルギー物理学専攻、理学博士)。「サイエンスZERO」(NHKEテレ)の司会を長く務め、科学コミュニケーターとしても広く知られる。また、教育にも強い関心を持っており、YES International School校長も務める(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表

前のページへ

本文はここまでです。


ページの終わりです。