Book summary “The art of the infinite”: summary

Introduction

You likely view mathematics as a collection of dry rules and rigid calculations rather than a creative pursuit. This perspective hides the true nature of math, which functions as an expressive art form exploring the boundless structure of infinity.

Robert Kaplan argues in The Art of the Infinite that mathematics relies on rigorous abstraction and foundational proofs to map endless concepts. You will discover how human thought reaches beyond the finite through number systems, geometric constructions, and set theory.

The book guides you through a specific sequence of mathematical ideas. You can trace how thinking evolved to conquer the paradoxes of endlessness by exploring several central questions.

• How do simple counting numbers expand to encompass the infinite?
• What keeps logical proofs stable against paradoxes?
• Why do prime numbers behave like atomic building blocks?
• Can geometry capture the rules of endless space?
• Do different sizes of infinity actually exist?

1. Numbers and the Infinite

Counting begins with natural numbers and expands through zero, negatives, and irrationals into complex numbers.

The counting numbers cannot end because for any hypothetical last number, adding one to it yields a larger number. By assuming there is a last number $n$, the expression $n + 1$ demonstrates that a larger number always exists, proving through reason alone that counting numbers are infinite.

Natural Numbers and Zero

Positional notation uses columns to represent values like tens and hundreds. Zero acts as a place-holder and a full number, though it initially resisted integration due to anomalous arithmetic behaviors like multiplying or adding without changing the value.

Tom Paine was made an honorary French citizen, which mirrors how zero was reluctantly accepted into the republic of numbers. Positional notation was invented 5,000 years ago.

Subtraction and commerce require negative numbers to represent deficits. When combined with zero and positive naturals, they form the integers, symbolized by Z from the German word Zahl.

Borrowing a marble and losing it leaves a debt of one, representing a negative quantity. A typical member of the integers is -17, and negative six times negative four equals twenty-four.

Rationals and Irrationals

Fractions represent ratios and density, meaning another fraction can always be found between any two fractions. They are symbolized by Q for quotient.

Three silver shekels are worth fifteen tin minas, requiring ratios to scale and trade properly. The number 17 functions as a rational number represented as 17 over 1.

Mahāvīrā in ninth-century India devised a problem where a young lady's pearl necklace broke during a love-quarrel, leading to fractions of pearls falling away sequentially six times until 1,161 pearls were left on the string. Geometric patterns in numbers reveal that every square number is the sum of two consecutive triangular numbers.

The first six square numbers are 1, 4, 9, 16, 25, and 36, while triangular numbers following 1 are 3, 6, 10, 15, and 21. The sum of the first seven natural numbers can be visualized by placing two identical triangular arrangements together to form a 7 by 8 rectangle and taking half the result to get 28.

• To find the sum of the first $n$ natural numbers, calculate $n$ times $n$ plus one divided by two.

Hippasus proved that the square root of two cannot be written as a fraction in lowest terms without producing a logical contradiction. This discovery horrified the Pythagoreans, who called such numbers alogos or nameless.

Hippasus of Metapontum used Pythagoras's theorem to prove the existence of irrationals, and according to legend, was drowned by his fellow Pythagoreans for the impiety. Decimal boundaries enclosing the square root of two fall between 1.41 and 1.42.

Non-repeating decimals can be constructed through explicit instructions, generating an infinite number of irrational numbers. A machine programmed to print the digit 5 followed by incrementing strings of sixes generates a unique irrational number, producing the pattern 0.565665666.

• Print the digit 5.
• Print one more 6 in a row than were printed before the 5 of the previous step.
• Return to step 1.

Complex Numbers

Because no real number squared can equal a negative number, mathematicians invented $i$ as an imaginary unit to solve equations that lack real solutions. Albert Girard defended impossible solutions for the certitude of general rules and their utility.

You can simplify powers using specific rules where $i$ squared equals negative one, $i$ to the fourth power equals one, and $i$ cubed equals negative $i$. A power like 274 is simplified by dividing by 4.

