## 1729 is not a number

SOURCE: Barry Mazur, When Is One Thing Equal to Some Other Thing?

Anyone who writes a number in the form 1729 implies a method of calculation: one thousand, plus seven hundreds, plus two tens, plus nine ones.

$\dpi{200} \bg_white & \underline{\texttt{1729}} \\ & \ 1 \cdot 1000 \\ + & \ 7 \cdot 100 \\ + & \ 2 \cdot 10 \\ + & \ 9 \cdot 1 \\$

Different than writing tick-marks |||||||||||||||||||||||…¹⁷²⁹ which would imply

$\dpi{200} \bg_white \underbrace{1 + 1 + 1 + 1 + 1 + 1 + 1+ \ldots}_{\text{1729 times}}$

Different than Roman numerals MDCCXXIX,

$\dpi{200} \bg_white & \ \; \underline{\texttt{M\!\;\!D\!\;\!C\!\;\!C\!\;\!X\!\;\!X\!I\!X}} \\ & \ \; 1 \cdot 1000 \\ + & \ \; 1 \cdot 500 \\ + & \ \;2 \cdot 100 \\ + & \ \; 2 \cdot 10 \\ - & \ \; 1 \cdot 1 \\ + & \ \; 1 \cdot 10$

$\dpi{200} \bg_white & \ \; \underline{\texttt{6C1}} \\ & \ \; 6 \cdot 256 \\ + & \ \; 12 \cdot 16 \\ + & \ \; 1 \cdot 1 \\$

or the most agnostic way to write a number, via its prime factorization ”the fourth prime ⨯ the sixth prime ⨯ the eighth prime”.

$\dpi{200} \bg_white p_4 \cdot p_6 \cdot p_8 \text{ \ \ i.e., \ } 7 \cdot 13 \cdot 19$

They’re all ways of calculating the number, but they’re not the number itself.

### Daphne

We could agree to call this number some agreed-upon name, like ”Daphne” and use a symbol ₯ for shorthand. 1729 is no more her name than is 6C1.

Or we could refer to Daphne by property without implying a particular calculation: “the smallest sum of two cubes, which can be written two different ways”.

Or we could denote Daphne by equation:

• ₯ = 9^3 + 10^3, or
• Daphne ₯ is the number that solves the equation 12^3 - ₯ = 1^3.

It’s the same way with the square root of two. Its name is no more √2 than ⨿2 or ¶2.

Just like 1729√2 is merely a notation. What makes √2 be √2 is the property it has.

### Numbers aren’t numerals, they’re … uh … things.

All of the above is meant to drive a wedge between numbers as written on paper and numbers as they “exist” abstractly.

Numbers don’t need numerals. And you can talk about numbers without knowing how to write them. Just agree on some symbol like π and use π whenever you want to talk about the number you don’t know how to write.

It sounds trivial talking about an integer, but the difference between

• properties of numbers,
•  ways to calculate numbers, and
• the numbers themselves

is good to keep in mind when you’re thinking deeply about

47 notes

1. clazzjassicalrockhop reblogged this from isomorphismes
2. somethingwithrainandbows reblogged this from isomorphismes and added:
This is really cool. But then again it’s math explained properly. And math explained properly is always cool.
3. the-irrationals reblogged this from isomorphismes
4. huckleberrylauren reblogged this from isomorphismes
5. fuckyeahmathematics reblogged this from isomorphismes
6. thegregschaefer reblogged this from isomorphismes
7. ubiquitous-inmymind reblogged this from isomorphismes
8. thebrittneyrae reblogged this from isomorphismes
9. bethalice reblogged this from isomorphismes
10. boxfish0 reblogged this from isomorphismes
11. stealyrcarbon reblogged this from isomorphismes
12. m4ch3teb3ar reblogged this from isomorphismes and added:
Barry Mazur, When Is One Thing Equal to Some Other Thing? Anyone who writes a number in the form 1729 implies a method...
13. lindahenneberg reblogged this from isomorphismes
14. yeahbirds reblogged this from isomorphismes
15. cab1729 reblogged this from isomorphismes
16. felicemifa reblogged this from isomorphismes
17. leo-deactivated20110715 reblogged this from isomorphismes
18. isomorphismes posted this