タイトル
|
不完全性定理とはなにか
|
タイトルヨミ
|
フカンゼンセイ/テイリ/トワ/ナニカ
|
サブタイトル
|
ゲーデルとチューリング 天才はなにを証明したのか
|
サブタイトルヨミ
|
ゲーデル/ト/チューリング/テンサイ/ワ/ナニ/オ/ショウメイ/シタ/ノカ
|
著者
|
竹内/薫‖著
|
著者ヨミ
|
タケウチ,カオル
|
著者紹介
|
マギル大学大学院博士課程修了(高エネルギー物理学理論専攻、理学博士)。著書に「量子重力理論とはなにか」「「ファインマン物理学」を読む」など。
|
版
|
完全版
|
シリーズ
|
ブルーバックス
|
シリーズヨミ
|
ブルー/バックス
|
シリーズ巻次
|
B-2277
|
シリーズ巻次ヨミ
|
B-2277
|
著作
|
不完全性定理とはなにか
|
著作ヨミ
|
フカンゼンセイ/テイリ/トワ/ナニカ
|
出版者
|
講談社
|
出版者ヨミ
|
コウダンシャ
|
出版地
|
東京
|
出版年月
|
2024.11
|
ページ数等
|
277p
|
大きさ
|
18cm
|
価格
|
¥1100
|
ISBN
|
978-4-06-536226-6
|
内容紹介
|
証明が不可能であることは証明できるのか。「不完全性定理」のゲーデルと、「停止問題」のチューリング。同じことを全く別の視点から証明した天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解く。
|
件名
|
不完全性定理
|
件名ヨミ
|
フカンゼンセイ/テイリ
|
ジャンル名
|
自然科学(45)
|
ジャンル名詳細
|
数学(130020000000)
|
NDC9版
|
410.9
|
NDC10版
|
410.9
|
利用対象
|
一般(L)
|
表現種別
|
テキスト(A1)
|
機器種別
|
機器不用(A)
|
キャリア種別
|
冊子(A1)
|
装丁コード
|
ソフトカバー(10)
|
刊行形態区分
|
単品(A)
|
特殊な刊行形態区分
|
新書(S)
|
索引フラグ
|
あり(1)
|
テキストの言語
|
日本語(jpn)
|
出版国
|
日本国(JP)
|