資料詳細

[ 和図書 ] 不完全性定理とはなにかゲーデルとチューリング天才はなにを証明したのか ( ブルーバックス B-2277 )

竹内薫／著 -- 講談社 -- 2024.11 -- 完全版

所蔵

所蔵は 1 件です。

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

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

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

ページの先頭へ

資料詳細

ISBN	4-06-536226-6
ISBN13桁	978-4-06-536226-6
タイトル	不完全性定理とはなにか
タイトルカナ	フカンゼンセイテイリトワナニカ
タイトル関連情報	ゲーデルとチューリング天才はなにを証明したのか
タイトル関連情報読み	ゲーデルトチューリングテンサイワナニオショウメイシタノカ
著者名	竹内薫／著
著者名典拠番号	110001180090000
版表示	完全版
出版地	東京
出版者	講談社
出版者カナ	コウダンシャ
出版年	2024.11
ページ数	277p
大きさ	18cm
シリーズ名	ブルーバックス
シリーズ名のルビ等	ブルーバックス
シリーズ番号	B-2277
シリーズ番号読み	B-2277
価格	¥1100
内容紹介	証明が不可能であることは証明できるのか。「不完全性定理」のゲーデルと、「停止問題」のチューリング。同じことを全く別の視点から証明した天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解く。
一般件名	不完全性定理
一般件名カナ	フカンゼンセイテイリ
一般件名典拠番号	511701200000000
分類：都立NDC10版	410.9
資料情報1	『不完全性定理とはなにかゲーデルとチューリング天才はなにを証明したのか』（ブルーバックス B-2277）完全版　竹内薫／著　講談社　2024.11（所蔵館：中央　請求記号：/410.9/5079/2024　資料コード：7118607663）
URL	https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1154687370

ページの先頭へ