Mathematics is beautiful—and it can be fun and exciting as well as practical. Good Math is your guide to some of the most intriguing topics from two thousand years of mathematics: from Egyptian fractions to Turing machines; from the real meaning of numbers to proof trees, group symmetry, and mechanical computation. If you’ve ever wondered what lay beyond the proofs you struggled to complete in high school geometry, or what limits the capabilities of the computer on your desk, this is the book for you.

Buy Now

Select a DRM-free Format:

In Stock
In Stock
Buy the eBook and get these DRM-free formats delivered immediately:
  • epub (for iPhone/iPad, Android, eReaders)
  • mobi (for Kindle)
  • PDF
We can automatically send them to your Kindle or Dropbox, and for a social reading experience we can link the book to your Readmill account. (You'll need to log in to enable these options.)

This title is currently available in Beta. Buy the eBook now, and you'll be able to download successive releases of the eBook as the authors add material and correct mistakes. You'll get the final eBook when the book is finished.

If you buy the combo pack (Beta eBook + finished Paper Book) now, you'll get the Beta eBook immediately. You'll get the finished paper book when it's released (we're currently estimating 2013-07-15, but these dates can change).

 

About this Book

  • 250 pages (est)
  • Published:
  • Release: B6.0 (2013-05-28)
  • ISBN: 978-1-93778-533-8

Why do Roman numerals persist? How do we know that some infinities are larger than others? And how can we know for certain a program will ever finish? In this fast-paced tour of modern and not-so-modern math, computer scientist Mark Chu-Carroll explores some of the greatest breakthroughs and disappointments of more than two thousand years of mathematical thought. There is joy and beauty in mathematics, and in more than two dozen essays drawn from his popular “Good Math” blog, you’ll find concepts, proofs, and examples that are often surprising, counterintuitive, or just plain weird.

Mark begins his journey with the basics of numbers, with an entertaining trip through the integers and the natural, rational, irrational, and transcendental numbers. The voyage continues with a look at some of the oddest numbers in mathematics, including zero, the golden ratio, imaginary numbers, Roman numerals, and Egyptian and continuing fractions. After a deep dive into modern logic, including an introduction to linear logic and the logic-savvy Prolog language, the trip concludes with a tour of modern set theory and the advances and paradoxes of modern mechanical computing.

If your high school or college math courses left you grasping for the inner meaning behind the numbers, Mark’s book will both entertain and enlighten you.

What You Need

No special equipment or software is required. Although the book contains brief code examples, they can all be run with open source software on any up-to-date Apple, Windows, or Linux computer.

Contents and Extracts

This book is currently in beta, so the contents and extracts will change as the book is developed.

  • Preface
  • Numbers
    • Natural Numbers
      • The Naturals, Axiomatically Speaking
      • Using Peano Induction
    • Integers
      • What’s an Integer?
      • Constructing the Integers—Naturally
    • Real Numbers
      • The Reals, Informally
      • The Reals, Axiomatically
      • The Reals, Constructively
    • Irrational and Transcendental Numbers
  • Funny Numbers
    • Zero
      • The History of Zero
      • An Annoyingly Difficult Number
    • e: the Unnatural Natural Number
      • The Number That’s Everywhere
      • History
      • Does e have a meaning?
    • The Golden Ratio
      • What is the Golden Ratio?
      • Legendary Nonsense
      • Where it Really Lives
    • i: The Imaginary Number
      • The Origin of i
      • What i does
      • What i means
  • Writing Numbers
    • Roman Numerals
      • A Positional System
      • Where did this mess come from?
      • Arithmetic is Easy (But an Abacus is Easier)
      • Blame Tradition
    • Egyptian Fractions
      • A 4000-Year Old Math Exam
      • Fibonacci’s Greedy Algorithm
      • Sometimes Aesthetics Trumps Practicality
    • Continued Fractions
      • Continued Fractions
      • Cleaner, Clearer and Just Plain Fun
      • Doing Arithmetic
  • Logic
    • Mr. Spock is Not Logical
      • What is Logic, Really?
      • FOPL, Logically
      • Show me something new!
    • Proofs, Truth, and Trees: Oh My!
      • Building a Simple Proof with a Tree
      • A Proof From Nothing
      • All in the Family
      • Branching Proofs
    • Programming with Logic
      • Computing Family Relationships
      • Computation with Logic
    • Temporal Reasoning
      • Statements that Change with Time
      • What’s CTL good for?
  • Sets
    • Cantor’s Diagonalization: Infinity isn’t just Infinity
      • Sets, Naively
      • Cantor’s Diagonalization
      • Don’t Keep it Simple Stupid
    • Axiomatic Set Theory: Keep the Good, Dump the Bad
      • The Axioms of ZFC Set Theory
      • The Insanity of Choice
      • Why?
    • Models: Using Sets as the Legos of the Math World
      • Building Natural Numbers
      • Models from Models: From Naturals to Integers and Beyond!
    • Transfinite Numbers: Counting and Ordering Infinite Sets
      • Introducing the Transfinite Cardinals
      • The Continuum Hypothesis
      • Where in infinity?
    • Group Theory: Finding Symmetries with Sets
      • Puzzling Symmetry
      • Different Kinds of Symmetry
      • Stepping into History
      • The Roots of Symmetry
  • Mechanical Math
    • Finite Automata: Simplicity Goes Far
      • The Simplest Machine
      • Finite State Machines Get Real
    • The Turing Machine
      • Adding a tape makes all the difference
      • Going Meta: The Machine That Imitates Machines
    • Pathology and the Heart of Computing
      • Introducing BF: the Great, the Glorious, the Completely Silly
      • Turing Complete, or Completely Pointless?
      • From the Sublime to the Ridiculous
    • Calculus. No, Not That Calculus: λ Calculus
      • Writing λ-Calculus: It’s almost programming!
      • Evaluation: Run it!
      • But is it Turing complete?
    • Types, Types, Types! Modeling Lambda Calculus
      • Playing to Type
      • Prove it!
      • What’s it good for?
    • The Halting Problem
      • A Brilliant Failure
      • To Halt, or Not To Halt?

About the Author

Mark Chu-Carroll is a PhD computer scientist and professional software engineer. His professional interests include collaborative software development, programming languages and tools, and how to improve the daily lives of software developers. Aside from general geekery and blogging, he plays classical music on the clarinet, traditional Irish music on the wooden flute, and folds elaborate structures out of paper.

Upcoming Author Events

  • 2013-02-08: Mark Chu-Carroll
    Building Scala Hygienically with Pants. Describing a new, bottom-up build system that allows developers to statically declare build dependencies. (NEScala 2013, Philadelphia PA)