[seqfan] Re: another sequence idea: Year of n-th Millennium Prize
primeness at borve.org
Mon Dec 12 22:58:50 CET 2016
I think "no" to any sequence where the terms denote years. Creating the
terms of this particular sequence requires (or in the case of the only
existing term, required) mathematics, but discovering the terms doesn't.
The facts about mathematical work that this sequence would record are
external to mathematics.
PS The other six prizes may never be awarded, for all we know.
In message <CAGtmjtRRhnZeHJNv+hT2nvAnovp72CqoAK_p43MG-
8EX_FMUyQ at mail.gmail.com>, Felix Fröhlich <felix.froe at gmail.com> writes
>Dear Sequence Fans
>here is another idea where I would like to confirm whether this would be
>okay to submit or not before actually submitting it:
>"Year of awarding of Millennium prize for the n-th solved Millennium prize
>For more information about these problems, please see
>The only term currently available is a(1) = 2010, since only one Millennium
>prize has been awarded so far (for the solution of the Poincare
>conjecture). I am aware some people do not really like one term sequences.
>This is essentially a finite 7-term sequence.
>I am generally of the opinion that a sequence should not be rejected just
>because it is short (this does not mean, on the other hand, that I advocate
>adding a sequence like, say, "Even prime numbers"). So I believe if a
>sequence has only one term but is important, interesting or known to have
>more terms, such sequences are generally worth of inclusion. (I think for
>example that if the first Wall-Sun-Sun prime is found, that should be
>accepted as a one-term sequence).
>I believe the Millennium prize problems are an important list of open
>mathematical problems of the 21st century and the sequence is worth of
>inclusion in the OEIS, even if only one term is currently available.
>And finally, yes, the sequence is essentially time-dependent, but in a way
>such that a term does not change once established.
>So, what do you all think? Should I submit the sequence?
More information about the SeqFan