Date: May 3, 2014 8:45 AM
Author: Dan Christensen
Subject: Re: � 488   Who said this?

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.
>


As above.

Dan
Download my DC Proof 2.0 software at http://www.dcproof.com
Visit my new Math Blog at http://www.dcproof.wordpress.com