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 § 203
Replies: 202   Last Post: Feb 10, 2013 3:34 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
mueckenh@rz.fh-augsburg.de

Posts: 13,448
Registered: 1/29/05
Re: Matheology § 203
Posted: Jan 29, 2013 4:09 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On 29 Jan., 09:54, William Hughes <wpihug...@gmail.com> wrote:
> On Jan 29, 9:33 am, WM <mueck...@rz.fh-augsburg.de> wrote:
>

> > "All" and "every" in impredicative statements about infinite sets.
>
> > Consider the following statements:
>
> > A) For every natural number n, P(n) is true.
> > B) There does not exist a natural number n such that P(n) is false.
> > C) For all natural numbers P is true.

>
> > A implies B but A does not imply C.
>
> Which is the point.  Even though A
> does not imply C we still have
> A implies B.
>
> Let  L be a list
>      d the antidiagonal of L
>      P(n),  d does not equal the nth line of L
>
> We have (A)
>
>    For every natural number n, P(n) is true.
>
> This implies (B)
>
>   There does not exist a natural number n
>   such that P(n) is false.
>
> In other words, there is no line of L that
> is equal to d.


And how can C be correct nevertheless? Because "For all" is
contradictory.

There is no natural number that finishes the set N.
There is no finished set N.

There is, in the list of all reminating decimals, no anti-diagonal,
that differs from all terminatig decimals at digits belonging to at
least one of these terminating decimals. Reason: The list is complete.
If you don't believe, consider the Binary Tree constructed from all
finite paths only.
Again, the only solution is, there is no complete set Q.

There is, in the construction of the complete Binary Tree, no node
that adds more than one path to the tree. Nevertheless the completely
constructed tree contains uncountably many paths. No reason to be
taken aback, at least a little bit?

Nevertheless, the steps of construction can be enumerated and
therefore can be considered as a list. In no line you find any
infinite path. But the complete list contains uncountably many
infinite paths - if such exist in the complete construction.

Regards, WM


