Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math.independent

Topic: § 488 Who said this?
Replies: 187   Last Post: May 7, 2014 10:06 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Dan Christensen

Posts: 2,254
Registered: 7/9/08
Re: � 488 Who said this?
Posted: May 3, 2014 12:54 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

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. This shows that this formal proof is rubbish.
>


Not at all. The great thing about formal proofs is that, unlike your frantic hand-waving exercises here, every one of a formal proof's assumptions and rules of inference have been made explicit. There are no references to what "every 6-year-old knows," etc. (Actually, one of WM's favourite arguments!) So, if you take exception to the end result, you only have to go back to your assumptions and rules inference.

If, as in your example, you object to the well-ordering theorem, your should probably go back the axioms of set theory that are cited and explain why one of them might be invalid. So, which one is it, 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



Date Subject Author
4/29/14
Read § 488 Who said this?
mueckenh@rz.fh-augsburg.de
4/29/14
Read Re: � 488 Who said this?
Virgil
4/29/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
4/29/14
Read Re: � 488 Who said this?
Virgil
4/29/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
4/29/14
Read Re: � 488 Who said this?
Virgil
4/29/14
Read Re: � 488 Who said this?
FredJeffries@gmail.com
4/29/14
Read wTf
Brian Q. Hutchings
4/29/14
Read Re: � 488 Who said this?
Virgil
4/29/14
Read Re: � 488 Who said this?
Brian Q. Hutchings
4/30/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
4/30/14
Read Re: � 488 Who said this?
Virgil
4/30/14
Read Re: § 488 Who said this?
thenewcalculus@gmail.com
4/30/14
Read Re: § 488 Who said this?
FredJeffries@gmail.com
4/30/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
4/30/14
Read Re: § 488 Who said this?
FredJeffries@gmail.com
4/30/14
Read Re: � 488 Who said this?
Virgil
4/30/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
4/30/14
Read Re: § 488 Who said this?
FredJeffries@gmail.com
5/1/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/1/14
Read Re: § 488 Who said this?
FredJeffries@gmail.com
5/1/14
Read Re: § 488 Who said this?
FredJeffries@gmail.com
5/1/14
Read Re: � 488 Who said this?
Virgil
4/30/14
Read Re: � 488 Who said this?
Virgil
4/30/14
Read Re: � 488 Who said this?
Ralf Bader
4/30/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
4/30/14
Read Re: � 488 Who said this?
Virgil
4/30/14
Read Re: § 488 Who said this?
Ralf Bader
5/1/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/1/14
Read Re: � 488 Who said this?
Virgil
4/30/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
4/30/14
Read Re: � 488 Who said this?
Virgil
5/1/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/1/14
Read Re: � 488 Who said this?
Virgil
5/1/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/1/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/2/14
Read Re: ï¿∏ 488 Who said this?
Virgil
5/2/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/2/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/2/14
Read Re: � 488 Who said this?
Virgil
4/30/14
Read Re: � 488 Who said this?
Virgil
5/1/14
Read Re: § 488 Who said this?
Dan Christensen
5/1/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/2/14
Read Re: § 488 Who said this?
Dan Christensen
5/2/14
Read Re: § 488 Who said this?
Peter Percival
5/2/14
Read Re: § 488 Who said this?
Dan Christensen
5/2/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: § 488 Who said this?
Dan Christensen
5/2/14
Read Re: § 488 Who said this?
Dan Christensen
5/2/14
Read Re: § 488 Who said this?
Peter Percival
5/2/14
Read Re: § 488 Who said this?
Roland Franzius
5/2/14
Read Re: § 488 Who said this?
Dan Christensen
5/2/14
Read Re: § 488 Who said this?
Peter Percival
5/2/14
Read Re: § 488 Who said this?
Dan Christensen
5/2/14
Read OT: Lord Longford (was Re: § 488 Who
said this?)
Robin Chapman
5/2/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/2/14
Read Re: § 488 Who said this?
Dan Christensen
5/2/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/2/14
Read Re: § 488 Who said this?
Dan Christensen
5/2/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: � 488 Who said this?
Dan Christensen
5/2/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: � 488 Who said this?
Dan Christensen
5/2/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: � 488 Who said this?
Dan Christensen
5/3/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/3/14
Read Re: � 488 Who said this?
Dan Christensen
5/3/14
Read Re: � 488 Who said this?
Dan Christensen
5/3/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/3/14
Read Re: � 488 Who said this?
Dan Christensen
5/3/14
Read Re: � 488 Who said this?
Virgil
5/3/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/3/14
Read Re: � 488 Who said this?
Dan Christensen
5/3/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/4/14
Read Re: � 488 Who said this?
Virgil
5/6/14
Read Re: � 488 Who said this?
ross.finlayson@gmail.com
5/4/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/4/14
Read Re: � 488 Who said this?
Dan Christensen
5/4/14
Read Re: � 488 Who said this?
Virgil
5/3/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/4/14
Read Re: � 488 Who said this?
Dan Christensen
5/4/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
Virgil
5/3/14
Read Re: � 488 Who said this?
Virgil
5/3/14
Read Re: � 488 Who said this?
Brian Q. Hutchings
5/3/14
Read Re: � 488 Who said this?
Brian Q. Hutchings
5/3/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/2/14
Read Re: § 488 Who said this?
Dan Christensen
5/2/14
Read Re: � 488 Who said this?
Virgil
5/3/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/3/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: § 488 Who said this?
Tucsondrew@me.com
5/2/14
Read Re: � 488 Who said this?
Virgil
5/3/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/3/14
Read Re: § 488 Who said this?
Tucsondrew@me.com
5/3/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/3/14
Read Re: § 488 Who said this?
Tucsondrew@me.com
5/3/14
Read Re: � 488 Who said this?
Virgil
5/3/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/3/14
Read Re: § 488 Who said this?
Tucsondrew@me.com
5/4/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/4/14
Read Re: § 488 Who said this?
Tucsondrew@me.com
5/4/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/4/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: § 488 Who said this?
Tucsondrew@me.com
5/4/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: § 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/4/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: § 488 Who said this?
Tucsondrew@me.com
5/4/14
Read Re: � 488 Who said this?
Virgil
5/5/14
Read Re: � 488 Who said this?
Virgil
5/3/14
Read Re: � 488 Who said this?
Virgil
5/3/14
Read Re: � 488 Who said this?
Virgil
5/3/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/2/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/2/14
Read Re: � 488 Who said this?
Virgil
5/2/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/2/14
Read Re: � 488 Who said this?
Virgil
5/3/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/3/14
Read Re: � 488 Who said this?
Virgil
5/3/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/3/14
Read Re: � 488 Who said this?
Tucsondrew@me.com
5/4/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/4/14
Read Re: � 488 Who said this?
Tucsondrew@me.com
5/4/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/4/14
Read Re: � 488 Who said this?
Tucsondrew@me.com
5/5/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/5/14
Read Re: � 488 Who said this?
Virgil
5/5/14
Read Re: � 488 Who said this?
Tucsondrew@me.com
5/5/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
Virgil
5/3/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/4/14
Read Re: � 488 Who said this?
Tucsondrew@me.com
5/4/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/4/14
Read Re: � 488 Who said this?
Dan Christensen
5/4/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
Tucsondrew@me.com
5/5/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/5/14
Read Re: � 488 Who said this?
Tucsondrew@me.com
5/5/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/5/14
Read Re: � 488 Who said this?
Virgil
5/5/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
Brian Q. Hutchings
5/3/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/3/14
Read Re: � 488 Who said this?
Tucsondrew@me.com
5/4/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/4/14
Read Re: � 488 Who said this?
Tucsondrew@me.com
5/4/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/4/14
Read Re: � 488 Who said this?
Tucsondrew@me.com
5/4/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/4/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
Tucsondrew@me.com
5/5/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
Virgil
5/3/14
Read Re: � 488 Who said this?
Virgil
5/4/14
Read Re: � 488 Who said this?
mueckenh@rz.fh-augsburg.de
5/4/14
Read Re: � 488 Who said this?
Dan Christensen
5/4/14
Read Re: � 488 Who said this?
Virgil
5/7/14
Read Re: § 488 Who said this?
thenewcalculus@gmail.com

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.