Opening — The First Greeting to Send to Aliens
If you were to send a message to an intelligent being on a distant star, what should the first words be? Neither Korean nor English would mean anything to them. Poetry, music, and pictures could all be read in different ways.
In the twentieth century, scientists who seriously pondered this question arrived at one answer: send mathematics. The fact that two plus two is four, a list of prime numbers, the ratio of a circle's circumference to its diameter. These, they believed, would be the same on Earth as in Andromeda. If we did not invent the natural numbers but discovered them, then whoever lives anywhere in the universe would have discovered the same things.
Here lies the most mysterious thing about mathematics. It looks like one of the human languages, yet somehow it feels as if it existed before humans did. In this essay we will stroll together through some of the beauties mathematics holds. We will begin with the mystery of prime numbers, pass through the several sizes of infinity, and arrive at a single line of equation often called the most beautiful of all. And at the end we will face an old question: is mathematics discovered, or invented?
Before the journey proper begins, let us unfold a map of the landscape we are about to walk. The beauty of mathematics was not completed in any single age; it grew over thousands of years as many civilizations added a piece at a time. Below is a very rough timeline of where the figures and ideas in this essay sit in history.
[The beauty of mathematics — a rough timeline]
c. 300 BC Euclid proves the primes are infinite
c. 250 BC Eratosthenes devises a sieve to filter primes
13th c. Fibonacci introduces a sequence from a rabbit problem
17th c. Descartes, Fermat join coordinates and geometry
18th c. Euler leaves the most beautiful identity
19th c. Gauss, Riemann open the door to non-Euclidean geometry
late 19th Cantor proves that infinity has size
20th c. modern mathematics expands into open problems and applications
What this timeline shows is that mathematics did not spring whole from a single mind but has continued like a long conversation. A question posed by Euclid is answered by a mathematician two thousand years later, and that answer gives birth to new questions. Now let us enter the first scene of that conversation: the world of primes.
Part 1. Primes — The Atoms of Number
Numbers That Cannot Be Broken Further
2, 3, 5, 7, 11, 13... these numbers share something. They are divisible only by 1 and by themselves, and by no other number cleanly. We call such numbers primes. By contrast, 4 breaks into 2 times 2, and 6 into 2 times 3.
Primes are special because they are the building material of all natural numbers. Any natural number can be broken into a product of primes in exactly one way. Twelve is 2 times 2 times 3. There is no other way. So primes are often called "the atoms of number." Just as matter, broken down again and again, arrives at atoms, so a number, broken down again and again in terms of multiplication, arrives at primes.
An Elegant Proof That There Is No End
Are there infinitely many primes, or do they stop somewhere? The answer to this came more than two thousand years ago. The proof left by the ancient Greek mathematician Euclid is, even today, the first jewel cited when people speak of the beauty of mathematics.
His argument runs like this. If there were only finitely many primes, we could gather them all and line them up. Now consider a new number formed by multiplying all those primes together and then adding one. This new number, divided by any prime on our list, always leaves a remainder of one. So this number must either be a prime itself or have some other prime, not on the list, as a factor. Either way, it contradicts the assumption that we had gathered all the primes. Therefore the primes have no end.
The beauty of this proof lies in its simplicity. A short argument that fits in a corner of a blackboard places the vast fact of "infinity" in our hands. Mathematicians call this kind of argument "proof by contradiction," assuming the opposite to draw out an absurdity.
[The skeleton of Euclid's argument]
Assume: primes are finite → p1, p2, ..., pn are all of them
New number N = (p1 × p2 × ... × pn) + 1
N divided by any pi leaves remainder 1
→ N is a new prime, or has a new prime as a factor
→ contradicts the assumption that "we gathered them all"
Conclusion: there are infinitely many primes
A Sieve to Filter the Primes
We know now that there are infinitely many primes, but how can we tell which number is prime? The oldest and most intuitive method is the "sieve" devised by Eratosthenes, who lived in roughly the same era as Euclid. The method is simple enough to follow by hand. First write out the numbers from 2 up to some bound. Then keep 2, the smallest prime, and cross out all multiples of 2. Next keep 3, the smallest survivor, and cross out all multiples of 3. Filter on in this way, and the numbers left standing to the end are exactly the primes.
[The sieve of Eratosthenes — from 2 to 20]
Start: 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
Remove ×2 → 4 6 8 10 12 14 16 18 20 gone
Remove ×3 → 9 15 gone
Remove ×5 → already removed
Survivors: 2 3 5 7 11 13 17 19
What makes this simple procedure intriguing is that it uses only multiplication, the operation that "makes," to find, in reverse, the primes that "cannot be made." It reveals what is most basic by showing what cannot be built.
Riddles Still Unsolved
Intriguingly, even after more than two thousand years of study, the primes have not surrendered all their secrets. Primes seem scattered irregularly along the number line, yet a curious regularity hides in their distribution too. Whether there are infinitely many "twin primes," pairs separated by two, such as 11 and 13, no one yet knows for certain. That so simple a question has remained unsolved for centuries speaks to the depth of the primes. Meanwhile, these stubborn properties of primes also underpin much of today's internet security and cryptography.
The twin primes are not the only riddle the primes leave open. Looking at a few more, we feel keenly that the simplest questions lead to the deepest abysses.
- **Goldbach's conjecture**: the claim that every even number greater than 2 can be written as the sum of two primes. Four is 2 plus 2, ten is 3 plus 7, one hundred is 3 plus 97. It has been checked for countless even numbers, yet no proof exists that it holds for all of them.
- **The distribution of primes**: as numbers grow larger, primes become rarer. The rate of that thinning follows a strikingly precise rule, and the deepest secret of that rule touches a conjecture posed by the nineteenth-century mathematician Riemann, counted today among the most famous unsolved problems in all of mathematics.
- **Prime deserts**: it has been proven that one can make a stretch as long as one likes containing no prime at all. So primes are neither dense everywhere nor sparse everywhere.
Thus the primes are at once the most familiar of numbers and the strangest. A schoolchild can grasp their definition, yet the finest mathematicians of our species are still finding their way through their depths.
Part 2. Infinity — Countable and Uncountable
Does Infinity Have a Size?
When we hear the word "infinity," we usually picture "one thing endlessly large." Yet in the late nineteenth century the German mathematician Georg Cantor put forward a startling idea: that infinity comes in different sizes.
First consider countable infinity. The natural numbers 1, 2, 3, ... are infinitely many. The even numbers 2, 4, 6, ... are also infinitely many. At first glance the evens seem to be half of the naturals, but Cantor showed that the two can be paired one to one. One with two, two with four, three with six, and so on, with no number left out. When the pairing matches perfectly, the two sets are the same size. That a part can be the same size as the whole is the first surprise of infinity.
The Thought Experiment of the Infinite Hotel
There is a famous story that brings this paradox to life. Imagine a hotel with infinitely many rooms. Room 1, room 2, room 3, on without end, and every one of those rooms is full of guests. In an ordinary hotel there would be no vacancy, so no further guest could be taken. Yet this infinite hotel is different.
Suppose a new guest arrives. The manager asks every guest to move one room over. The guest in room 1 goes to room 2, the guest in room 2 to room 3, and so on, everyone shifting to the next-numbered room. Then room 1 falls empty, and the new guest moves in. A full hotel has taken a new guest. Even if not one but infinitely many new guests arrive, a similar method can make room for them all.
[The infinite hotel — taking one new guest]
Start: 1→guest A 2→guest B 3→guest C ...
Request: each guest moves to room (own number + 1)
Result: 1→empty 2→guest A 3→guest B ...
The new guest moves into room 1
If this story strikes you as absurd, that very feeling is a signal of how far infinity departs from our everyday intuition. In a finite world, "full" means "can take no more," but in the world of infinity it does not. To handle infinity is to set ordinary common sense aside for a moment and follow only definitions and logic.
A Larger Infinity
So is every infinity the same size? Here Cantor's true genius shines. He proved that any attempt to pair the real numbers between 0 and 1, that is, all the decimals like 0.1, 0.1415..., 0.333..., with the natural numbers must fail.
His argument is called the "diagonal argument." Suppose someone claims to have written down a complete list of all the real numbers between 0 and 1. Cantor goes down the diagonal, the first digit of the first number, the second digit of the second number, the third digit of the third, and so on, deliberately changing each digit to a different one to build a new number. This new number differs from every number on the list in at least one place. So it is not on the list. The claim to have written them all collapses.
The conclusion is astonishing. The infinity of the reals is "larger" than the infinity of the naturals. Infinity has a hierarchy. Cantor's discovery met fierce resistance at first, but today it stands as one of the foundations of modern mathematics.
[The intuition of the diagonal argument]
The claimed list:
#1: 0. (a) b c d ...
#2: 0. e (f) g h ...
#3: 0. i j (k) l ...
...
Change each diagonal digit (a, f, k, ...) to a different value
→ a new number is built that differs from every row
→ so the list is never complete
Part 3. The Language of Mathematics — How the Symbols Came to Be
Behind the conciseness and power of mathematics today stands one hidden hero: notation. We use the signs for plus, minus, and equals as though they were obvious, yet each of them was invented by someone at some point. The mathematicians before them had to spell out in long sentences what we now write in a single line.
Take "a certain number plus three makes seven." Older mathematicians wrote it out, quite literally, as a sentence. Today it is finished in a few short symbols. The plus and minus signs settled into use among the merchants and mathematicians of fifteenth-century Europe, and the equals sign is said to have begun in the sixteenth century when one mathematician chose two parallel lines of equal length to mean that nothing could be more equal than they.
[The same meaning, written in different ages]
In the age of words:
"the unknown number with three added equals seven"
After symbols arrived:
(unknown number) + 3 = 7
→ the same thought, but symbols make it visible at a glance
The power of notation lies not merely in shortening. Good notation changes thought itself. It makes complex relations visible at a glance and lets the hand transform an expression almost automatically. One philosopher described good notation as a tool that "does half the thinking for us." When we slide an expression this way and that on paper and edge toward an answer, we are in fact being guided by well-designed symbols.
Here the question we set aside earlier quietly raises its head. The plus sign and the equals sign are plainly human inventions. But are the relations they point to, "to add" and "to be equal," also inventions, or discoveries? This subtle distance between a symbol and what it points to is a small preview of the great question we will meet at the essay's end.
Part 4. The Golden Ratio and Fibonacci — Numbers in Nature
A Sequence That Began with Rabbits
In thirteenth-century Italy the mathematician Leonardo Fibonacci, working on a simplified problem about breeding rabbits, introduced a sequence: 1, 1, 2, 3, 5, 8, 13, 21, 34... The rule is simple. Add the two preceding numbers to get the next. One plus one is two, two plus one is three, three plus two is five.
The magic of this sequence appears in the ratio of neighboring terms. As you go down the sequence dividing each larger number by the one before it, the ratio creeps toward a particular value, roughly 1.618..., which we call the golden ratio.
The Ratio of Beauty?
The golden ratio has long been spoken of in art and architecture as a "harmonious proportion." Here, though, a balanced attitude is needed. Many claims that ancient buildings or famous paintings were deliberately designed around the golden ratio are later interpretations fitted after the fact, or exaggerations. That the golden ratio is aesthetically superior is also hard to assert scientifically.
Yet it is plainly true that Fibonacci numbers appear often in nature. They are observed in the spirals of sunflower seeds, the scales of pine cones, and the angles at which the leaves of certain plants are arranged along a stem. Rather than a mystical coincidence, the convincing explanation is that this is an efficient solution that emerges naturally in growth processes seeking to pack seeds or leaves with as little gap as possible. Nature did not pursue beauty but efficiency, and the result happens to be a pattern we find beautiful.
| Concept | Definition | What is interesting |
| --- | --- | --- |
| Fibonacci sequence | A sequence made by adding the two prior terms | Often seen in the spirals of nature |
| Golden ratio | A ratio of about 1.618 | Ratios of neighboring Fibonacci numbers converge to it |
| Spiral arrangement | Efficient placing of leaves and seeds | A solution that fills space without gaps |
Part 5. Geometry — A Proving Ground Between Discovery and Invention
A Doubt That Began with Parallel Lines
The question of whether mathematics is discovery or invention found its most dramatic stage in geometry. Euclid built geometry on a few seemingly obvious starting points, the axioms. Most of them looked self-evident enough that no one would doubt them. Through any two points there is exactly one straight line, and the like.
Yet one of them, the so-called parallel postulate, somehow looked more complicated and less self-evident than the others. Roughly put, it says that through a point not on a given line there is exactly one line that never meets it. For two thousand years many mathematicians tried to derive this postulate from the simpler ones. All of them failed.
The Discovery That Other Geometries Are Possible
In the nineteenth century several mathematicians made a bold attempt. What if we deliberately changed the parallel postulate? If a contradiction sprang out, that would indirectly prove the original postulate correct. Yet astonishingly, no contradiction appeared. Instead, wholly consistent but unfamiliar new geometries revealed themselves.
Such geometries are called non-Euclidean. In their worlds the three angles of a triangle need not sum to 180 degrees, and there may be many parallel lines, or none at all. At first they looked like the product of pure abstract curiosity. Yet much later, when Einstein offered a picture of gravity in which the very space of the universe is curved, it was precisely this non-Euclidean geometry that became his language.
Here the tension between discovery and invention grows vivid. The decision to change the parallel postulate looks plainly like a free human choice, an invention. But whether the new geometry so made is consistent is not for humans to decide; that is a fact to be discovered. Further, that this abstract geometry should match the actual shape of the universe was a discovery no one intended. Geometry is, in a sense, the proving ground where the freedom of invention and the necessity of discovery meet in one place.
[One point, several geometries]
Euclidean: exactly one parallel → a flat surface
Hyperbolic: many parallels → a saddle-like curved surface
Elliptic: no parallel → a sphere-like rounded surface
All three are free of internal contradiction
Part 6. Probability — Where Intuition Is Most Easily Fooled
The beauty of mathematics does not always lie in elegant identities or vast infinities. Sometimes it comes in a slightly mischievous form that reveals how easily our intuition goes astray. Probability is just such a field.
The Chance That Birthdays Coincide
Let us pose a question. How many people must gather in a room before the chance that two of them share a birthday exceeds one half? A year has 365 days, so intuition suggests we would need quite a crowd. A hundred people? A hundred and eighty? Yet the real answer is 23. With just 23 people, the chance that some two of them share a birthday rises above one half.
The reason intuition goes wrong is that we unthinkingly picture "a person with the same birthday as me." But what the problem asks is the chance that any two people share a birthday. With 23 people, the number of ways to pair two of them is a remarkable 253. Because the number of pairs grows so fast, the chance that at least one pair coincides grows far faster than we feel it should.
[The birthday problem — intuition vs. calculation]
Intuition: "with 365 days, surely many people are needed"
Calculation: 23 people → chance of a match about 50%
50 people → chance of a match about 97%
The key: not "the same day as me" but "any two people"
pairs among 23 people = 253
The Distance Between Intuition and Proof
The lesson of the birthday problem is simple: a feeling is only a starting point, never a conclusion. In the world of probability our instincts often lose their way. The gambler who believes "this time it is due," or the heavy meaning we attach to a rare event the moment it happens once, are both cases of this misfire. One reason mathematics is beautiful is that exactly here, cold calculation corrects hot intuition. And that the result of the correction is often more astonishing than the intuition is yet another beauty.
Part 7. Euler's Identity — The Most Beautiful Single Line
Ask mathematicians to name "the most beautiful equation," and one line often appears, bearing the name of the great eighteenth-century mathematician Leonhard Euler. Since this essay follows the rule of placing formulas inside a fence, let us carefully set down its shape below.
Euler's identity (written out in words)
e raised to the power of (i times pi), plus one, equals zero.
where
e : the base of natural logarithms, about 2.718 (the number of growth)
i : the imaginary unit, whose square is -1
pi : the ratio of a circle, about 3.14159 (the number of circles)
1, 0 : the two numbers at the start of arithmetic
Why is this single line so praised? Because five fundamental constants, born in entirely different worlds, meet within one equation as if by appointment. e comes from the world of growth and compound interest, pi from the world of circles and geometry, i from imaginary numbers, and 0 and 1 from the most basic arithmetic. That they lock together in a single line to give exactly zero gives many mathematicians a sense that the universe is woven from some deep order.
Of course the feeling of "beauty" is subjective. But in the moment when such distant concepts connect unexpectedly, there is a kind of shiver that mathematicians commonly experience. It resembles the feeling of a climber who has discovered a new landscape.
Part 8. The Pythagorean Theorem — A Proof You Can See
No account of the beauty of mathematics can leave out the Pythagorean theorem. In a right triangle, the area of the square on the hypotenuse equals the sum of the areas of the squares on the other two sides. This single sentence has fascinated countless people for more than two thousand five hundred years, and the known proofs number in the hundreds.
One reason it is so especially loved is that its truth can be felt through a picture alone, with neither words nor symbols. Prepare two squares of the same size and place four identical right triangles inside each, arranged in two different ways. In one arrangement, the empty space left by the triangles becomes a single square on the hypotenuse; in the other, it becomes the two squares on the two sides. Since the large square is the same and the four triangles inside are the same, the leftover empty space must have the same area too. In this way, wordlessly, almost by gesture alone, the proof is complete.
[The intuition of a proof by rearranging pieces]
Prepare two large squares of equal size
Place four identical right triangles in each, differently
Layout A: empty space = one square on the hypotenuse
Layout B: empty space = two squares on the two sides
The large square is the same and the four triangles are the same
→ the empty spaces have equal area
→ the square of the hypotenuse = the sum of the squares of the sides
That a wordless picture can give the same certainty as a rigorous argument reminds us that a proof need not be a procession of symbols. A good diagram can itself be an argument. More intriguing still, this simple theorem connects deeply with the distances and coordinates we met earlier, and onward to the starting point of non-Euclidean geometry, the idea that space itself may be curved. One most familiar right triangle leads all the way to the question of the shape of the universe.
Part 9. Symmetry — What Stays the Same Through Change
Another place where mathematicians feel beauty is symmetry. We usually think of symmetry as the mirror-matched wings of a butterfly or a snowflake. But in mathematics symmetry carries a broader meaning. When some change is made to an object and yet its essence stays the same, we say there is a symmetry there.
Consider a square. Turn it 90 degrees, turn it 180 degrees, or flip it as in a mirror, and the square still looks exactly as it began. Gather together these "changes that leave the shape the same," and we find that they form a well-knit system among themselves. The result of performing two such changes one after another is still a change that leaves the shape the same, and every change has a partner that undoes it. The structure these changes form is what mathematics calls a group.
[The changes that leave a square the same]
Rotations: 0, 90, 180, 270 degrees
Flips: about the horizontal, vertical, and two diagonal axes
Even joined one after another, these changes
→ remain changes that leave the square the same
→ so they form one closed structure (a group)
The reason this idea is so powerful is that the language of symmetry reaches beyond mathematics into the deepest laws of nature. In physics it is known that wherever there is a symmetry, a corresponding conservation law follows. From the symmetry that the laws of physics stay the same when we shift in time comes conservation of energy; from the symmetry that they stay the same when we shift in space comes conservation of momentum. The orderly arrangement of crystals, the classification of particles, even the effort to understand the fundamental forces of the universe, all rest on the mathematics of symmetry, the search for "what stays the same through change." That what looks beautiful is at the same time what is most fundamental makes symmetry one summit of mathematical beauty.
Part 10. The Beauty of Proof — Truth Beyond Doubt
What decisively distinguishes mathematics from other disciplines is proof. Science supports hypotheses with experiment and observation, but a conclusion may change when new evidence arrives. A mathematical theorem, once rigorously proven, is true forever under its premises. The Pythagorean theorem is still true after two thousand years, and will be true ten thousand years hence.
A good proof has an aesthetic. For the same theorem there may be a long and complicated proof, and there may be a short, elegant proof that shows the heart of the matter at a glance. Mathematicians often joke of the latter that it came "from the Book," as if somewhere there were an ideal book holding only the most perfect proofs, and a lucky mathematician had glimpsed one of its pages.
The beauty of a proof does not lie merely in brevity. It lies in joining two concepts that seemed unrelated, or in suddenly shifting a complicated problem into a simple point of view that resolves it. The feeling after reading a fine proof resembles the relief of closing the last chapter of a well-built mystery novel and thinking, "ah, so that was it."
Part 11. Is Mathematics Discovered or Invented?
Now we stand before the great question we set aside at the start. Did humans make mathematics, or did they discover something that already existed? There is no settled answer, and philosophers and mathematicians have long debated it. Let us look fairly at both perspectives.
- **The view that it is discovery (Platonism)**: primes were primes before humans existed, and the ratio of a circle is the same value whoever computes it. Mathematical truth exists outside our minds, like an unknown continent, and the mathematician is one who explores it. The phrase "the universe is written in the language of mathematics" suits this view.
- **The view that it is invention**: mathematics is an elaborate language and system of rules that humans created to handle the world. Since we set the axioms (the agreed starting points) and draw out results from them, mathematics is closer to a human creation, like the rules of chess.
- **A view in between**: there is also a compromise that sees basic concepts as closer to discovery while the symbols and systems expressing them are closer to invention.
What is intriguing is a mystery that physicists often face. Abstract mathematics made out of pure curiosity frequently turns out, decades or even centuries later, to fit the explanation of natural phenomena astonishingly well. One physicist described this as "the unreasonable effectiveness of mathematics in the natural sciences." Why an abstraction inside the human head should match the motions of stars and atoms remains a deep riddle.
The story of geometry we met earlier serves as a good touchstone for this question. Non-Euclidean geometry first looked like a pure invention of no use whatever, yet decades later it was discovered to be a tool explaining the actual shape of the universe. Did an invention turn into a discovery, or did humans belatedly recognize something that was there all along? This essay does not insist that either side is right. Yet merely carrying the question with you may make you feel a small wonder the next time you count.
Part 12. The Widening of Number — Zero, Negatives, and the Irrationals
We have so far moved freely among natural numbers and primes, reals and infinities, yet in truth not all these numbers were accepted from the start. The history of number is itself a long journey in which humans, again and again, stepped beyond their own intuition to take in a new kind of number.
What came first were the natural numbers, made for counting. Yet writing "nothing" as a number of its own, the invention of zero, arrived astonishingly late. Zero is not a mere blank but the decisive key that made place-value notation possible. Only with zero could the tens place and the hundreds place be told apart by position alone. Refined in India as a symbol that fills a place, zero passed through many civilizations and transformed how the world writes numbers.
Negative numbers were doubted longer still. The idea of "a number less than zero" was for a time regarded as absurd. That something could be less than nothing at all ran against intuition. Yet as situations in which negatives fit naturally piled up, like debt and assets, or opposite directions, the negatives gradually took their place as numbers in good standing.
[The path by which number widened]
Naturals 1, 2, 3, ... begins with counting
Zero writing "nothing" the key to place value
Negatives numbers below zero holding debt and opposite direction
Rationals ratios of integers closing division
Irrationals numbers no fraction writes found in the diagonal's length
The most shocking widening was the irrationals. Consider the diagonal of a square whose side has length 1. That length plainly exists, yet it can be written exactly by no fraction at all. For those in ancient Greece who believed every number could be expressed as a ratio of integers, the discovery of such a length was an event that shook their worldview. A length one could clearly draw with a ruler lay outside the system of numbers they knew.
The lesson of this history runs deep. Mathematics was not handed down complete; it has grown by refining intuition each time it collided with it. Zero, negatives, and irrationals all met the resistance that "such a thing cannot be a number," yet each was at last taken in as part of a wider number system that describes the world more precisely. The imaginary unit i we met earlier is another scene in this same journey. The history of number is, in a sense, the longest evidence of how discovery and invention work by turns.
Part 13. Mathematics in Everyday Life
Mathematics does not live only on the blackboard. We simply do not notice that it permeates everyday life.
- Musical harmony sounds beautiful from the vibration of simple whole-number ratios. An octave is a relationship in which the frequency is exactly doubled.
- When a map app finds the fastest route, behind it runs the mathematics of graph theory.
- When a photo is compressed into a small file, a mathematical transformation happens out of sight.
- Statistics and probability lie beneath weather forecasts, insurance premiums, and the analysis of election results.
- The cryptography that guards bank accounts and messages rests on the fact, seen earlier, that a product of primes is hard to break back apart.
- The distribution of forces that keeps buildings and bridges from collapsing relies on unseen geometry and calculus.
- When a recommendation algorithm picks the next song or the next video, vast matrices and probability calculations lie beneath it.
To know mathematics is less about memorizing complicated formulas than about owning a pair of glasses that lets you look one layer deeper into the world. Seeing the same sunflower, you can recall the spirals within it; hearing the same song, you can imagine the ratios inside it.
A Glossary of Key Terms
Before closing this long story, let us gather the main concepts we have met in one place.
| Term | One-line definition | Where it appeared |
| --- | --- | --- |
| Prime number | A number divisible only by 1 and itself | The atom of number, Euclid's proof |
| Proof by contradiction | A proof that assumes the opposite to draw out an absurdity | Showing the primes are infinite |
| Countable infinity | An infinity that can be paired one to one with the naturals | The size of evens and naturals |
| Diagonal argument | An argument that a list can never be complete | Proving the reals are a larger infinity |
| Golden ratio | A ratio of about 1.618 | The ratios of Fibonacci numbers converge |
| Non-Euclidean geometry | A consistent geometry with a changed parallel postulate | The proving ground of discovery and invention |
| Pythagorean theorem | The square of the hypotenuse is the sum of the squares of the sides | A proof you can see |
| Symmetry (group) | A structure whose essence stays the same through change | Laws of nature and conservation |
| Irrational number | A number that no fraction can write | The length of a square's diagonal |
| Platonism | The view that mathematics is discovered | The discovery-versus-invention debate |
Closing — On Learning the Language of the Universe
Let us return to the first greeting we would send to aliens. We chose mathematics as the opening words because it looks not like a uniquely human convention but like a common language that might hold anywhere in the universe.
Primes hold their place unshaken as the atoms of number; infinity exists not as one but in several sizes; distant constants meet at zero within a single line. Change one parallel line and a new geometry opens; gather 23 people and shared birthdays shake our intuition. Whether all of this is invented or discovered by humans remains an open question. But whatever the answer, the wonder we feel before the landscape does not diminish.
Perhaps the greatest beauty of mathematics is precisely this capacity for wonder, the paradox that the coldest and most rigorous-looking discipline gives us, at the same time, the greatest astonishment. The next time you look up at the stars, why not recall, for a moment, the distances between them, the speed of their light, and the numbers in which all of it has been written down?
And do not forget: all of this landscape is open to anyone. Feeling the beauty of mathematics requires neither hard calculation nor special talent. It asks only the willingness to pause once and ask "why is that so," the small curiosity that notices an unfamiliar order within the familiar. If this essay has left even a single spark in that curiosity, that is enough.
Questions to Ponder
- If there are intelligent beings on another star, would they have discovered primes just as we did? Why do you think so?
- How would you explain the infinity paradox that "a part can be the same size as the whole" to a friend?
- In the story that a full infinite hotel can still take a new guest, which part was hardest for you to accept?
- The new geometry made by changing the parallel postulate came to explain the actual universe. Is that closer to discovery, or to invention?
- Like the birthday problem, have you ever had your intuition badly miss in the face of calculation?
- Hearing how zero and negative numbers were at first rejected as "not numbers," what thoughts come to you?
- Is it a coincidence that a symmetry we find beautiful, like left-right balance, is at the same time a deep law of nature?
- What number or pattern have you ever found the most "beautiful"?
References
- [Stanford Encyclopedia of Philosophy — Platonism in the Philosophy of Mathematics](https://plato.stanford.edu/entries/platonism-mathematics/)
- [Stanford Encyclopedia of Philosophy — The Philosophy of Mathematics](https://plato.stanford.edu/entries/philosophy-mathematics/)
- [Encyclopædia Britannica — Prime number](https://www.britannica.com/science/prime-number)
- [Encyclopædia Britannica — Georg Cantor](https://www.britannica.com/biography/Georg-Cantor)
- [Encyclopædia Britannica — Fibonacci sequence](https://www.britannica.com/science/Fibonacci-number)
- [Encyclopædia Britannica — Leonhard Euler](https://www.britannica.com/biography/Leonhard-Euler)
- [Encyclopædia Britannica — Non-Euclidean geometry](https://www.britannica.com/science/non-Euclidean-geometry)
- [Encyclopædia Britannica — Sieve of Eratosthenes](https://www.britannica.com/science/Sieve-of-Eratosthenes)
- [Encyclopædia Britannica — Birthday problem](https://www.britannica.com/science/birthday-problem)
- [Encyclopædia Britannica — Pythagorean theorem](https://www.britannica.com/science/Pythagorean-theorem)
- [Encyclopædia Britannica — Symmetry](https://www.britannica.com/science/symmetry-physics)
현재 단락 (1/193)
If you were to send a message to an intelligent being on a distant star, what should the first words...