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 § 162
Replies: 78   Last Post: Dec 10, 2012 4:46 AM

 Messages: [ Previous | Next ]
 William Hughes Posts: 2,330 Registered: 12/7/10
Re: Matheology § 162
Posted: Nov 27, 2012 3:48 PM

On Nov 27, 4:07 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
> On 27 Nov., 19:21, William Hughes <wpihug...@gmail.com> wrote:
>
>
>
>
>
>
>
>
>

> > On Nov 27, 2:11 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
>
> > > On 27 Nov., 18:42, William Hughes <wpihug...@gmail.com> wrote:
>
> > > > On Nov 27, 4:37 am, WM <mueck...@rz.fh-augsburg.de> wrote:
>
> > > > <snip>
>
> > > > > According to set theory the limit set is empty.
>
> > > > Indeed.
>
> > > Nice to hear that.
>
> > > >  And the proof of this does not depend
> > > > on "actual infinity".

>
> > > Of course it does, because every digits moves to the right side.
>
> > Stick with
>
> > 1
> > 10
> > 100
> > ....

>
> > The 1 moves to the left.
>
> > We do not have to check the positions one by one.
> > It is easy to show by induction (which requires only
> > potential infinity) that for each n in |N
> > the nth position is not occupied.

>
> Correct. Every position is unoccupied,

My claim is *each* position is unoccupied.

> but that does not mean that all
> positions are unoccupied:

But this is not what I am saying. Compare

Each natural number >1 is either prime or composite.
The set of natural numbers >1 that are neither prime
nor composite is empty.
We do not say there are a bunch of natural numbers
we have not checked yet, so maybe there is a natural
number that is neither prime nor composite.

Date Subject Author
11/25/12 mueckenh@rz.fh-augsburg.de
11/25/12 Roland Franzius
11/25/12 namducnguyen
11/26/12 mueckenh@rz.fh-augsburg.de
11/26/12 Virgil
11/25/12 Virgil
11/26/12 mueckenh@rz.fh-augsburg.de
11/26/12 Virgil
11/26/12 mueckenh@rz.fh-augsburg.de
11/26/12 Virgil
11/26/12 YBM
11/26/12 mueckenh@rz.fh-augsburg.de
11/26/12 Virgil
11/27/12 mueckenh@rz.fh-augsburg.de
11/27/12 Virgil
11/27/12 mueckenh@rz.fh-augsburg.de
11/27/12 Carsten Schultz
11/27/12 mueckenh@rz.fh-augsburg.de
11/27/12 Carsten Schultz
11/27/12 Virgil
11/27/12 mueckenh@rz.fh-augsburg.de
11/27/12 Virgil
11/28/12 Carsten Schultz
11/29/12 mueckenh@rz.fh-augsburg.de
11/29/12 Virgil
11/27/12 Virgil
11/27/12 William Hughes
11/27/12 mueckenh@rz.fh-augsburg.de
11/27/12 William Hughes
11/27/12 mueckenh@rz.fh-augsburg.de
11/27/12 William Hughes
11/27/12 mueckenh@rz.fh-augsburg.de
11/27/12 Virgil
11/28/12 mueckenh@rz.fh-augsburg.de
11/28/12 Virgil
11/28/12 mueckenh@rz.fh-augsburg.de
11/28/12 Virgil
11/27/12 William Hughes
11/28/12 mueckenh@rz.fh-augsburg.de
11/28/12 Virgil
11/28/12 mueckenh@rz.fh-augsburg.de
11/28/12 Virgil
11/28/12 William Hughes
11/28/12 mueckenh@rz.fh-augsburg.de
11/28/12 William Hughes
11/28/12 mueckenh@rz.fh-augsburg.de
11/28/12 Michael Stemper
11/29/12 mueckenh@rz.fh-augsburg.de
11/29/12 Michael Stemper
11/29/12 mueckenh@rz.fh-augsburg.de
11/29/12 Michael Stemper
11/29/12 mueckenh@rz.fh-augsburg.de
11/29/12 YBM
11/29/12 trj
11/29/12 Virgil
11/30/12 mueckenh@rz.fh-augsburg.de
11/30/12 Virgil
12/1/12 mueckenh@rz.fh-augsburg.de
12/1/12 Virgil
11/29/12 Virgil
11/29/12 Virgil
11/28/12 Virgil
11/28/12 Virgil
12/10/12 veronika kočková
11/27/12 Virgil
11/27/12 YBM
11/27/12 Virgil
11/27/12 mueckenh@rz.fh-augsburg.de
11/27/12 Virgil
11/28/12 mueckenh@rz.fh-augsburg.de
11/28/12 Virgil
11/27/12 Virgil
11/27/12 mueckenh@rz.fh-augsburg.de
11/27/12 Virgil
11/28/12 Michael Stemper
11/28/12 mueckenh@rz.fh-augsburg.de
11/28/12 Virgil
11/29/12 mueckenh@rz.fh-augsburg.de
11/29/12 Virgil