感染拡大防止のため、本を読む前、読んだ後は手を洗いましょう。みなさまのご協力をお願いします。

検索結果書誌詳細

一般和書
ログインすると許諾を得た一部の
表紙画像をご覧になれます
  • 書誌の詳細です。 現在、この資料への予約は 0 件あります。
  • ・予約するときは「予約カートに入れる」ボタンをクリックしてください。予約するには図書館窓口で発行したパスワードが必要です。
    ・「予約カートに入れる」ボタンが出ない書誌には予約できません。
    詳しくは「マイページについて－インターネットで予約するには」をご覧ください。

蔵書情報

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

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

書誌情報サマリ

書名

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

著者名 竹内薫／著
出版者 講談社
出版年月 2013.4
請求記号 4109/00057/

この資料に対する操作

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

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

登録する本棚ログインすると、マイ本棚が利用できます。

資料情報

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

No. 所蔵館 資料番号 資料種別 配架場所 別置 帯出 状態
1 鶴舞0236213112一般和書２階書庫　在庫 
2 南2331826046一般和書一般開架　在庫 
3 千種2831759218一般和書一般開架　在庫 

関連資料

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

書誌詳細

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

請求記号 4109/00057/
書名 不完全性定理とはなにか　ゲーデルとチューリングの考えたこと 　(ブルーバックス)
著者名 竹内薫／著
出版者 講談社
出版年月 2013.4
ページ数 246p
大きさ 18cm
シリーズ名 ブルーバックス
シリーズ巻次 B-1810
ISBN 978-4-06-257810-3
分類 4109
一般件名 不完全性定理
書誌種別 一般和書
内容注記 文献:p231〜240
内容紹介 真な命題は必ず証明できるはずだと考えていた数学界に大きな衝撃を与えた「不完全性定理」。「証明が不可能であることを証明する」という難題を解決した2人の天才ゲーデルとチューリングの考えと不完全性定理を紐解く。
タイトルコード 1001310009761

要旨 「智の限界」「科学の終焉」などと言われることがある「不完全性定理」。しかし、それは智の限界や終焉などではなく、「正しくても常に証明できるとは限らない」ということを、卓抜したアイディアでゲーデルが証明した定理です。同じことを、イギリスの数学者チューリングは、彼が築いたコンピュータの数学的基礎の中で示しました。ゲーデルとチューリングの証明の詳細は抽象的でたいへん高度ですが、定理の内容は、それほど神秘的なことを言っているわけではありません。そこで本書では、「不完全性定理」の内容を正確に理解するとともに、証明のための驚くべき二人のアイディアを、できるだけやさしく紹介します。
目次 第０章　こころの準備
第１章　無限に挑んだドン・キホーテ、ゲオルク・カントール（まちがいだらけのカントール
無限ホテルの怪　ほか）
第２章　ラッセル卿の希望を打ち砕いたクルト・ゲーデル（ラテン語の文法を完全にマスターした子供
論理学超入門（真偽表）　ほか）
第３章　チユーリングの辞書に「停まる」という文字はない（チューリングの肖像
友人の死と心脳問題　ほか）
第４章　Ω数、様相論理、エトセトラ（グレゴリー・チャイティンとΩ数
いろいろな不完全性　ほか）
著者情報 竹内 薫
　サイエンス作家。１９６０年東京生まれ。東京大学教養学部教養学科、同理学部物理学科卒。マギル大学大学院博士課程修了（高エネルギー物理学理論専攻、理学博士）(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表：

前のページへ
ページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。