Saturday, March 2nd, 2019 · 16 min read
Every time we create something new, we go from 0 to 1. The act of creation is singular, as is the moment of creation, and the result is something fresh and strange.
– Peter Thiel, Zero to One
A 1992 study published in Nature worked with five-month-old infants to determine their capacity for understanding addition and subtraction. Experimenters showed babies an object, hid it behind a screen, and then had the babies watch as they added an extra object behind the screen. During some trials, the experimenters would surreptitiously remove the extra object. Even at that age, the babies knew that something was wrong when they saw “zero more” objects added to the group instead of “one more” object.
For the most part, this is the innate intuition that carried us through our early math classes. If we were lucky (or unlucky, depending on who you ask), we got our first taste of formalizing this intuition in middle- or high-school geometry. Starting with propositions called “axioms” — things we took for granted as true — we were forced to consider how our intuition stemmed from these axioms, and constructed formal, albeit basic, mathematical “proofs” for results like the Law of Cosines or the congruence of two triangles.
If you forgot it, the Law of Cosines says that , where , , and are side lengths of a triangle and is the angle opposite of side . If you plug in 90 degrees for , you get the Pythagorean theorem.
In that first geometry class, we were told what we could assume to be true — but did we ever stop to ask why?
Who decided what exactly we could take for granted? Why these specific axioms? Why couldn’t we assume the Law of Cosines was true, and why did we have to prove it?
Mathematicians have thought long and hard about these questions, and the community consensus is not necessarily on specific axioms that we take for granted as true, but on a principle: keep the number of assumptions to a minimum. This is similar to a famous problem-solving technique known as Occam’s razor: “When presented with competing hypotheses to solve a problem, one should select the solution with the fewest assumptions.”
The problem of coming with a minimal set of axioms from which all mathematics follows is harder than it looks. Mathematicians have labored for years to do so, and the most famous attempt was the Principia Mathematica, published in 1913 by mathematicians Alfred North Whitehead and Bertrand Russell. In 1931, however, logician Kurt Gödel proved that any such system was impossible — in short, any choice of axioms would either be incomplete, and unable to prove all of mathematics; or inconsistent, and could be used to prove contradictions.
Nonetheless, mathematics has to start from somewhere, and so mathematicians have defined specific axioms for the specializations they work in, like geometry (think Euclid’s axioms). These specialized axioms are what geometrists, algebraists, and so forth have decided are the minimal set of assumptions they need to do productive work and draw valid conclusions.
It is through these axioms that we can rigourously show that 1 is in fact greater than 0 — not from nebulous notions like “intuition,” but from solid mathematical footing built on the axiomatic consensus of the mathematical community.
Indeed, perhaps this is what differentiates our mental capacity from those of five-month-olds.
As a sidenote, bucking convention and exploring the consequences of alternative axioms have led to the creation of whole new branches of mathematics. One example is spherical geometry, which throws traditional Euclidean foundations out the window. On a sphere, for example, the angles of a triangle can add up to more than 180 degrees.
“God made the natural numbers; all else is the work of man.”
– Leopold Kronecker, German mathematician
When I say “minimal set of assumptions,” there are many different levels of “minimal” we can start at. Our foundational level of abstraction could potentially be that all we have to work with are the natural numbers — — as Kronecker seems to be advocating for. Alternatively, we can simply take to be an axiom.
We could go in a few directions with the first approach. There are the Peano axioms, which are a set of axioms on the natural numbers that aim to fully describe their behavior. These axioms are almost like Newton’s Laws — not constructed, but rather, a description of the “natural” properties of the natural numbers. In this approach, we simply define the order of the natural numbers, so we conclude by construction.
We define the ordering of the natural numbers as: for natural numbers and , if and only if for some natural number .
It’s valid, but to a certain extent it seems like a bit of a cheap shot — we’re essentially defining our result into existence.
On the other hand, we could try to prove in the real numbers. However, starting from the fundamentals in this direction is almost “too close to the hardware,” and to go from the naturals (, etc.) to the reals (e.g. ) necessitates the use of such concepts as Cauchy sequences, equivalence classes, and more — tools that require a thorough background in modern algebra (which unfortunately, I lack).
To take the last approach, axiomatizing our conclusion that into truth, would be akin to eating dessert before dinner.
The approach that I found most enlightening — accessible yet satisfyingly rigorous — was presented in my introductory analysis class at the University of Michigan by Professor Stephen DeBacker. We’ll start at a level of abstraction that’s readily understandable — yet sufficiently logically separated from our result — so we’ll still be able to see firsthand how our basic assumptions can be used to formalize the seemingly simple conclusion we’re going for. Furthermore, our basic assumptions will be the same assumptions used by specialists in the fields of modern algebra and real analysis — so I would say we’re justified in choosing this place as a starting point.
Our “minimal assumption” is that the real numbers satisfy the below properties, where , , and are arbitrary real numbers. The term commonly used by the mathematical community to refer to each property is listed in parentheses next to each one.
For now, we can plug in a few values for , , and to get an intuition for why each of these properties hold. Again, there are ways to prove that the real numbers satisfy all of the above properties using tools of modern algebra, but without that background, what we have above is a very accessible starting point.
Also, we won’t need to use all of the given properties above in our proof, but I’ve listed them all here because a (potentially infinite) collection of numbers that satisfy the first twelve properties has a special name among mathematicians — a “field.” If that collection of numbers also satisfies the last three properties, it’s called an “ordered field”. Essentially, our assumption is that the real numbers form an ordered field.
To begin our proof, we assume our axiom — that the real numbers form an ordered field, and consequently fulfill the fifteen properties above.
To start, by properties (5) and (9) above, we know that real numbers and exist. By property (15), we know that is either positive, negative, or zero. By property (12), we know that . That leaves two possibilities: either is positive, and ; or is negative, and .
We now proceed by a technique known as “proof by contradiction.” Essentially, we assume something we wish to show is untrue to be true, and use the assumed truth to prove something that that we know for sure is untrue. The logical consequence of this kind of maneuvering is that it must be impossible for the thing we assumed to be true to be indeed true, because it led to an impossibility. Hence, it must be false.
If we have a few possibilities to choose from, one of which must be true, this tactic is a good way to eliminate the impossible choices and narrow down the scope of what the real possibility is.
If proof by contradiction sounds complicated, it is — but it’s also an essential mathematical tool. Sometimes, the complexity of proving something directly — without contradiction — makes the problem difficult enough that it actually can be easier to show that the alternative possibilities simply can’t be true.
Let’s assume that — that is negative — and show that it leads to an impossibility. One potential impossibility that we could demonstrate is that this assumption implies that , because by property (15), cannot be both less than zero and greater than or equal to zero at the same time.
By property (6), there exists a real number such that .
We can add to both sides to get .
Since property (5) tells us that , we can simplify the inequality to .
We can’t say just yet that must be , though — property (6) only says that there exists a real number . We need to prove it.
A lemma is an intermediate truth that we can use to strate a proof of a larger result. Whether something is called a theorem or lemma isn’t necessarily well-defined, but in general lemmas “help” us to prove what we really want.
In our case, to prove that the in property (6) is unique — specifically, that there exists only one real number such that (and consequently, that real number must be ), we can again proceed by contradiction.
Suppose that there exists another real number , where , such that . Now, consider the expression . Since equality is reflexive — that is, for all — we know that .
By property (4), associativity of addition, we can group the terms as .
By property (3), commutativity of addition, we can rearrange the first quantity to get .
Since and both equal zero, we have , and by property (5), the additive identity element, . However, we assumed , so we have a contradiction!
Thus, there can exist only one real number such that . If we replace every instance of in the lines above with an arbitrary real number , this lemma demonstrates that for any real number , there exists a unique such that . Since this is unique, we can safely give this a unique name, , resulting in the familiar notion of negatives, where . In our specific case, this shows that must equal .
Applying the results of the above lemma, our inequality from before, , becomes .
By property (14), the product of positive numbers is positive, so . We can’t say just yet that “two negatives cancel each other out,” though — none of the axioms imply that! We need to prove that . We’ll need another lemma.
In the general case, for any real number , we need to show that . Property (6) — the assumption that every element has an additive inverse — deals with negative signs, and could provide an interesting avenue to show this.
If you feel like you’re getting the hang of things, feel free to stop here and try to use the axioms to prove some of the intermediate results on your own. If you get stuck, you can always scroll down!
Since additive inverses are unique, we know that there is a unique real number such that .
By property (3), the commutativity of addition, we have .
The previous lemma told us that if , then is unique, so if we have an expression of the form , we must have . Thus, if we can show that , we’ll know for sure that .
Let’s work with the expression . We need to somehow split into its constituent terms to factor it, so we need yet another lemma — to prove that .
For this lemma, we’ll take a similar approach to the one we started above, using the uniqueness of additive inverses to show that one product must equal another product. Since is the unique additive inverse of , if we show that , then .
Note that , so by property (7), the commutativity of multiplication, we have .
By property (11), we can factor into .
By property (6), , so we have .
We’d be done if , but we haven’t proved that yet!
By property (5), . Thus, we can write .
By property (11), this distributes to .
By property (6), there exists a unique additive inverse of , so we can add it to both sides of our equation to get .
Simplifying, we get .
With that, we can conclude that , so .
Bringing that into the previous lemma, we have .
By property (11), we can then factor this expression into .
By property (6), putting the additive inverses together, we have , so .
Thus, is the unique additive inverse of , and hence .
Unwrapping all the way to the top, we left off at . This last lemma tells us that . By property (9), the multiplicative identity element, . Thus, we have , so .
This is a contradiction, because we assumed that ! By property (15), every real number is either positive, negative, or zero — no number can be both positive and negative at the same time! Thus, we have an impossibility, and our original assumption — — cannot hold. We can eliminate that possibility, leaving only one remaining case: . Since we know that every real number must fall into one of the three cases, and we’ve eliminated two of them, we must have .
As Peter Thiel so nicely put it, how fresh and strange.
Add your email to get special access to my latest work. I don't send spam, and you can unsubscribe at any time.
Hi, I'm Nate. I taught myself how to code before college, and I entered the University of Michigan in the fall of 2018, where I discovered interests in math, economics, and personal writing.
College was a serious step up from what I was used to in high school, so one especially late night my second semester, while working on a problem set in the math atrium — I decided I had enough. I needed a break from school.
I began planning a gap year in Barcelona and reaching out to old web design clients from high school for contract software work. Those plans went out the window, though, when I miraculously landed an internship at Google for the coming summer.
So, when school let out in May, I flew out to San Francisco and moved into a place in the Mission District instead. I soon realized that much of what I was looking for in my gap year — the unparalleled personal and cultural growth that comes from living alone in an iconic, bohemian city; a hungry market for entrepreneurial software engineers — was right where I was in San Francisco.
In August, I officially disenrolled from my sophomore year of classes. I got my travel fix in September, zooming across America and visiting Los Angeles, Ann Arbor, Boston, Philadelphia, and Chicago as part of a ten-state excursion, before heading back to San Francisco by way of 52 hours on Amtrak.
In October 2019, shortly after the founders completed YC S19, I joined Jupiter as their first hire. Outside of establishing a strong engineering organization and codifying our guiding development philosophies and practices, I've spent the last few months building end-to-end systems with TypeScript, React, Kotlin, gRPC, and Kubernetes.
I started this little blog to share some of these experiences — I hope you enjoy.