Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.



Re: 1+1=2
Posted:
Jun 17, 1996 3:58 PM


In article <19960606032652.aaaa00191@babyblue.cs.yale.edu>, Rogerio Brito writes: >acnadc@microsoft.com (Dann Corbit) wrote: >>In article <4p10dh$5vg@dinkel.civ.utwente.nl>, bosd@cs.utwente.nl says...
> >(...) A comment about Goedel's Incompleteness Theorem deleted. > >>>This is correct, but what does it have to do with the question whether it can >>>be proved that '1+1=2'? This statement can be proved in the standard set >>>theory, and in Peano arithmetic  at least if you first give a definition of >>>'1', '+', '=' and '2' (which makes the proof tedious, to say the least). > ============ IF you want to have some fun, try proving this: A simple closed curve divides the plane into two areas, one finite in area, the other, infinite. earle =====



