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

On Sunday, May 4, 2014 7:21:06 AM UTC-4, muec...@rz.fh-augsburg.de wrote:
> On Sunday, 4 May 2014 01:18:37 UTC+2, Virgil wrote:
>

> > In article <b2a80b59-6c8d-4f42-8a0a-316f9a9b6e80@googlegroups.com>,
>
> >
>
> > mueckenh@rz.fh-augsburg.de wrote:
>
> >
>
> >
>
> >
>
> > > On Saturday, 3 May 2014 20:46:13 UTC+2, Dan Christensen wrote:
>
> >
>
> > > > On Saturday, May 3, 2014 1:06:30 PM UTC-4, muec...@rz.fh-augsburg.de wrote:
>
> >
>
> > > >
>
> >
>
> > > >
>
> >
>
> > > >
>
> >
>
> > > > > > Not at all. The great thing about formal proofs is that every one of a
>
> >
>
> > > > > > formal proof's assumptions and rules of inference have been made
>
> >
>
> > > > > > explicit.
>
> >
>
> > > >
>
> >
>
> > > >
>
> >
>
> > > > > Wrong. Where is it made explicit, for instance, that everything has to be
>
> > > > > made explicit? Nowhere! So, why do you think that everything should be
>
> > > > > made explicit?
>
> >
>
> >
>
> >
>
> > Does WM then claim that one can be ruled by rules that have not been and
>
> > cannot be stated explicitly?
>
>
>
> I am asking whether this rule has been made explicit. There are opinions stating that everything has to be made explicit, otherwise it cannot be accepted.


That is certainly the case in mathematics, especially so on foundational issues as here.

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.