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

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