"interesting enough": the OEIS is a "Big Tent" (but not aninsatiable idol)
Jon Awbrey
jawbrey at att.net
Wed Nov 19 19:24:38 CET 2003
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
hm^3 ...
interesting pov, i'd almost say qed:
all seqs are interesting, "at least",
in their own way, but that part about
"many possible well-orders", well, seems
to bring back in an irreducible element of
perspectivity, or even pure subjectivity,
de gustibus, etc., to the predication of
interestingness ... not to say that's
necessarily a bad thing.
jon awbrey
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Mitchell Harris wrote:
>
> On Wed, 19 Nov 2003, Jon Awbrey wrote:
>
> >o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
> >
> >i know we have a proof that all numbers are interesting --
> >so long as "number" means something in a well-founded set.
> >
> >but i forget, is our space of sequences well-founded?
>
> To be pedantic, if that's the word I am looking for:
>
> Though the sequences (of "interest") are mostly infinite,
> they are countable since they each require a finite description.
> Therefore the possible sequences in the OEIS are countable, and
> a countable set has many possible well-founded orderings.
>
> Mitch
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
More information about the SeqFan
mailing list