On Saturday, May 3, 2014 3:04:33 AM UTC-4, muec...@rz.fh-augsburg.de wrote: > On Friday, 2 May 2014 22:32:14 UTC+2, Dan Christensen wrote: > > > > > > > No. That is the nature of formal proof. If you have a formal proof, you know exactly what rules, axioms and assumptions were used. > > > > And you can guess, most times, that the result is useless. For example there exists a formal proof that ever set can be well-ordered, but it is impossible to do so.
"Impossible" according your unfounded prejudices.
> This shows that this formal proof is rubbish. >
It shows nothing of the sort.
> > > Another formla proof proves the existence of uncountably many real numbers. Alas, they do not exist in mathematics. This shows that also this formal proof is rubbish. >