It may not be a fair argument, but it hits one of the key questions in the philosophy of math. Classical math takes the attitude that absolute truth exists, an

It may not be a fair argument, but it hits one of the key questions in the philosophy of math. Classical math takes the attitude that absolute truth exists, and we can reason about reasoning fairly freely. In particular I can ask a question like, "Does this program halt?" and it will have a well-defined answer. Even if I don't know what it is. The set of programs that halt is a well-defined set, even if there is no procedure for that can always determine if a given program is in the set. Constructivists do not accept this point of view. To a constructivist, a question has 3 possible answers. True, false, and unknown. Talking about whether a program "really" halts when nobody has verified it one way or another is nonsensical. A construction that requires knowing something we can't find out, even in principle, is not a valid construction. Now in this point of view, we can carry out the construction of the real numbers as follows. A Cauchy sequence is a program that produces a sequence of numbers along with a proof that it converges to 0. Two programs define the same number if their sequences converge. Easy, peasy. But consider the following. A program that conducts a search for a proof or disproof of the Riemann conjecture, at each step of the search giving (-0.5)^n. If it finds a proof or disproof, it will continue giving (-0.5)^N where N is the step where it found that answer. If it doesn't, it continues. Now this is a Cauchy sequence. It converges to something. But to what? Is it positive or negative or 0? If there is a proof or disproof it will not be 0. It might be positive or negative. If neither proof nor disproof exist, it will be 0. To a classical mathematician, there must be an answer, we just don't know what it is. To a Constructivist, this is a question whose answer is unknown and therefore undefined. This number therefore cannot be categorized as positive, negative, or 0. Exactly because of the problem that you state, we have no way in guaranteed finite time to figure out whether this sequence becomes constant or forever approaches 0. I advocate learning constructivism. Not because it is useful - it is not. But because it shows that many things that mathematicians confidently claim do not actually follow by pure reasoning and cannot be proven. For example the existence of numbers that cannot be written down. To a constructivist, all numbers can be written down. We just cannot always tell them apart!