Michael Spivak in "Calculus" asserts that $\sqrt2$ cannot be proven to exist, and that such a proof is impossible. What does he mean by "exist"? Michael Spivak in "Calculus" asserts that $\sqrt2$ cannot be proven to exist, and that such a proof is impossible. What does he mean by "exist"? How are you to prove that any number "exists"? Why can't we define $\sqrt2$ as a number that fits under some arbitrary definition of existence, while asserting that its most concise expression is with a functional root?
I'm sorry if these questions seem a bit sophomoric; in some ways it resembles an 8 year old repeatedly asking "why". But given that his prose is very concise and technical, his usage of "exist" was out of the ordinary.
(I used two tags representing the book's field of study; and one representing the actual relevant tag.)
edit
Oh, I'm sorry. I misquoted. My question still stands, though; how has he defined existence such that $\sqrt2$ might possible not be within it.
Direct quote: "We have not proved that any such number exists..." in reference to $\sqrt2$.
 A: Spivak says that $\,\sqrt{2}\,$ exists means that there's a real number $\,x\,\,s.t.\,\,x^2=2\,$ , and this cannot be proved with the knowledge assumed in page 26 of his book.
A: The point Spivak is making is that the properties of numbers that have been studied till that point in the book are not enough to prove that there is a number whose square is 2. This follows from the proof that no rational number will do for this task. Since the rational numbers satisfy all properties till that point, it is clear that some other property is needed (and that the rationals cannot have this property). That property is completeness and is a what characterizes real numbers. Using completeness, one can and does prove that there is a positive number whose square is 2; we call it $\sqrt2$.
A: Spivak's point is: one can't prove that $\rm\:x^2\!-\!2\:$ has a root in $\rm\:\mathbb R\:$ using only the axioms $\rm\: P1\!-\!P12,\:$ i.e. axioms for an ordered field, since he has just proved that it has no root in the ordered field $\rm\mathbb Q.\:$
A: Actually upto that point, Least upper bound property was no known. And it is impossible to prove(existence of roots) without using least upper bound property. Read chapter $7$ from the same book, its explained well in the end 
A: I believe that the existence of √2 was proven in 300 B.C. give or take. 
Just draw a right triangle, with the sides being exactly 1 unit in length, then the hypotenuse of the triangle - using the Pythagorean theorem - will be √2 in length. 
I fully concede that I probably missed that whole point of this conversation, but that's how you prove the existence of √2 anyway :)
A: The construction of the irrational numbers can be undertaken in several ways. You can think of them as the "completion" of the rational numbers in the sense that after you add them to the mix, every Cauchy sequence will be convergent. You can also construct the irrational numbers through Dedekind cuts. If I remember well, this is done towards the end of the book.
