| 資料の種別。 |
図書。
資料情報のコピー
|
| タイトル。 |
不完全性定理とはなにか(フカンゼンセイ テイリ トワ ナニカ)。
|
| 副書名。 |
ゲーデルとチューリング天才はなにを証明したのか(ゲーデル ト チューリング テンサイ ワ ナニ オ ショウメイ シタ ノカ)。
|
| 著者名等。 |
竹内薫∥著(タケウチ,カオル)。
|
| 統一著者名。 |
竹内 薫。
|
| 版次。 |
完全版。
|
| 出版者。 |
講談社/東京。
|
| 出版年。 |
2024.11。
|
| ページと大きさ。 |
277p/18cm。
|
| シリーズ名。 |
ブルーバックス B-2277。
|
| 一般注記。 |
文献あり 索引あり。
|
| 件名。 |
ゲーデルの定理。
|
| Turing,Alan Mathison。
|
| 分類。 |
NDC8 版:410.9。
|
| NDC9 版:410.9。
|
| NDC10 版:410.9。
|
| ISBN。 |
978-4-06-536226-6。
|
| 4-06-536226-1。
|
| 9784065362266。
|
| 4065362261。
|
| 価格。 |
1100円。
|
| タイトルコード。 |
5023463。
|
| 内容紹介。 |
「ゲーデルの不完全性定理」と「チューリングの停止問題」。2人の天才はこの難題をどのように解決したのか。証明が不可能であることは証明できるのか。同じことを全く別の視点から証明した2人の天才たちの思考の軌跡を追う。。
|
| 著者紹介。 |
サイエンス作家。1960年生まれ。東京大学教養学部教養学科、同大学物理学部物理学科卒業。マギル大学大学院博士課程修了(高エネルギー物理学専攻、理学博士)。「サイエンスZERO」(NHKEテレ)の司会を長く務め、科学コミュニケーターとしても広く知られる。(本データはこの書籍が刊行された当時に掲載されていたものです)。
|