Re: A predicate that indicates order

hi all,

here we go: Linked Open Sets - including owl:sameAs links to Linked Open
Numbers. I hope I did not make any mistakes...

http://www.brunni.de/sets/

Regards,

Michael Brunnbauer

On Wed, Feb 26, 2014 at 02:43:17AM +0100, Michael Brunnbauer wrote:
> 
> re
> 
> On Tue, Feb 25, 2014 at 10:41:03PM +0100, Michael Brunnbauer wrote:
> > Linked Open Numbers stops at one billion. This is lame - the memory is the
> > limit: http://legacy.python.org/dev/peps/pep-0237/
> 
> It turns out that Apache is the first real drag (I ignore IEs laughable URL
> length limit of 2083):
> 
>  http://httpd.apache.org/docs/2.0/mod/core.html#limitrequestline
> 
> > Stage 6 of the von Neuman Universe has 2^65536 elements - much more than the
> > number of atoms in the known universe. Writing them down is impossible but
> > putting them on the Web enumerated should be no problem :-)
> 
> If we have the n-th element of stage m, then bit x of n tells if the x-th 
> element from stage m - 1 is element of it.
> 
>  http://www.brunni.de/sets/v6.cgi
> 
> Now having the element number of stage 6 in the URL needs up to 65536 
> characters with base 2, 19728 with base 10 and 10922 with base 64 - I'll have 
> to recompile Apache.
> 
> The element number for stage 7 would need 2^65536 bits and I see no other
> way to enumerate it.
> 
> Regards,
> 
> Michael Brunnbauer
> 
> -- 
> ++  Michael Brunnbauer
> ++  netEstate GmbH
> ++  Geisenhausener Straße 11a
> ++  81379 München
> ++  Tel +49 89 32 19 77 80
> ++  Fax +49 89 32 19 77 89 
> ++  E-Mail brunni@netestate.de
> ++  http://www.netestate.de/
> ++
> ++  Sitz: München, HRB Nr.142452 (Handelsregister B München)
> ++  USt-IdNr. DE221033342
> ++  Geschäftsführer: Michael Brunnbauer, Franz Brunnbauer
> ++  Prokurist: Dipl. Kfm. (Univ.) Markus Hendel



-- 
++  Michael Brunnbauer
++  netEstate GmbH
++  Geisenhausener Straße 11a
++  81379 München
++  Tel +49 89 32 19 77 80
++  Fax +49 89 32 19 77 89 
++  E-Mail brunni@netestate.de
++  http://www.netestate.de/
++
++  Sitz: München, HRB Nr.142452 (Handelsregister B München)
++  USt-IdNr. DE221033342
++  Geschäftsführer: Michael Brunnbauer, Franz Brunnbauer
++  Prokurist: Dipl. Kfm. (Univ.) Markus Hendel