蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
書誌情報
| 書名 |
不完全性定理とはなにか ゲーデルとチューリング 天才はなにを証明したのか ブルーバックス
|
| 著者名 |
竹内 薫／著
|
| 出版者 |
講談社
|
| 出版年月 |
2024.11 |
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
資料情報
各蔵書資料に関する詳細情報です。
| No. |
所蔵館 |
資料番号 |
請求記号 |
配架場所 |
所蔵棚番号 |
資料種別 |
帯出区分 |
状態 |
付録 |
貸出
|
| 1 |
東札幌 | 4013363819 | 410/ﾀ/ | ヤング | 18-21 | 一般図書 | 一般貸出 | 在庫 | |
○ |
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
真の保守とは何か ： 近代日本の地…
保阪 正康／著
戦後80年に憲法9条の意義を考える…
保阪 正康／著,…
わたしは、この言葉を忘れない ： …
保阪 正康／著
「戦後」の終焉 ： 80年目の国家…
保阪 正康／著,…
保阪正康と昭和史を学ぼう
保阪 正康／著
なぜ日本人は間違えたのか ： 真説…
保阪 正康／著
仮説の昭和史戦中・占領期編
保阪 正康／著
音声と写真でよみがえる昭和 …戦後編
保阪 正康／著,…
仮説の昭和史戦前・日米開戦編
保阪 正康／著
仮説の昭和史戦中・占領期編
保阪 正康／著
仮説の昭和史戦前・日米開戦編
保阪 正康／著
音声と写真でよみがえ…戦中・占領期編
保阪 正康／著,…
音声と写真でよみがえる昭和 …戦前編
保阪 正康／著,…
近代日本の地下水脈2
保阪 正康／著
山本五十六の戦争
保阪 正康／著
平成の天皇皇后両陛下大いに語る
保阪 正康／著
戦争という魔性 ： 歴史が暗転する…
保阪 正康／著
未来への遺言 ： いま戦争を語らな…
前田 浩智／著,…
松本清張の昭和史
保阪 正康／著
近代日本の地下水脈1
保阪 正康／著
テロルの昭和史
保阪 正康／著
戦争の近現代史 ： 日本人は戦いを…
保阪 正康／著
歴史の定説を破る ： あの戦争は「…
保阪 正康／著
Nの廻廊 ： ある友をめぐるきれぎ…
保阪 正康／著
昭和史の核心
保阪 正康／著
世代の昭和史 ： 「戦争要員世代」…
保阪 正康／著
文藝春秋が見た戦争と日本人
保阪 正康／編,…
「裏切りの近現代史」で読み解く歴史…
保阪 正康／著
歴史の予兆を読む
池上 彰／著,保…
時代の反逆者たち
保阪 正康／著
関口宏・保阪正康のもう一度!近現代…
関口 宏／著,保…
日本人の宿題 ： 歴史探偵、平和を…
半藤 一利／著,…
半藤一利語りつくした戦争と平和
半藤 一利／[述…
関口宏・保阪正康のもう一度!近現代…
関口 宏／著,保…
太平洋戦争への道1931-1941
半藤 一利／著,…
石橋湛山の65日
保阪 正康／著
陰謀の日本近現代史
保阪 正康／著
昭和史入門上
保阪 正康／著
昭和史入門下
保阪 正康／著
関口宏・保阪正康のもう一度!近現代…
関口 宏／著,保…
対立軸の昭和史 ： 社会党はなぜ消…
保阪 正康／著
昭和史七つの謎と七大事件 ： 戦争…
保阪 正康／[著…
近現代史からの警告
保阪 正康／著
昭和史の本質 ： 良心と偽善のあい…
保阪 正康／著
昭和史七つの裏側
保阪 正康／著
新・天皇論
保阪 正康／著
令和を生きるための昭和史入門
保阪 正康／著
昭和史の急所 ： 戦争・天皇・日本…
保阪 正康／著
対談戦争とこの国の150年 ： 作…
保阪 正康／著,…
昭和の怪物七つの謎続
保阪 正康／著
前へ
次へ
書誌詳細
この資料の書誌詳細情報です。
| タイトルコード |
1008001901217 |
| 書誌種別 |
図書 |
| 書名 |
不完全性定理とはなにか ゲーデルとチューリング 天才はなにを証明したのか ブルーバックス |
| 書名ヨミ |
フカンゼンセイ テイリ トワ ナニカ |
| 著者名 |
竹内 薫／著
|
| 著者名ヨミ |
タケウチ カオル |
| 版表示 |
完全版 |
| 出版者 |
講談社
|
| 出版年月 |
2024.11 |
| ページ数 |
277p |
| 大きさ |
18cm |
| 分類記号 |
410.9
|
| 分類記号 |
410.9
|
| ISBN |
4-06-536226-6 |
| 内容紹介 |
証明が不可能であることは証明できるのか。「不完全性定理」のゲーデルと、「停止問題」のチューリング。同じことを全く別の視点から証明した天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解く。 |
| 著者紹介 |
マギル大学大学院博士課程修了(高エネルギー物理学理論専攻、理学博士)。著書に「量子重力理論とはなにか」「「ファインマン物理学」を読む」など。 |
| 件名 |
不完全性定理 |
| 言語区分 |
日本語 |
| (他の紹介)内容紹介 |
正しくても常に証明できるとはかぎらない。ゲーデルの不完全性定理は、公理と推論規則から数学全体を導こうと考えていた、当時の数学界に衝撃を与えました。チューリングは「決定問題」を考察するなかで、「チューリング機械」という仮想的な計算機から「計算可能性と停止問題」に行き着きます。二人は同じことを全く別の視点から証明したのです。天才たちの思考の軌跡を楽しく見ていきましょう。 |
| (他の紹介)目次 |
第０章 こころの準備（公理から集合まで
いわゆる３ワカランについて
この本の構成と読み方）
第１章 無限に挑んだドン・キホーテ、ゲオルク・カントール（まちがいだらけと揶揄されたカントール
無限ホテルの怪 ほか）
第２章 ラッセル卿の希望を打ち砕いたクルト・ゲーデル（ラテン語の文法を完全にマスターした子供
論理学超入門（真偽表） ほか）
第３章 チューリングの辞書に「停まる」という文字はない（チューリングの肖像
友人の死と心脳問題 ほか）
第４章 Ω数、様相論理、エトセトラ（グレゴリー・チャイティンとΩ数
いろいろな不完全性 ほか）
特別対談 不完全性定理―数学と哲学の交差点から 加藤文元×竹内薫 |
| (他の紹介)著者紹介 |
竹内 薫
サイエンス作家。１９６０年生まれ。東京大学教養学部教養学科、同大学理学部物理学科卒業。マギル大学大学院博士課程修了（高エネルギー物理学専攻、理学博士）。「サイエンスＺＥＲＯ」（ＮＨＫＥテレ）の司会を長く務め、科学コミュニケーターとしても広く知られる。また、教育にも強い関心を持っており、ＹＥＳ Ｉｎｔｅｒｎａｔｉｏｎａｌ Ｓｃｈｏｏｌ校長も務める(本データはこの書籍が刊行された当時に掲載されていたものです) |
内容細目表
前のページへ
