検索結果書誌詳細

  • 書誌の詳細です。 現在、予約しているのは 0 件です。
  • 「資料情報」から書誌を予約カートに入れるページに移動します。
    在庫の資料を予約してもすぐに準備できるとは限りません。
    お急ぎの場合は所蔵館にて当日中のお取り置きができますので、予約をせずに所蔵館にお電話でお問い合わせください。

蔵書情報

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

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

書誌情報サマリ

書名

不完全性定理とはなにか  ゲーデルとチューリングの考えたこと   ブルーバックス B-1810

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


この資料に対する操作

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

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

この資料に対する操作

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


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


資料情報

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

No. 所蔵館 資料番号 請求番号 資料種別 配架場所 帯出区分 状態 貸出
1 庄内207538919410.9/タ/一般図書成人室 在庫 

関連資料

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

竹内 薫
410.9 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年東京生まれ。東京大学教養学部教養学科、同理学部物理学科卒。マギル大学大学院博士課程修了(高エネルギー物理学理論専攻、理学博士)(本データはこの書籍が刊行された当時に掲載されていたものです)

書店リンク

  

内容細目

前のページへ

本文はここまでです。


ページの終わりです。