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

※この電子書籍は固定レイアウト型で配信されております。固定レイアウト型は文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。数学って不完全だったの？」20世紀の数学と哲学に大きな衝撃と影響を与えた「ゲーデルの不完全性定理」とは？　「僕」と3人の少女が、「不完全性定理」の真実に迫る、魅惑の数学物語。本書『数学ガール/ゲーデルの不完全性定理』では、不完全性定理の意味を理解するため、集合と論理を基礎からていねいに学びます。本書で取り扱う題材は、「正直者は誰?」「0.999…は1に等しいか」といったクイズ的なものから、「数学的帰納法」「ペアノの公理」「イプシロン・デルタ論法」「公理と定理」「数学における証明とは何か」「無限」といった深いテーマまで、多岐にわたります。前著同様、僕と、三人の数学ガール(天才少女ミルカさん、元気少女テトラちゃん、妹キャラのユーリ)が大活躍します。前著の読者はいうまでもなく、「ゲーデルの不完全性定理」に関心をもつ読者や、数学愛好家など、すべての数学ファンにとって、最良の一冊です。◆登場人物紹介「僕」　高校二年生、語り手。数学、特に数式が好き。ユーリ　中学二年生、「僕」の従妹。栗色のポニーテール。論理的な思考が好き。テトラちゃん　高校一年生、いつも張り切っている《元気少女》。ショートカットで、大きな目がチャームポイント。ミルカさん　高校二年生、数学が得意な《饒舌才媛》。長い黒髪にメタルフレームの眼鏡。エィエィ　高校二年生、ミルカさんの友達。ピアノ愛好会のリーダー。リサ　高校一年生、双倉博士の娘。プログラミングが得意。