Colonel Olrik wrote:Durandal wrote:1 + 1 = 2 because that's the way we've defined the number line.
MY GOD!! 362 pages worth of demonstration reduced to a single line!
The man is a GENIUS!!
*gives Durandal a BIG cookie*
Here's some free advice - don't study pure math. If you do, you may be inclined to expand on Durandal's perfectly accurate explanation above, as I do below (this is probably somewhat incorrect - I'm doing it from memory, and I studied it in one subject about 5 years ago).
CAUTION: This doesn't actually add anything much to Durandal's explanation - but it is an interesting exercise in pure math.
How are the basic mathematical operations defined formally by mathematicians?
1. We accept that set theory works (this is actually three axioms, but I ain't describing them here - mainly because I can't remember them).
2. We accept the existence of a 'base value' that I will call '0'
3. We accept the existence of a 'succesor function', which I will write 'inc(x)'
Successive application of the succesor fucntion gives us an infinite chain of numbers, which we will call the natural numbers (N).
Now, we define a relationship within the natural numbers, such that the relationship has the properties:
Reflexive:
for all A in N, A is related to A
Commutative:
for all A,B in N, if A is related to B, then B is related to A
Transitive:
for all A,B,C in N, if A is related to B, and B is related to C, then A is related to C
We will call this relationship equality, and write "A is related to B" as 'A = B' (interestingly, any relation, for any set, with the above properties is called an 'equivalance relation')
Next we define a more complex relationship. This time, it is defining
pairs of natural numbers in relation to their equivalence to single natural numbers:
Zero-identity:
for all A in N, (A,0) is equivalent to A
Succesor relation:
for all A in N, (A,inc(0)) is equivalent to inc(A)
Commutative inputs:
for all A,B,C in N, if (A,B) is equivalent to C, then (B,A) is equivalent to C
We will call this addition, and write the input pairs such as (A,B) as "A + B", giving us familiar expressions of the form 'A + B = C'
So, how do we go about getting "1 + 1 = 2"?
Well, we write it as 'inc(0) + inc(0) = inc(inc(0))'
Which fits the definition of the succesor relation part of addition.
So why is "1 + 1 = 3'" wrong? Because it doesn't fit the definition of addition.
"People should buy our toaster because it toasts bread the best, not because it has the only plug that fits in the outlet" - Robert Morris, Almaden Research Center (IBM)
"If you have any faith in the human race you have too much." - Enlightenment