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

結城浩

Oct 2009 · 数学ガール Book 3 · SBクリエイティブ

About this ebook

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

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

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

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

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

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

◆登場人物紹介

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

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

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

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

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

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


母
　「僕」の母親。

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

About the author

●著者紹介
結城浩（ゆうき ひろし）
1963年生まれ。プログラミング言語、デザインパターン、暗号、数学などの分野で入門書を執筆。最新作は『数学ガール』シリーズ。J.S.バッハの「フーガの技法」が大好きな、プロテスタントのクリスチャン。
http://www.hyuki.com/