In article <firstname.lastname@example.org>, Dan Christensen <Dan_Christensen@sympatico.ca> wrote:
> On Saturday, May 3, 2014 5:01:55 PM UTC-4, muec...@rz.fh-augsburg.de wrote: > > > > If you cannot point out any faulty assumptions or inferences, and cannot > > > formally disprove the result then, you must accept it. > > > > Where has that been made explicit? Nowhere, again you are handwaving here. > > > > So, you cannot neither point out any faulty assumption or inferences in the > proof, nor can you formally disprove the result. Thought so. > > > > > > > > Nevertheless, if I can prove that a set is countable and is uncountable, > > then I will not accept it, although according to your axioms and inference > > rules both is true. > > > > You ARE getting desperate, aren't you, WM? > > Dan > Download my DC Proof 2.0 software at http://www.dcproof.com > Visit my new Math Blog at http://www.dcproof.wordpress.com
And while he claims to be able to prove both the countability and uncountability of someparticular set, he has yet to do so.
WM's claims to be able to prove something are frequent, his actual presentions of proofs are rare and even then usually flawed. --