蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
書誌情報サマリ
書名 |
不完全性定理とはなにか ゲーデルとチューリングの考えたこと ブルーバックス B-1810
|
著者名 |
竹内 薫/著
|
著者名ヨミ |
タケウチ,カオル |
出版者 |
講談社
|
出版年月 |
2013.4 |
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
資料情報
各蔵書資料に関する詳細情報です。
No. |
所蔵館 |
資料番号 |
請求番号 |
資料種別 |
配架場所 |
帯出区分 |
状態 |
貸出
|
1 |
庄内 | 207538919 | 410.9/タ/ | 一般図書 | 成人室 | | 在庫 |
○ |
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
書誌詳細
この資料の書誌詳細情報です。
タイトルコード |
1002000471448 |
書誌種別 |
図書 |
書名 |
不完全性定理とはなにか ゲーデルとチューリングの考えたこと ブルーバックス B-1810 |
書名ヨミ |
フカンゼンセイ テイリ トワ ナニカ(ブルー バックス) |
副書名 |
ゲーデルとチューリングの考えたこと |
副書名ヨミ |
ゲーデル ト チューリング ノ カンガエタ コト |
著者名 |
竹内 薫/著
|
著者名ヨミ |
タケウチ,カオル |
出版者 |
講談社
|
出版年月 |
2013.4 |
ページ数 |
246p |
大きさ |
18cm |
ISBN |
4-06-257810-3 |
ISBN |
978-4-06-257810-3 |
分類記号 |
410.9
|
内容紹介 |
真な命題は必ず証明できるはずだと考えていた数学界に大きな衝撃を与えた「不完全性定理」。「証明が不可能であることを証明する」という難題を解決した2人の天才ゲーデルとチューリングの考えと不完全性定理を紐解く。 |
著者紹介 |
1960年東京生まれ。カナダ・マギル大学大学院博士課程修了(高エネルギー物理学理論専攻、理学博士)。著書に「熱とはなんだろう」「超ひも理論とはなにか」など。 |
件名1 |
不完全性定理
|
(他の紹介)内容紹介 |
「智の限界」「科学の終焉」などと言われることがある「不完全性定理」。しかし、それは智の限界や終焉などではなく、「正しくても常に証明できるとは限らない」ということを、卓抜したアイディアでゲーデルが証明した定理です。同じことを、イギリスの数学者チューリングは、彼が築いたコンピュータの数学的基礎の中で示しました。ゲーデルとチューリングの証明の詳細は抽象的でたいへん高度ですが、定理の内容は、それほど神秘的なことを言っているわけではありません。そこで本書では、「不完全性定理」の内容を正確に理解するとともに、証明のための驚くべき二人のアイディアを、できるだけやさしく紹介します。 |
(他の紹介)目次 |
第0章 こころの準備 第1章 無限に挑んだドン・キホーテ、ゲオルク・カントール(まちがいだらけのカントール 無限ホテルの怪 ほか) 第2章 ラッセル卿の希望を打ち砕いたクルト・ゲーデル(ラテン語の文法を完全にマスターした子供 論理学超入門(真偽表) ほか) 第3章 チユーリングの辞書に「停まる」という文字はない(チューリングの肖像 友人の死と心脳問題 ほか) 第4章 Ω数、様相論理、エトセトラ(グレゴリー・チャイティンとΩ数 いろいろな不完全性 ほか) |
(他の紹介)著者紹介 |
竹内 薫 サイエンス作家。1960年東京生まれ。東京大学教養学部教養学科、同理学部物理学科卒。マギル大学大学院博士課程修了(高エネルギー物理学理論専攻、理学博士)(本データはこの書籍が刊行された当時に掲載されていたものです) |
書店リンク
書店リンク
オンライン書店にてこの本を購入できるか調べることができます。
|
内容細目
前のページへ