資料詳細

不完全性定理とはなにか利用可

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

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

所蔵館	所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
鳥取県立	新書文庫	410.9/ﾀｹｳ/一般Ｓ	122544458	一般	利用可

タイトル	不完全性定理とはなにか
書名ヨミ	フカンゼンセイ　テイリ　トワ　ナニカ
副書名	ゲーデルとチューリング天才はなにを証明したのか
シリーズ名	ブルーバックス
副叢書名	Ｂ－２２７７
著者名	竹内　薫／著
著者ヨミ	タケウチ，カオル
出版者	講談社
出版年	2024.11
ページ数等	２７７ｐ
大きさ	１８ｃｍ
版表示	完全版
一般件名	ゲーデルの定理
ISBN	4-06-536226-1
ISBN13桁	978-4-06-536226-6
定価	１１００円
問合わせ番号（書誌番号）	1120642209
NDC8版	410.9
NDC9版	410.9
NDC10版	410.9
内容紹介	「ゲーデルの不完全性定理」と「チューリングの停止問題」。２人の天才はこの難題をどのように解決したのか。証明が不可能であることは証明できるのか。同じことを全く別の視点から証明した２人の天才たちの思考の軌跡を追う。
著者紹介	サイエンス作家。１９６０年生まれ。東京大学教養学部教養学科、同大学物理学部物理学科卒業。マギル大学大学院博士課程修了（高エネルギー物理学専攻、理学博士）。「サイエンスＺＥＲＯ」（ＮＨＫＥテレ）の司会を長く務め、科学コミュニケーターとしても広く知られる。（本データはこの書籍が刊行された当時に掲載されていたものです）

タイトル	著者名	ページ
第０章　こころの準備（公理から集合まで；いわゆる３ワカランについて；この本の構成と読み方）
第１章　無限に挑んだドン・キホーテ、ゲオルク・カントール（まちがいだらけと揶揄されたカントール；無限ホテルの怪　ほか）
第２章　ラッセル卿の希望を打ち砕いたクルト・ゲーデル（ラテン語の文法を完全にマスターした子供；論理学超入門（真偽表）　ほか）
第３章　チューリングの辞書に「停まる」という文字はない（チューリングの肖像；友人の死と心脳問題　ほか）
第４章　Ω数、様相論理、エトセトラ（グレゴリー・チャイティンとΩ数；いろいろな不完全性　ほか）
特別対談　不完全性定理―数学と哲学の交差点から　加藤文元×竹内薫