資料詳細

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

竹内薫／著 -- 講談社 -- 2013.4 --

所蔵

所蔵は 1 件です。

所蔵館	所蔵場所	資料区分	請求記号	資料コード	所蔵状態	資料の利用
配架日	協力貸出	利用状況	返却予定日	資料取扱	予約数	付録注記	備考
中央	書庫	一般図書	/410.9/5079/2013	7102083278		Digital BookShelf
2013/05/17	可能	利用可			0

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

- 統合検索
  都内図書館の所蔵を
  横断検索します。 類似資料 AI Shelf
  この資料に類似した資料を
  AIが紹介します。

ページの先頭へ

資料詳細

ISBN	4-06-257810-3
ISBN13桁	978-4-06-257810-3
タイトル	不完全性定理とはなにか
タイトルカナ	フカンゼンセイテイリトワナニカ
タイトル関連情報	ゲーデルとチューリングの考えたこと
タイトル関連情報読み	ゲーデルトチューリングノカンガエタコト
著者名	竹内薫／著
著者名典拠番号	110001180090000
出版地	東京
出版者	講談社
出版者カナ	コウダンシャ
出版年	2013.4
ページ数	246p
大きさ	18cm
シリーズ名	ブルーバックス
シリーズ名のルビ等	ブルーバックス
シリーズ番号	B-1810
シリーズ番号読み	B-1810
価格	¥900
内容紹介	真な命題は必ず証明できるはずだと考えていた数学界に大きな衝撃を与えた「不完全性定理」。「証明が不可能であることを証明する」という難題を解決した2人の天才ゲーデルとチューリングの考えと不完全性定理を紐解く。
書誌・年譜・年表	文献:p231～240
個人件名	Turing, Alan, 1912-1954-entity-00621580
一般件名	ゲーデルの定理-ndlsh-00562524
一般件名カナ	ゲーデルノテイリ-00562524
一般件名	不完全性定理
一般件名カナ	フカンゼンセイテイリ
一般件名典拠番号	511701200000000
分類：都立NDC10版	410.9
書評掲載紙	読売新聞 2013/05/12 1816
資料情報1	『不完全性定理とはなにかゲーデルとチューリングの考えたこと』（ブルーバックス B-1810）　竹内薫／著　講談社　2013.4（所蔵館：中央　請求記号：/410.9/5079/2013　資料コード：7102083278）
URL	https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1152255475

ページの先頭へ