Hybrids of real and imaginary numbers like 3 plus 5i are called complex numbers, expanding the one-dimensional number line into a plane. The number 17 is shorthand for the complex number 17 plus 0i.

2. Foundations and Axioms

To guard against the disorder introduced by irrationals, ancient and modern mathematicians built up mathematical certainty on an armature of self-evident axioms and logical proofs.

Mathematical certainty relies on self-evident axioms and logical proofs to guard against the paradoxes of the infinite.

Fear of the irrational forced a shift toward systematic proofs. In the fourth century B.C., Eudoxus created a logical armature of proof to rescue certainty after Hippasus discovered irrationals.

Axioms and Fields

Field axioms define the universal operational laws that govern numbers, shifting the focus from specific contents to abstract container structures. Heinrich Weber delivered the unbroken Tablets of the Law in 1893, defining the field axioms for algebraic elements.

Richard Dedekind solved the problem of incorporating irrationals into the number line by creating cuts where the fracture between two infinite sets of rationals serves as the irrational number itself. On November 24, 1858, Richard Dedekind recorded in his diary his realization of how to define irrationals through cuts in the rational numbers.

Induction and Logic

Mathematical induction provides absolute certainty for statements concerning all natural numbers by proving a base case and showing that the property propagates from any number to its successor. Francesco Maurolico, a sixteenth-century Sicilian monk, proved by induction that the sum of the first n odd numbers equals n squared.

Mathematical induction can be used to prove that the sum of the first n odd integers equals n squared. The proof follows three steps:

• Prove that the statement is true for n = 1.
• Assume that the statement is true for n = k, so that 1 + 3 + 5 + ... + (2k - 1) = k^2.
• Prove that the statement is true for k's successor, k + 1, by showing that k^2 + (2k + 1) = (k + 1)^2.

L.E.J. Brouwer argued that mathematical truths are not independent formal stones waiting to be discovered, but constructs derived from the primordial intuition of time and the mental awareness of existing in it. Brouwer retreated to a thatched hut in the forest to think mathematics directly with his eyes closed, rejecting formal logic and language.

David Hilbert aimed to establish that mathematical axioms contain no contradictions and are complete. In 1931, young Austrian logician Kurt Gödel conclusively showed that no proof of consistency and completeness could ever be made within the system to which it referred.

3. Primes and Series

Prime numbers act as the atomic building blocks of multiplication, while infinite series reveal the paradoxical nature of summing endless terms.

Prime Numbers

Prime numbers serve as the indivisible atomic building blocks of multiplication for composite numbers. The composite number 24 breaks down into the atomic prime factors 2 · 2 · 2 · 3, or 2^3 · 3^1.

Eratosthenes created a mechanical filtering method to systematically isolate prime numbers without using a direct mathematical formula. You can use this sieve:

• Write out the natural numbers from 2 on for as long as you like.
• Cross out the multiples of 2, then of 3, then of 5, leaving 2, 3, and 5 standing.
• Move to the next remaining number, leave it in place, and cross out all its multiples.
• Repeat the process to leave only the primes.

There is an infinite number of prime numbers, a fact famously proven by Euclid more than two thousand years ago. Euclid proved this by showing that if you multiply any finite collection of primes together and add 1, the resulting number must either be a new prime itself or be divisible by a new prime not in your original collection. James Clarkson published a proof in 1966 showing that the sum of the reciprocals of primes diverges.

The distribution of prime numbers up to a given value $x$ can be closely approximated by smooth logarithmic functions. For $x = 400,000$, $\pi(x)$ is 33,859 and $Li(x)$ is approximately 33,922.62.

Arithmetic and Geometric Series

An arithmetic series can be summed elegantly by writing the sequence forwards and backwards, adding columns, and halving the result. You can follow these steps:

