数学ガール／ゲーデルの不完全性定理

結城浩

待望の「数学ガール」第3弾、ついに刊行!!

※この電子書籍は固定レイアウト型で配信されております。固定レイアウト型は文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。

数学って不完全だったの？」20世紀の数学と哲学に大きな衝撃と影響を与えた「ゲーデルの不完全性定理」とは？「僕」と3人の少女が、「不完全性定理」の真実に迫る、魅惑の数学物語。
本書『数学ガール/ゲーデルの不完全性定理』では、不完全性定理の意味を理解するため、集合と論理を基礎からていねいに学びます。

本書で取り扱う題材は、「正直者は誰?」「0.999…は1に等しいか」といったクイズ的なものから、「数学的帰納法」「ペアノの公理」
「イプシロン・デルタ論法」「公理と定理」「数学における証明とは何か」「無限」といった深いテーマまで、多岐にわたります。

前著同様、僕と、三人の数学ガール(天才少女ミルカさん、元気少女テトラちゃん、妹キャラのユーリ)が大活躍します。

前著の読者はいうまでもなく、「ゲーデルの不完全性定理」に関心をもつ読者や、数学愛好家など、
すべての数学ファンにとって、最良の一冊です。

◆登場人物紹介

「僕」
　高校二年生、語り手。
　数学、特に数式が好き。

ユーリ
　中学二年生、「僕」の従妹。
　栗色のポニーテール。論理的な思考が好き。

テトラちゃん
　高校一年生、いつも張り切っている《元気少女》。
　ショートカットで、大きな目がチャームポイント。

ミルカさん
　高校二年生、数学が得意な《饒舌才媛》。
　長い黒髪にメタルフレームの眼鏡。

エィエィ
　高校二年生、ミルカさんの友達。
　ピアノ愛好会のリーダー。

リサ
　高校一年生、双倉博士の娘。
　プログラミングが得意。

母
　「僕」の母親。

瑞谷女史
　「僕」の高校に勤務する司書の先生。

あなたへ
プロローグ
第1章鏡のモノローグ
第2章ペアノ・アリスメティック
第3章ガリレオのためらい
第4章限りなく近づく目標地点
第5章ライプニッツの夢
第6章イプシロン・デルタ
第7章対角線論法
第8章二つの孤独が生み出すもの
第9章とまどいの螺旋階段
第10章「ゲーデルの不完全性定理」
エピローグ
あとがき
読書案内と参考文献続きを読む