In article <firstname.lastname@example.org>, email@example.com wrote:
> On Tuesday, 18 June 2013 15:23:26 UTC+2, FredJeffries wrote: > > Perhaps that is nothing of value to an ivory tower type, but to those of us > > who actually work for a living, knowing the right tool to use at the right > > time is extremely valuable. > > No. Whatever tool you use, you cannot well-order the reals. Therefore your > counterfactual tool is not valuable the least.
If WM choses to eliminate all reference to the reals from his mathematical world, he will make it even more barren than it is now.
It may well be that one can prove, in some particular system, that it is possible to do something without actually producing any particular way of doing it.