• Write the sequence of terms down.
• Write the sequence down again below, but in reverse order.
• Add the corresponding columns to find a constant sum for each column.
• Multiply the constant column sum by the total number of terms $n$.
• Divide the final product by two to account for counting the series twice.

Using this generalized arithmetic series formula, $17 + 18 + 19 + 20 + 21 = 95$.

The sum of a finite geometric series can be derived algebraically by multiplying the series by its ratio and subtracting it from the original equation. The Martingale System of betting involves doubling the bet after every loss, leading to a geometric series sum of $1 + 2 + 2^2 + ... + 2^{63}$ after 64 trials, which requires more dollars than there are atoms on earth.

Nicole d'Oresme used vertical towers around 1350 to display the harmonic series and prove its divergence. Although the terms of the harmonic series shrink toward zero, it diverges because its terms can be grouped into clusters that each add at least one-half to the total sum.

Standard arithmetic axioms like commutativity and associativity do not safely extend to an infinite number of terms all at once.

Rearranging a conditionally convergent alternating harmonic series can alter its sum to zero or any chosen number. This occurs because operations defined for finite terms break down when applied to infinity, proving that infinite sums are not simply large finite sums.

4. Geometry and Constructibility

Euclid had to invoke his fifth postulate regarding parallel lines to prove that the angles in a triangle add up to a straight angle. By constructing a parallel line through the vertex opposite a base, and using alternating interior angles and opposite angles, the sum of the angles is shown to always be 180 degrees.

Euclidean tools and field extensions establish precise rules for geometric constructions and optimization.

The three perpendicular bisectors of a triangle sides are concurrent at a single point called the circumcenter, which serves as the center of the circumcircle. You can construct this point with simple steps:

• Join three non-collinear points with straight line segments to make a triangle
• Erect the perpendicular bisectors of any two of these sides
• Locate the intersection point O where they meet to find the center of the circumcircle

Torricelli and Pierre de Fermat worked on this problem in the seventeenth century, with J. E. Hofmann providing a geometric solution centuries later. By rotating a triangle side by 60 degrees, a broken line representing the distance sum can be straightened. The optimal point is found by constructing equilateral triangles on the sides of the original triangle and connecting their outer vertices.

Triangle Centers

The three medians of a triangle are concurrent at the centroid, which acts as the center of gravity and is located two-thirds of the distance from each vertex to the opposite midpoint. Using a physical analogy of a metal gusset and the law of the lever, where mass times distance must balance, the centroid is proven to divide each median such that it lies two-thirds of the distance from the vertex to the midpoint of the opposite side. Leonhard Euler later discovered that the circumcenter O, centroid G, and orthocenter H always lie on a single straight line known as the Euler Line. Leonhard Euler (1707–1783) was the father of thirteen children and endlessly productive in mathematics.

Constructible Polygons

Drawing the diagonals of a pentagon reveals a pentagram and creates the golden ratio, defined as dividing a line such that the whole is to the greater segment as the greater is to the less. By constructing a regular decagon first and joining alternate vertices, you can successfully construct a regular pentagon. Kepler noted that geometry has two great treasures: the theorem of Pythagoras and the division of a line into extreme and mean ratio.

By treating constructible lengths as elements of a base field of rationals F and successively adjoining square roots of numbers, you form square root extension fields such as F1 and F2. Any number whose length lies within such a square root extension field can be geometrically constructed with Euclidean tools. The Cartesian coordinate plane allows you to analyze geometric intersections algebraically, proving that lines and circles intersect only within the appropriate field extensions.

At age eighteen, Carl Friedrich Gauss discovered how to construct the regular 17-gon, a feat previously thought impossible for two millennia. On March 30, 1796, Gauss saw the general idea clearly in the morning before getting up and immediately confirmed the 17-gon construction numerically. Gauss proved that constructible regular polygons must have a prime number of sides of the specific form 2^(2^k) + 1, where each prime appears only once, alongside any powers of two.

