Search All of the Math Forum:

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

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Matheology § 203
Replies: 202   Last Post: Feb 10, 2013 3:34 AM

 Messages: [ Previous | Next ]
 Virgil Posts: 8,833 Registered: 1/6/11
Re: Matheology � 203
Posted: Feb 5, 2013 5:37 PM

In article
WM <mueckenh@rz.fh-augsburg.de> wrote:

> On 5 Feb., 12:17, William Hughes <wpihug...@gmail.com> wrote:
> > On Feb 5, 10:38 am, WM <mueck...@rz.fh-augsburg.de> wrote:
> > <snip>
> >

> > > So "there is no list of X" is
> > > true for every potentially infinite set.

> >
> > And so it goes.  Now there is no list
> > of |N.

>
> Now? Why should there ever have been a complete list, that means a
> complete sequence, that means all terms with all their indices which
> are all natural numbers which do not exist?

If not all natural numbers exist then some of them must not exist.
WHich ones?
> >
> > So ends this round.  It has
> > taken 100 posts to get WM to
> > admit that different potentially
> > infinite sets have different
> > listability.

>
> Where had I conceded the complete existence of a list?

Unless every set is listable, there must be sets which are not listable,
so which is it in WMytheology? Is every set listable or are some sets
not listable?
>
> > It would take another
> > 100 posts to get him to admit
> > that he admitted it.
> >
> > We now know
> > that the potentially infinite
> > series 0.111...
> >
> > is not a single line of the list
> >
> > 0.1000...
> > 0.11000...
> > 0.111000...
> > ...

>
> And we know

When WM says "we know" something, it does not mean that anyone other
than WM "knows" it.
> >
> > More importantly, we have learned that
> > we can use induction to show "every"
> > and that "every n -> P(n)" is equivalent
> > to "there is no m such that ~P(m)"
> > So we do not need to resort to "all"
> > to show something does not exist.

>
> Of course, that is true. For instance we can show that no list exists,
> that contains, as indices, all natural numbers.

Then let u see you try to show it without appealing to any of those
"axioms" that only hold in WMytheology and not elsewhere.

And if your believe you have a better set theory than, say, ZF, produce
an axiom system for it of equal clarity to the one for ZF.

Note that, in ZF, if A is a set then the union of {A} with A is also a
set, but apparently this rule does not hold in any set theory in
WMytheology.
--

