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: Matheology § 238
Replies: 210   Last Post: Apr 13, 2013 4:21 PM

Advanced Search

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

Posts: 6,993
Registered: 1/6/11
Re: Matheology � 238
Posted: Apr 11, 2013 3:48 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

In article
<2c9e62f0-1b5e-4985-bd39-09e99df134f3@m1g2000vbe.googlegroups.com>,
WM <mueckenh@rz.fh-augsburg.de> wrote:

> On 11 Apr., 18:00, William Hughes <wpihug...@gmail.com> wrote:
> > On Apr 11, 5:28 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
> >
> >
> >
> >
> >

> > > On 11 Apr., 16:42, William Hughes <wpihug...@gmail.com> wrote:
> >
> > > > On Apr 11, 4:20 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
> >
> > > > > On 11 Apr., 12:49, William Hughes <wpihug...@gmail.com> wrote:
> >
> > > > > > On Apr 11, 8:28 am, WM <mueck...@rz.fh-augsburg.de> wrote:
> >
> > > > > > > On 10 Apr., 22:53, William Hughes <wpihug...@gmail.com> wrote:
> > > > > > <snip>
> >
> > > > > > > > Thus, the fact that there is no line (along with
> > > > > > > > all its predecessors) that cannot be removed
> > > > > > > > is not a contradiction.

> >
> > > > > > > It is not a contradiction with mathematics. So far I agree. But
> > > > > > > it
> > > > > > > would be a contradiction in case someone (and there are many here
> > > > > > > around) maintained ~P for some d_n if there is a proof of P for
> > > > > > > all
> > > > > > > FISs of d:

> >
> > > > > > I do not claim this.  I claim that the collection of all d_n does
> > > > > > not have the property P.

> >
> > > > > That is not in question.
> > > > > My claim is this:
> > > > > If we have the propositions (with d_n a digit)
> > > > > A =  for every n: P(d_n)
> > > > > B =  for every n: P(d_1, d_2, ..., d_n)
> > > > > Then B implies A.

> >
> > > > > Do you agree?
> >
> > > > Indeed, however, B does not imply
> >
> > > > P(d_1,d_2,d_3....)
> >
> > > That is not required. It is only required that B implies
> > > A =  for every n: P(d_n).

> >
> > > > So there is no contradiction is saying that A and B
> > > > are true but it it not true that P(d_1,d_2,d_3,...)-

> >
> > > So A does not imply P(d_1,d_2,d_3,...) either?
> >
> > correct.

>
> So you agree that B implies A.


I do not!
Consider the counter-example
With A meaning
"For every n, d_n is the first n digits of d"
and B meaning
"For every n, d_1, d_2, ...,d_n are the first n digits of d"
then B is true for all n but A is only true for n = 1.

> >
> > Now let P be (can remove the collection without changing
> > the union of the remaining lines).  We have there is no
> > contradiction in saying that for all n, the nth line can
> > be removed.

>
> But we do not only say that the n-th line can be removed. We say that
> for all n the n-th line can be removed.


Thus WM says that after removing everything there is still something
left.
Only in Wolkenmuekenheim,
--




