検索結果書誌詳細

  • 書誌の詳細です。 現在、予約しているのは 0 件です。
  • 「資料情報」から書誌を予約カートに入れるページに移動します。

蔵書情報

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

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

書誌情報サマリ

書名

不完全性定理とはなにか (ブルーバックス)

著者名 竹内 薫/著
著者名ヨミ タケウチ カオル
出版者 講談社
出版年月 2024.11


この資料に対する操作

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

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

  

この資料に対する操作

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


登録するリストログインメモ


資料情報

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

No. 資料番号 請求記号 帯出区分 状態 配架場所 貸出
1 0107961864410.9/タケ/貸閲複可在庫 2階一般

関連資料

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

竹内 薫

書誌詳細

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

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

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


目次


内容細目

前のページへ

本文はここまでです。


ページの終わりです。