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