Date Subject Author
4/6/13
Read Matheology § 238
mueckenh@rz.fh-augsburg.de
4/6/13
Read Re: Matheology § 238
Bergholt Stuttley Johnson
4/6/13
Read Re: Matheology § 238
William Hughes
4/6/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/6/13
Read Re: Matheology § 238
Bergholt Stuttley Johnson
4/6/13
Read Re: Matheology § 238
William Hughes
4/6/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/6/13
Read Re: Matheology § 238
fom
4/6/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/6/13
Read Re: Matheology § 238
Bergholt Stuttley Johnson
4/6/13
Read Re: Matheology � 238
Virgil
4/6/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/6/13
Read Re: Matheology � 238
Virgil
4/6/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/6/13
Read Re: Matheology § 238
fom
4/6/13
Read Re: Matheology § 238
William Hughes
4/6/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/6/13
Read Re: Matheology § 238
William Hughes
4/6/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/6/13
Read Re: Matheology § 238
William Hughes
4/6/13
Read Re: Matheology � 238
Virgil
4/7/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/7/13
Read Re: Matheology § 238
William Hughes
4/7/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/7/13
Read Re: Matheology § 238
William Hughes
4/7/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/7/13
Read Re: Matheology § 238
William Hughes
4/7/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/7/13
Read Re: Matheology § 238
fom
4/7/13
Read Re: Matheology § 238
William Hughes
4/8/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/8/13
Read Re: Matheology § 238
William Hughes
4/8/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/8/13
Read Re: Matheology § 238
William Hughes
4/8/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/8/13
Read Re: Matheology § 238
William Hughes
4/8/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/8/13
Read Re: Matheology § 238
William Hughes
4/8/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/8/13
Read Re: Matheology § 238
William Hughes
4/8/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/8/13
Read Re: Matheology § 238
William Hughes
4/8/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/8/13
Read Re: Matheology § 238
William Hughes
4/8/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/8/13
Read Re: Matheology § 238
William Hughes
4/9/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/9/13
Read Re: Matheology � 238
Virgil
4/9/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/9/13
Read Re: Matheology � 238
Virgil
4/9/13
Read Re: Matheology § 238
William Hughes
4/9/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/9/13
Read Re: Matheology § 238
William Hughes
4/9/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/9/13
Read Re: Matheology § 238
William Hughes
4/9/13
Read Re: Matheology § 238
Tanu R.
4/9/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/9/13
Read Re: Matheology § 238
William Hughes
4/10/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/10/13
Read Re: Matheology � 238
Virgil
4/10/13
Read Re: Matheology § 238
William Hughes
4/10/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/10/13
Read Re: Matheology § 238
William Hughes
4/10/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/10/13
Read Re: Matheology § 238
William Hughes
4/10/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/10/13
Read Re: Matheology § 238
William Hughes
4/10/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/10/13
Read Re: Matheology § 238
William Hughes
4/10/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/10/13
Read Re: Matheology § 238
William Hughes
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology § 238
William Hughes
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology § 238
William Hughes
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology § 238
William Hughes
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology § 238
William Hughes
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology § 238
William Hughes
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology § 238
William Hughes
4/12/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/12/13
Read Re: Matheology § 238
William Hughes
4/12/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/12/13
Read Re: Matheology § 238
fom
4/12/13
Read Re: Matheology � 238
Virgil
4/12/13
Read Re: Matheology § 238
fom
4/12/13
Read Re: Matheology § 238
William Hughes
4/12/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/12/13
Read Re: Matheology § 238
William Hughes
4/12/13
Read Re: Matheology § 238
Tanu R.
4/13/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/13/13
Read Re: Matheology � 238
Virgil
4/12/13
Read Re: Matheology � 238
Virgil
4/13/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/13/13
Read Re: Matheology § 238
fom
4/13/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/13/13
Read Re: Matheology § 238
fom
4/13/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/13/13
Read Re: Matheology § 238
fom
4/13/13
Read Re: Matheology � 238
Virgil
4/13/13
Read Re: Matheology � 238
Virgil
4/13/13
Read Re: Matheology � 238
Virgil
4/12/13
Read Re: Matheology � 238
Virgil
4/12/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/12/13
Read Re: Matheology � 238
Virgil
4/12/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology � 238
Virgil
4/12/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/12/13
Read Re: Matheology § 238
fom
4/12/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology � 238
Virgil
4/10/13
Read Re: Matheology � 238
Virgil
4/10/13
Read Re: Matheology § 238
fom
4/10/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/10/13
Read Re: Matheology § 238
fom
4/10/13
Read Re: Matheology � 238
Virgil
4/10/13
Read Re: Matheology � 238
Virgil
4/10/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology � 238
Virgil
4/10/13
Read Re: Matheology � 238
Virgil
4/10/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology � 238
Virgil
4/10/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/10/13
Read Re: Matheology § 238
dan.ms.chaos@gmail.com
4/10/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/10/13
Read Re: Matheology § 238
dan.ms.chaos@gmail.com
4/10/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/10/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology § 238
fom
4/11/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology � 238
Virgil
4/10/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology § 238
fom
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology § 238
fom
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology § 238
fom
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology § 238
fom
4/11/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology � 238
Virgil
4/10/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/11/13
Read Re: Matheology § 238
fom
4/11/13
Read Re: Matheology � 238
Virgil
4/11/13
Read Re: Matheology � 238
Virgil
4/9/13
Read Re: Matheology � 238
Virgil
4/9/13
Read Re: Matheology � 238
Virgil
4/9/13
Read Re: Matheology � 238
Virgil
4/9/13
Read Re: Matheology � 238
Virgil
4/9/13
Read Re: Matheology � 238
Virgil
4/10/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/10/13
Read Re: Matheology � 238
Virgil
4/8/13
Read Re: Matheology � 238
Virgil
4/8/13
Read Re: Matheology � 238
Virgil
4/9/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/9/13
Read Re: Matheology � 238
Virgil
4/8/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/8/13
Read Re: Matheology � 238
Virgil
4/8/13
Read Re: Matheology § 238
Tanu R.
4/8/13
Read Re: Matheology � 238
Virgil
4/8/13
Read Re: Matheology § 238
Tanu R.
4/8/13
Read Re: Matheology � 238
Virgil
4/8/13
Read Re: Matheology � 238
Virgil
4/8/13
Read Re: Matheology � 238
Virgil
4/8/13
Read Re: Matheology � 238
Virgil
4/7/13
Read Re: Matheology � 238
Virgil
4/7/13
Read Re: Matheology � 238
Virgil
4/7/13
Read Re: Matheology § 238
fom
4/7/13
Read Re: Matheology � 238
Virgil
4/7/13
Read Re: Matheology � 238
Virgil
4/6/13
Read Re: Matheology § 238
fom
4/6/13
Read Re: Matheology � 238
Virgil
4/6/13
Read Re: Matheology � 238
Virgil
4/6/13
Read Re: Matheology § 238
fom
4/6/13
Read Re: Matheology � 238
Virgil
4/6/13
Read Re: Matheology § 238
fom
4/6/13
Read Re: Matheology § 238
Bergholt Stuttley Johnson
4/6/13
Read Re: Matheology � 238
Virgil
4/6/13
Read Re: Matheology � 238
Virgil
4/6/13
Read Re: Matheology � 238
Virgil
4/6/13
Read Re: Matheology § 238
namducnguyen
4/6/13
Read Re: Matheology § 238
namducnguyen
4/6/13
Read Re: Matheology § 238
mueckenh@rz.fh-augsburg.de
4/6/13
Read Re: Matheology § 238
fom
4/6/13
Read Re: Matheology � 238
Virgil
4/6/13
Read Re: Matheology § 238
fom

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.