Date Subject Author
1/29/13
Read Matheology § 203
mueckenh@rz.fh-augsburg.de
1/29/13
Read Re: Matheology § 203
William Hughes
1/29/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
1/29/13
Read Re: Matheology § 203
William Hughes
1/29/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
1/29/13
Read Re: Matheology § 203
William Hughes
1/29/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
1/29/13
Read Re: Matheology § 203
William Hughes
1/29/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
1/29/13
Read Re: Matheology § 203
William Hughes
1/29/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
1/29/13
Read Re: Matheology § 203
William Hughes
1/29/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
1/29/13
Read Re: Matheology § 203
William Hughes
1/29/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
1/29/13
Read Re: Matheology § 203
William Hughes
1/30/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
1/30/13
Read Re: Matheology § 203
William Hughes
1/30/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
1/30/13
Read Re: Matheology § 203
William Hughes
1/30/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
1/30/13
Read Re: Matheology § 203
William Hughes
1/30/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
1/30/13
Read Re: Matheology § 203
William Hughes
1/30/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
1/30/13
Read Re: Matheology § 203
William Hughes
1/30/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
1/30/13
Read Re: Matheology § 203
William Hughes
1/30/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
1/30/13
Read Re: Matheology § 203
William Hughes
1/30/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
1/30/13
Read Re: Matheology § 203
William Hughes
1/31/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
1/31/13
Read Re: Matheology § 203
William Hughes
1/31/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
1/31/13
Read Re: Matheology § 203
William Hughes
1/31/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
1/31/13
Read Re: Matheology § 203
William Hughes
1/31/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
1/31/13
Read Re: Matheology § 203
William Hughes
1/31/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
1/31/13
Read Re: Matheology § 203
William Hughes
2/1/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/1/13
Read Re: Matheology § 203
William Hughes
2/1/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/1/13
Read Re: Matheology § 203
William Hughes
2/1/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/1/13
Read Re: Matheology § 203
William Hughes
2/1/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/1/13
Read Re: Matheology § 203
William Hughes
2/1/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/1/13
Read Re: Matheology § 203
William Hughes
2/1/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/1/13
Read Re: Matheology § 203
William Hughes
2/1/13
Read Re: Matheology § 203
William Hughes
2/1/13
Read Re: Matheology � 203
Virgil
2/2/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/2/13
Read Re: Matheology § 203
William Hughes
2/2/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/2/13
Read Re: Matheology § 203
William Hughes
2/2/13
Read Re: WMytheology � 203
Virgil
2/2/13
Read Re: WMytheology § 203
fom
2/2/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/2/13
Read Re: Matheology § 203
William Hughes
2/2/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/2/13
Read Re: Matheology § 203
William Hughes
2/2/13
Read Re: Matheology § 203
William Hughes
2/3/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/3/13
Read Re: Matheology § 203
William Hughes
2/3/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/3/13
Read Re: Matheology � 203
Virgil
2/3/13
Read Re: Matheology § 203
William Hughes
2/3/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/3/13
Read Re: Matheology § 203
fom
2/4/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/4/13
Read Re: Matheology § 203
fom
2/5/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/5/13
Read Re: Matheology § 203
fom
2/5/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/5/13
Read Re: Matheology � 203
Virgil
2/5/13
Read Re: Matheology � 203
Virgil
2/4/13
Read Re: WMytheology � 203
Virgil
2/4/13
Read Re: WMytheology § 203
fom
2/4/13
Read Re: WMytheology � 203
Virgil
2/5/13
Read Re: WMytheology § 203
fom
2/5/13
Read Re: WMytheology § 203
mueckenh@rz.fh-augsburg.de
2/5/13
Read Re: WMytheology § 203
fom
2/5/13
Read Re: WMytheology § 203
mueckenh@rz.fh-augsburg.de
2/10/13
Read Re: WMytheology § 203
fom
2/3/13
Read Re: Matheology § 203
William Hughes
2/4/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/4/13
Read Re: Matheology § 203
William Hughes
2/4/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/4/13
Read Re: Matheology § 203
William Hughes
2/4/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/4/13
Read Re: Matheology § 203
William Hughes
2/4/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/4/13
Read Re: Matheology § 203
William Hughes
2/4/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/4/13
Read Re: Matheology § 203
William Hughes
2/5/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/5/13
Read Re: Matheology § 203
William Hughes
2/5/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/5/13
Read Re: Matheology � 203
Virgil
2/5/13
Read Re: Matheology § 203
gus gassmann
2/5/13
Read Re: Matheology § 203
William Hughes
2/5/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/5/13
Read Re: Matheology � 203
Virgil
2/5/13
Read Re: Matheology § 203
fom
2/5/13
Read Re: Matheology § 203
William Hughes
2/5/13
Read Re: Matheology � 203
Virgil
2/4/13
Read Re: WMytheology � 203
Virgil
2/4/13
Read Re: Matheology � 203
Virgil
2/4/13
Read Re: Matheology § 203
fom
2/4/13
Read Re: Matheology � 203
Virgil
2/4/13
Read Re: Matheology § 203
fom
2/5/13
Read Re: Matheology § 203
fom
2/5/13
Read Re: Matheology � 203
Virgil
2/5/13
Read Re: Matheology § 203
fom
2/4/13
Read Re: Matheology � 203
Virgil
2/4/13
Read Re: Matheology � 203
Virgil
2/4/13
Read Re: WMytheology � 203
Virgil
2/5/13
Read Re: WMytheology § 203
mueckenh@rz.fh-augsburg.de
2/5/13
Read Re: WMytheology � 203
Virgil
2/3/13
Read Re: Matheology � 203
Virgil
2/3/13
Read Re: Matheology § 203
fom
2/4/13
Read Re: Matheology § 203
William Hughes
2/4/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/4/13
Read Re: Matheology � 203
Virgil
2/4/13
Read Re: Matheology � 203
Virgil
2/3/13
Read Re: Matheology � 203
Ralf Bader
2/4/13
Read Re: Matheology � 203
fom
2/4/13
Read Re: Matheology ? 203
Virgil
2/5/13
Read Re: Matheology � 203
Ralf Bader
2/6/13
Read Re: Matheology 203
mueckenh@rz.fh-augsburg.de
2/6/13
Read Re: Matheology 203
Virgil
2/6/13
Read Re: Matheology 203
mueckenh@rz.fh-augsburg.de
2/6/13
Read Re: Matheology 203
Virgil
2/6/13
Read Re: Matheology 203
mueckenh@rz.fh-augsburg.de
2/6/13
Read Re: Matheology 203
Virgil
2/6/13
Read Re: Matheology � 203
fom
2/6/13
Read Re: Matheology � 203
fom
2/4/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/4/13
Read Re: WMytheology � 203
Virgil
2/3/13
Read Re: Matheology � 203
Virgil
2/2/13
Read Re: Matheology � 203
Virgil
2/2/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/1/13
Read Re: Matheology � 203
Virgil
2/1/13
Read Re: Matheology � 203
Virgil
2/1/13
Read Re: Matheology § 203
William Hughes
2/1/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/1/13
Read Re: Matheology � 203
Virgil
2/2/13
Read Re: Matheology § 203
fom
2/2/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/2/13
Read Re: Matheology § 203
fom
2/2/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/2/13
Read Re: Matheology � 203
Virgil
2/2/13
Read Re: Matheology § 203
fom
2/2/13
Read Re: Matheology � 203
Virgil
2/2/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
2/1/13
Read Re: Matheology � 203
Virgil
2/1/13
Read Re: Matheology � 203
Virgil
2/1/13
Read Re: Matheology � 203
Virgil
2/1/13
Read Re: Matheology � 203
Virgil
1/31/13
Read Re: Matheology � 203
Virgil
1/31/13
Read Re: Matheology � 203
Virgil
1/31/13
Read Re: Matheology � 203
Virgil
1/31/13
Read Re: Matheology � 203
Virgil
1/31/13
Read Re: Matheology � 203
Virgil
1/30/13
Read Re: Matheology � 203
Virgil
1/30/13
Read Re: Matheology � 203
Virgil
1/30/13
Read Re: Matheology � 203
Virgil
1/30/13
Read Re: Matheology � 203
Virgil
1/30/13
Read Re: Matheology � 203
Virgil
1/30/13
Read Re: Matheology � 203
Virgil
1/30/13
Read Re: Matheology � 203
Virgil
1/30/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
1/30/13
Read Re: Matheology � 203
Virgil
1/30/13
Read Re: WMytheology � 203
Virgil
1/29/13
Read Re: Matheology � 203
Virgil
1/29/13
Read Re: Matheology � 203
Virgil
1/29/13
Read Re: Matheology � 203
Virgil
1/29/13
Read Re: Matheology � 203
Virgil
1/29/13
Read Re: Matheology � 203
Virgil
1/29/13
Read Re: Matheology � 203
Virgil
1/29/13
Read Re: Matheology � 203
Virgil
2/4/13
Read Re: Matheology § 203
JT
1/29/13
Read Re: Matheology � 203
Scott Berg
1/29/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
1/29/13
Read Re: Matheology § 203
fom
1/29/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
1/29/13
Read Re: Matheology � 203
Virgil
1/30/13
Read Re: Matheology § 203
fom
1/30/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
1/30/13
Read Re: Matheology § 203
fom
1/30/13
Read Re: Matheology § 203
mueckenh@rz.fh-augsburg.de
1/30/13
Read Re: Matheology � 203
Virgil
1/31/13
Read Re: Matheology § 203
fom
1/30/13
Read Re: Matheology § 203
fom
1/30/13
Read Re: Matheology � 203
Virgil
1/31/13
Read Re: Matheology § 203
fom
1/29/13
Read Re: Matheology § 203
fom
1/29/13
Read Re: Matheology � 203
Virgil

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.