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

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,884
Registered: 7/9/08
Re: � 488 Who said this?
Posted: May 2, 2014 10:56 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Friday, May 2, 2014 7:39:57 PM UTC-4, Virgil wrote:
> In article <6de6d38e-aa27-4517-ba4d-8005e6f62cd3@googlegroups.com>,
>
> Dan Christensen <Dan_Christensen@sympatico.ca> wrote:
>
>
>

> > On Friday, May 2, 2014 5:12:28 PM UTC-4, Virgil wrote:
>
> >
>
> > > > > Is it not possible to have one line involving more than one rule and/or
>
> >
>
> > > > > axiom at a time in your system?
>
> > >
>
> >
>
> > > > No. That is the nature of formal proof. If you have a formal proof, you
>
> > > > know
>
> > >
>
> > > > exactly what rules, axioms and assumptions were used. That's why any
>
> > >
>
> > > > important foundational issues such as we are discussing here really have
>
> > > > to
>
> > >
>
> > > > be resolved by formal proof. You don't want hidden assumptions sneaking
>
> > > > in.
>
> > >
>
> > >
>
> > >
>
> > > While it may well be possible, and even idea in some ways, to build a
>
> > >
>
> > > proof structures in which each line only applies one rule, most everyday
>
> > >
>
> > > proofs do not do so, so the NECESSITY of a "one line, one rule" rule is
>
> > >
>
> > > not clearly established.
>
> > >
>
> >
>
> > Foundational issues in their fields having been settled centuries ago, very
>
> > few mathematicians work with formal proofs. If you want to try to reformulate
>
> > the foundations of all of mathematics, as WM seems to want to do, it can only
>
> > be done with formal proofs on the basis of one line, one rule.
>
>
>
> If one wants to do it in any of the various ways WM seems to want to do
>
> it, I don't believe it can be done at all!
>


There is no reason to believe that WM can can do anything that he claims. Recall that he put forward his own supposed axioms for the natural numbers a few weeks ago, but he couldn't even prove that there are two distinct numbers in his system! He just doesn't get it.

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.