コンピュータのそばにいるからこそ楽しめる数学! 数学は、問題に対するアプローチそのものが、特にコンピュータとの関係では学ぶべき価値がある分野です。 本書は、“A Geek's Guide to the Beauty of Numbers, Logic, and Computation”の翻訳書です。現代数学における「問題のとらえ方」に慣れ親しみながら、本格的な数学を用いてプログラミングの理論や計算機科学の深い内容を楽しく学んでいきます。数とは何かから始まり、一階の述語論理、公理的集合論、群論、有限状態機械、ラムダ計算、型システム、停止問題にいたるまで、計算機がいかに数学と密接に結びついているかを27 のトピックを通じて噛みしめてみましょう。
「数学とは何か」「数学の起源とは」から現代数学の全体像,数学と他分野との連関までをカバーする,初学者でもアクセスしやすい総合事典。プリンストン大学出版局刊行の大著「The Princeton Companion to Mathematics」の全訳。ティモシー・ガワーズ,テレンス・タオ,マイケル・アティヤほか多数のフィールズ賞受賞者を含む一流の数学者・数学史家がやさしく読みやすいスタイルで数学の諸相を紹介する。「ピタゴラス」「ゲーデル」など96人の数学者の評伝付き。