Date Subject Author
1/29/13 mueckenh@rz.fh-augsburg.de
1/29/13 William Hughes
1/29/13 mueckenh@rz.fh-augsburg.de
1/29/13 William Hughes
1/29/13 mueckenh@rz.fh-augsburg.de
1/29/13 William Hughes
1/29/13 mueckenh@rz.fh-augsburg.de
1/29/13 William Hughes
1/29/13 mueckenh@rz.fh-augsburg.de
1/29/13 William Hughes
1/29/13 mueckenh@rz.fh-augsburg.de
1/29/13 William Hughes
1/29/13 mueckenh@rz.fh-augsburg.de
1/29/13 William Hughes
1/29/13 mueckenh@rz.fh-augsburg.de
1/29/13 William Hughes
1/30/13 mueckenh@rz.fh-augsburg.de
1/30/13 William Hughes
1/30/13 mueckenh@rz.fh-augsburg.de
1/30/13 William Hughes
1/30/13 mueckenh@rz.fh-augsburg.de
1/30/13 William Hughes
1/30/13 mueckenh@rz.fh-augsburg.de
1/30/13 William Hughes
1/30/13 mueckenh@rz.fh-augsburg.de
1/30/13 William Hughes
1/30/13 mueckenh@rz.fh-augsburg.de
1/30/13 William Hughes
1/30/13 mueckenh@rz.fh-augsburg.de
1/30/13 William Hughes
1/30/13 mueckenh@rz.fh-augsburg.de
1/30/13 William Hughes
1/31/13 mueckenh@rz.fh-augsburg.de
1/31/13 William Hughes
1/31/13 mueckenh@rz.fh-augsburg.de
1/31/13 William Hughes
1/31/13 mueckenh@rz.fh-augsburg.de
1/31/13 William Hughes
1/31/13 mueckenh@rz.fh-augsburg.de
1/31/13 William Hughes
1/31/13 mueckenh@rz.fh-augsburg.de
1/31/13 William Hughes
2/1/13 mueckenh@rz.fh-augsburg.de
2/1/13 William Hughes
2/1/13 mueckenh@rz.fh-augsburg.de
2/1/13 William Hughes
2/1/13 mueckenh@rz.fh-augsburg.de
2/1/13 William Hughes
2/1/13 mueckenh@rz.fh-augsburg.de
2/1/13 William Hughes
2/1/13 mueckenh@rz.fh-augsburg.de
2/1/13 William Hughes
2/1/13 mueckenh@rz.fh-augsburg.de
2/1/13 William Hughes
2/1/13 William Hughes
2/1/13 Virgil
2/2/13 mueckenh@rz.fh-augsburg.de
2/2/13 William Hughes
2/2/13 mueckenh@rz.fh-augsburg.de
2/2/13 William Hughes
2/2/13 Virgil
2/2/13 fom
2/2/13 mueckenh@rz.fh-augsburg.de
2/2/13 William Hughes
2/2/13 mueckenh@rz.fh-augsburg.de
2/2/13 William Hughes
2/2/13 William Hughes
2/3/13 mueckenh@rz.fh-augsburg.de
2/3/13 William Hughes
2/3/13 mueckenh@rz.fh-augsburg.de
2/3/13 Virgil
2/3/13 William Hughes
2/3/13 mueckenh@rz.fh-augsburg.de
2/3/13 fom
2/4/13 mueckenh@rz.fh-augsburg.de
2/4/13 fom
2/5/13 mueckenh@rz.fh-augsburg.de
2/5/13 fom
2/5/13 mueckenh@rz.fh-augsburg.de
2/5/13 Virgil
2/5/13 Virgil
2/4/13 Virgil
2/4/13 fom
2/4/13 Virgil
2/5/13 fom
2/5/13 mueckenh@rz.fh-augsburg.de
2/5/13 fom
2/5/13 mueckenh@rz.fh-augsburg.de
2/10/13 fom
2/3/13 William Hughes
2/4/13 mueckenh@rz.fh-augsburg.de
2/4/13 William Hughes
2/4/13 mueckenh@rz.fh-augsburg.de
2/4/13 William Hughes
2/4/13 mueckenh@rz.fh-augsburg.de
2/4/13 William Hughes
2/4/13 mueckenh@rz.fh-augsburg.de
2/4/13 William Hughes
2/4/13 mueckenh@rz.fh-augsburg.de
2/4/13 William Hughes
2/5/13 mueckenh@rz.fh-augsburg.de
2/5/13 William Hughes
2/5/13 mueckenh@rz.fh-augsburg.de
2/5/13 Virgil
2/5/13 gus gassmann
2/5/13 William Hughes
2/5/13 mueckenh@rz.fh-augsburg.de
2/5/13 Virgil
2/5/13 fom
2/5/13 William Hughes
2/5/13 Virgil
2/4/13 Virgil
2/4/13 Virgil
2/4/13 fom
2/4/13 Virgil
2/4/13 fom
2/5/13 fom
2/5/13 Virgil
2/5/13 fom
2/4/13 Virgil
2/4/13 Virgil
2/4/13 Virgil
2/5/13 mueckenh@rz.fh-augsburg.de
2/5/13 Virgil
2/3/13 Virgil
2/3/13 fom
2/4/13 William Hughes
2/4/13 mueckenh@rz.fh-augsburg.de
2/4/13 Virgil
2/4/13 Virgil
2/4/13 fom
2/4/13 Virgil
2/6/13 mueckenh@rz.fh-augsburg.de
2/6/13 Virgil
2/6/13 mueckenh@rz.fh-augsburg.de
2/6/13 Virgil
2/6/13 mueckenh@rz.fh-augsburg.de
2/6/13 Virgil
2/6/13 fom
2/6/13 fom
2/4/13 mueckenh@rz.fh-augsburg.de
2/4/13 Virgil
2/3/13 Virgil
2/2/13 Virgil
2/2/13 mueckenh@rz.fh-augsburg.de
2/1/13 Virgil
2/1/13 Virgil
2/1/13 William Hughes
2/1/13 mueckenh@rz.fh-augsburg.de
2/1/13 Virgil
2/2/13 fom
2/2/13 mueckenh@rz.fh-augsburg.de
2/2/13 fom
2/2/13 mueckenh@rz.fh-augsburg.de
2/2/13 Virgil
2/2/13 fom
2/2/13 Virgil
2/2/13 mueckenh@rz.fh-augsburg.de
2/1/13 Virgil
2/1/13 Virgil
2/1/13 Virgil
2/1/13 Virgil
1/31/13 Virgil
1/31/13 Virgil
1/31/13 Virgil
1/31/13 Virgil
1/31/13 Virgil
1/30/13 Virgil
1/30/13 Virgil
1/30/13 Virgil
1/30/13 Virgil
1/30/13 Virgil
1/30/13 Virgil
1/30/13 Virgil
1/30/13 mueckenh@rz.fh-augsburg.de
1/30/13 Virgil
1/30/13 Virgil
1/29/13 Virgil
1/29/13 Virgil
1/29/13 Virgil
1/29/13 Virgil
1/29/13 Virgil
1/29/13 Virgil
1/29/13 Virgil
2/4/13 JT
1/29/13 Scott Berg
1/29/13 mueckenh@rz.fh-augsburg.de
1/29/13 fom
1/29/13 mueckenh@rz.fh-augsburg.de
1/29/13 Virgil
1/30/13 fom
1/30/13 mueckenh@rz.fh-augsburg.de
1/30/13 fom
1/30/13 mueckenh@rz.fh-augsburg.de
1/30/13 Virgil
1/31/13 fom
1/30/13 fom
1/30/13 Virgil
1/31/13 fom
1/29/13 fom
1/29/13 Virgil