ログインしていません

蔵書検索・予約

条件入力に戻る

ハイライト：ON OFF

著者　：竹内　薫

出版者：講談社

出版年：2024年11月

分類：410.9

形態：図書

◎本のあらすじ: 正しくても常に証明できるとはかぎらない。ゲーデルの不完全性定理は、公理と推論規則から数学全体を導こうと考えていた、当時の数学界に衝撃を与えました。チューリングは「決定問題」を考察するなかで、「チューリング機械」という仮想的な計算機から「計算可能性と停止問題」に行き着きます。二人は同じことを全く別の視点から証明したのです。天才たちの思考の軌跡を楽しく見ていきましょう。

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

竹内薫: サイエンス作家。１９６０年生まれ。東京大学教養学部教養学科、同大学理学部物理学科卒業。マギル大学大学院博士課程修了（高エネルギー物理学専攻、理学博士）。「サイエンスＺＥＲＯ」（ＮＨＫＥテレ）の司会を長く務め、科学コミュニケーターとしても広く知られる。また、教育にも強い関心を持っており、ＹＥＳ　Ｉｎｔｅｒｎａｔｉｏｎａｌ　Ｓｃｈｏｏｌ校長も務める(本データはこの書籍が刊行された当時に掲載されていたものです)

※予約できる点数は、１人１０点までです。
※長期未返却資料がある場合、お返しいただくまで新たな資料の予約申込みはできません。
※町田市に在住もしくは、多摩美術大学・東京工科大学・桜美林大学に在学、在勤で利用者登録されている方は、ホームページからの予約サービスは受けることができません。

所蔵件数は1件です。

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

No.	所在場所	置き場所	分類	図書記号	巻冊記号	資料コード	形態	状態	禁帯
1	相模大野図書館	開架	410.9			35971225	図書	在架

名称	書誌情報
書名	ﾌｶﾝｾﾞﾝｾｲﾃｲﾘﾄﾜﾅﾆｶ
	不完全性定理とはなにか
副書名	ｹﾞｰﾃﾞﾙﾄﾁｭｰﾘﾝｸﾞﾃﾝｻｲﾜﾅﾆｵｼｮｳﾒｲｼﾀﾉｶ
	ゲーデルとチューリング天才はなにを証明したのか
版名	完全版
叢書名	ﾌﾞﾙｰﾊﾞｯｸｽ
	ブルーバックス
	Ｂ－２２７７
著者名１	ﾀｹｳﾁｶｵﾙ
	竹内　薫／著
	サイエンス作家。１９６０年生まれ。東京大学教養学部教養学科、同大学物理学部物理学科卒業。マギル大学大学院博士課程修了（高エネルギー物理学専攻、理学博士）。「サイエンスＺＥＲＯ」（ＮＨＫＥテレ）の司会を長く務め、科学コミュニケーターとしても広く知られる。（本データはこの書籍が刊行された当時に掲載されていたものです）
出版者	ｺｳﾀﾞﾝｼｬ
	講談社
出版年	202411
分類	410.9
ページ	２７７ｐ
サイズ	１８ｃｍ
ＩＳＢＮ	978-4-06-536226-6
価格	1100
内容紹介	「ゲーデルの不完全性定理」と「チューリングの停止問題」。２人の天才はこの難題をどのように解決したのか。証明が不可能であることは証明できるのか。同じことを全く別の視点から証明した２人の天才たちの思考の軌跡を追う。
件名	ゲーデルの定理