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: WMytheology � 203
Posted: Feb 4, 2013 4:30 PM

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

> On 3 Feb., 23:09, William Hughes <wpihug...@gmail.com> wrote:
> > On Feb 3, 10:58 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
> >
> >
> >
> >
> >

> > > On 3 Feb., 22:29, William Hughes <wpihug...@gmail.com> wrote:
> >
> > > > > > We can say  "every line has the property that it
> > > > > > does not contain every initial segment of s"
> > > > > > There is no need to use the concept "all".

> >
> > > > > Yes, and this is the only sensible way to treat infinity.
> >
> > > > So now we have a way of saying
> >
> > > > s is not a line of L
> >
> > > > e.g.  0.111...  is not a line of
> >
> > > > 0.1000...
> > > > 0.11000...
> > > > 0.111000....
> > > > ...

> >
> > > > because every line, l(n),  has the property that
> > > > l(n) does not  contain every  initial
> > > > segment of 0.111...

> >
> > > But that does not exclude s from being in the list.
> >
> > It certainly excludes 0.111... from being a single line
> > of the list.
> >
> > So the question is now
> >
> > Can a potentially infinite list
> > of potentially infinite 0/1
> > sequences have the property that
> >
> > if s is a potentially infinite 0/1
> > sequence, then there is a line, g, of L
> > with the property that every
> > initial segment of s is contained in g
> > ?-

>
> Of course, every FIS is in a line. And every FIS contains all
> preceding FIS.
> This list
> 0.1
> 0.11
> 0.111
> ...
> contains every FIS of 0.111... as well in the (unchanged) diagonal as
> in a line. Obviously the diagonal cannot have more 1' than every line.

Any 'diagonal' for such a list necessarily contains more 1's that any
line, since for every line of length n it must contain as many positions
as the necessarily following line of length n + 1.

And not all of WM's wriggling can make things work otherwise!
--

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