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: Why not Hausdorff's ordered pairs
Replies: 70   Last Post: Feb 25, 2012 3:01 AM

 Messages: [ Previous | Next ]
 Graham Cooper Posts: 4,495 Registered: 5/20/10
Re: Why not Hausdorff's ordered pairs
Posted: Feb 23, 2012 11:40 PM

On Feb 24, 2:30 pm, Graham Cooper <grahamcoop...@gmail.com> wrote:
> On Feb 24, 1:44 pm, Zuhair <zaljo...@gmail.com> wrote:
>
>
>
>
>
>
>
>
>

> > On Feb 24, 6:34 am, Graham Cooper <grahamcoop...@gmail.com> wrote:
>
> > > There is no beyond Omega.
>
> > > I programmed a [BEYOND INFINITY] button on my website.
>
> > > Try it!
>
> > >http://MATHEOLOGY.com
>
> > > Herc
>
> > While my definition of n-tuples can go beyond Omega, that's why it is
> > superior
> > to yours, of course your definition cannot go beyond Omega in ZF,
> > because
> > the iterative bracketing cannot go further. In my system I use the
> > ordinals as
> > tags, those tag the order of the relevant item in the pair and the
> > merit of that
> > is that ordinals can go beyond Omega.

>
> > In nutshell your tuple work (I think) it is nice, simple and elegant,
> > but unfortunately
> > it doesn't extende beyond Omega. Mine does (provided you give the
> > proper assignment
> > to the ordinal tags)

>
> such as?
>
> Have you checked if
>
> {3{2{1}}}, datum
>
> or whatever number system it is today, works with ... Von Neuman
> numbers?
>
> Remember { {1,a} {2,b} } doesn't work
>
> { { {}, a} { {{}}, b } } doesn't work
>
> but you're still confident you've found an ordinate indexing system by
> tweaking it further
>
> Herc

The only way I see your method of working is to use K pairs.

{ {{1} {1,a}} {{2}{2,b}} {3,{3,c}} }

which has singleton issues.

Herc

Date Subject Author
2/20/12 Zaljohar@gmail.com
2/20/12 Kaba
2/20/12 Herman Rubin
2/20/12 Zaljohar@gmail.com
2/20/12 David Yen
2/21/12 Chris Menzel
2/21/12 Shmuel (Seymour J.) Metz
2/21/12 Zaljohar@gmail.com
2/21/12 Zaljohar@gmail.com
2/21/12 namducnguyen
2/21/12 Shmuel (Seymour J.) Metz
2/21/12 namducnguyen
2/21/12 namducnguyen
2/22/12 Shmuel (Seymour J.) Metz
2/22/12 namducnguyen
2/22/12 Shmuel (Seymour J.) Metz
2/22/12 Zaljohar@gmail.com
2/22/12 Herman Rubin
2/22/12 Zaljohar@gmail.com
2/22/12 Graham Cooper
2/22/12 Graham Cooper
2/22/12 Graham Cooper
2/22/12 Chris Menzel
2/22/12 Graham Cooper
2/23/12 Graham Cooper
2/23/12 Herman Rubin
2/23/12 Graham Cooper
2/23/12 Zaljohar@gmail.com
2/23/12 Zaljohar@gmail.com
2/23/12 Zaljohar@gmail.com
2/23/12 Graham Cooper
2/23/12 Zaljohar@gmail.com
2/23/12 Zaljohar@gmail.com
2/23/12 Zaljohar@gmail.com
2/23/12 Herman Rubin
2/23/12 Graham Cooper
2/23/12 Zaljohar@gmail.com
2/23/12 Graham Cooper
2/23/12 Zaljohar@gmail.com
2/23/12 Graham Cooper
2/23/12 Graham Cooper
2/24/12 Zaljohar@gmail.com
2/24/12 Graham Cooper
2/24/12 Zaljohar@gmail.com
2/24/12 Zaljohar@gmail.com
2/24/12 Graham Cooper
2/24/12 Zaljohar@gmail.com
2/24/12 Zaljohar@gmail.com
2/24/12 Zaljohar@gmail.com
2/24/12 Graham Cooper
2/24/12 Zaljohar@gmail.com
2/24/12 Graham Cooper
2/24/12 Zaljohar@gmail.com
2/24/12 Graham Cooper
2/24/12 Graham Cooper
2/24/12 Zaljohar@gmail.com
2/24/12 Graham Cooper
2/25/12 Zaljohar@gmail.com
2/25/12 Graham Cooper
2/23/12 Zaljohar@gmail.com
2/23/12 Graham Cooper
2/23/12 Zaljohar@gmail.com
2/23/12 Zaljohar@gmail.com
2/23/12 Graham Cooper
2/23/12 Zaljohar@gmail.com
2/23/12 Graham Cooper
2/23/12 Zaljohar@gmail.com
2/23/12 Shmuel (Seymour J.) Metz
2/21/12 Zaljohar@gmail.com
2/22/12 Zaljohar@gmail.com
2/22/12 Graham Cooper