I'm asking in all seriousness, but what level/area of mathematics is needed prove simple statements like 2+2=4 and what not? Can it be proved with elementary math, or do you have to get into axioms and other crazy shit?
Name:
Anonymous2007-03-08 8:54 ID:RKFV/Tz0
Genesis 34:15
Name:
Anonymous2007-03-08 8:56 ID:rey0ob/x
Any powerfull formal system with arithmetic axioms. See Calculus of Inductive Constructions : http://coq.inria.fr
Thanks, exactly what I was looking for. Math is awesome :)
Name:
Anonymous2007-03-08 16:30 ID:zIClJCnt
I didn't know it was possible to need proof for something like 2+2=4. I mean I can fucking prove it with my fingers.
Name:
Anonymous2007-03-08 16:39 ID:oM6GsRcn
>>6
You're expanding the expression to (1+1)+(1+1)=(1+1+1+1), which is true because addition is associative. That's not too different from what's done in a formal proof.
Name:
Anonymous2007-03-08 18:32 ID:KIHEzout
>>6
You can't just prove shit with your fingers in math man, everything has to be rigorous.
Name:
Anonymous2007-03-08 23:55 ID:8n3gzQEw
2+2=4 Addition Postulate
Easy i proved it
Name:
Anonymous2007-03-09 11:48 ID:65mmoBSo
Yeah, the fact that 2+2=4 is simply true because we have defined addition. We simply understand +, in that case, to mean "the usual addition", sort of a mathematical connotation, and the fact that two plus two actually does equal four is true because that's how we've defined addition.
Alternatively, you could define addition so that 2+2=5, but that definition of addition isn't quite as useful :P
We did that kind of stuff in my number theory class using axioms integer axioms.
Name:
Anonymous2007-03-18 8:48 ID:VHqk0bxt
take 2 apples and count them, write it down
write the + symbol as you are going to get another 2 apples and see what they make
take another set of 2 apples and count them, write it down next to the + as this set of apples is the one you are going to put with the others
write equals as you are finnished getting the apples
place thew apples together and count them...