Yes. No. Both, and neither. Depends on what you mean by number, which is a fundamental question in mathematics.
The foundations of mathematics are fraught with mystery, paradox, and unanswered questions. Take the Peano's Axioms for example.
- $0$ is a number.
- Everything has to start somewhere. Peano didn't explicitlly define what it meant to be a number, he chose something and made it a number
- if $a$ is a number, so is its successor $a+1$
- $0$ is a number, therefore $0+1=1$ is a number. Therefore $1+1=2$ is a number... The process repeats. Now we have a list of numbers. If you're given an object and asked if it is a number, you can work backward to see if it is a number.
- If the successors of two numbers are equal, the the numbers are equal
- When are two things equal? When are they different? This question is surprisingly difficult to answer. In Peano's system, the successor of $2$ is $1$, and the successor of $3$ is $2$, so $3 \ne 2$.
- If a set $S$ contains $0$, and contains the successor of every it contains, then it contains every number.
- This is a inductively defined set. Zero is in $S$, so $1$ is in $S$, and so is $2$...
Comments (2)
It's impossible for me to explain how much I, perhaps surprisingly, love this. It comforts my brain.
Posted by caroline | December 5, 2005 2:05 AM
Posted on December 5, 2005 02:05
He's also really cute when he talks about this stuff.
Posted by ben | December 6, 2005 1:16 AM
Posted on December 6, 2005 01:16