Johann Hermes spent ten years of his life constructing the 65,537-gon, delivering his massive manuscript to the University of Göttingen in 1879. Polygons whose side counts do not fit this rule involve irreducible cube or higher roots and are strictly unconstructible.

5. Projective Geometry and Transfinite Numbers

Projective geometry eliminates parallel lines at infinity, while set theory proves that infinities come in different sizes.

The projective plane can be defined by a small set of axioms that treat points and lines symmetrically without special status for parallels.

The axioms ensure that any two points lie on one line and any two lines meet at one point. You can build finite models like a seven-point or thirteen-point plane using dots and paths. In 1908, mathematician C. J. Keyser wrote about projective geometry and how points and lines swap places.

The principle of duality in projective geometry allows exchanging the terms point and line to generate equally true theorems.

Girard Desargues proved that two triangles in perspective from a point are also in perspective from a line. He used floating triangles and visual pyramids intersecting in three-dimensional space to prove coplanar triangles share an axis of perspectivity.

Pappus's theorem states that if three points are chosen on one line and three on another, the cross-intersection points of alternating connections are collinear. You can explore this relationship directly:

• Pick any line and a second line.
• Choose any three points on the first line and label them A, B, and C in any order.
• Choose any three points on the second line and label them A prime, B prime, and C prime in any order.
• Connect A to B prime and B to A prime, calling their intersection P.
• Let AC prime intersect A prime C at Q, and let BC prime meet B prime C at R to find that P, Q, and R are collinear.

Pascal later discovered the same collinearity result when triples of points are placed anywhere on a circle's circumference, an ellipse, a parabola, or a hyperbola.

Cantor's Paradise

Infinite sets can be compared by establishing a one-to-one correspondence between their elements, revealing that certain infinite sets have the same size. Cantor showed that sets like even numbers, squares, or multiples of m match perfectly with all natural numbers.

Cantor used a diagonal argument to prove by contradiction that real numbers in an open interval cannot be put into a one-to-one correspondence with natural numbers. He used 0.5 and 0.6 as replacement digits in the diagonal proof to construct real numbers like 0.5566656565665655... that escape any complete list.

The set of all subsets of any given set always has a strictly greater cardinality than the original set itself. A set with n elements has 2 n subsets. In 1898, Schroeder and Bernstein proved their cardinality theorem.

Cantor expanded numbers beyond finite values into ordinal numbers representing sequence positions and transfinite cardinals measuring infinite set sizes. He introduced aleph null for the smallest transfinite cardinal.

Cantor's Continuum Hypothesis posited that no cardinalities exist between natural numbers and real numbers. Kurt Gödel and Paul Cohen later proved that the Continuum Hypothesis remains forever undecidable within standard set theory.

10 Key Ideas

1. By assuming there is a last number $n$, the expression $n + 1$ demonstrates that a larger number always exists, proving through reason alone that counting numbers are infinite.
2. Hippasus proved that the square root of two cannot be written as a fraction in lowest terms without producing a logical contradiction.
3. Heinrich Weber delivered the unbroken Tablets of the Law in 1893, defining the field axioms for algebraic elements.
4. Prime numbers serve as the indivisible atomic building blocks of multiplication for composite numbers.
5. Standard arithmetic axioms like commutativity and associativity do not safely extend to an infinite number of terms all at once.
6. Any number whose length lies within such a square root extension field can be geometrically constructed with Euclidean tools.
7. Hybrids of real and imaginary numbers like 3 plus 5i are called complex numbers, expanding the one-dimensional number line into a plane.
8. The principle of duality in projective geometry allows exchanging the terms point and line to generate equally true theorems.
9. Cantor used a diagonal argument to prove by contradiction that real numbers in an open interval cannot be put into a one-to-one correspondence with natural numbers.
10. Robert Kaplan argues in The Art of the Infinite that mathematics relies on rigorous abstraction and foundational proofs to map endless concepts.