資料詳細

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

竹内　薫　著 -- 講談社 -- 2024.11 -- 410.9

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

資料コード	請求記号	所蔵館	所蔵場所	資料区分	状態
106911944	X/410.9/45/	県立図書館	文庫新書	和書	在

状態の表記について
   在：「所蔵場所」にあります。
   貸出中：館外へ貸出中です。

   館内閲覧：館内でご利用ください。館外貸出はできません。
   図書館用：館内でご利用ください。図書館（団体）向けに貸し出す資料です。

タイトル	不完全性定理とはなにか完全版
副書名	ゲーデルとチューリング天才はなにを証明したのか
叢書名	ブルーバックス
著者	竹内　薫　著
出版者	東京　講談社
出版年	2024.11
ページ数	277p
大きさ	18cm
一般件名	不完全性定理
NDC分類	410.9
内容紹介	証明が不可能であることは証明できるのか。「不完全性定理」のゲーデルと、「停止問題」のチューリング。同じことを全く別の視点から証明した天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解く。
ISBN	4-06-536226-6
ISBN13桁	978-4-06-536226-6
定価	¥1100
本体価格	¥1100