[seqfan] Re: Earn $500 for the OEIS
M. F. Hasler
oeis at hasler.fr
Sun Jan 12 17:53:02 CET 2014
FWIW, Robin Chapman also made an error in permuting one pair of (0,1) too
much, towards the end of the file.
(Sorry for the bad(?) joke... :-))
Maximilian
On Sun, Jan 12, 2014 at 8:32 AM, Heinz, Alois
<alois.heinz at hs-heilbronn.de>wrote:
>
> Dear Seq Fans,
>
> from Doron Zeilberger's web page:
>
> http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/detconj.html
>
> "Added Jan. 9, 2014: I posted this in the arxiv and got quite a few
> attempted proofs, that unfortunately turned out to be wrong. Not
> surprisingly. I `lied' when I said that "it came up in an
> enumeration problem". The conjectured explicit determinant
> evaluation is a disguised form of "one half" of the notorious
> Collatz problem, i.e. that there are no finite orbits.
> Congratulations to those people who figured it out, including Robin
> Chapman, who kindly permitted me to post his proof of equivalence."
>
>
> http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/RobinChapmanNote.pdf
>
>
> Best regards, Alois
>
> Am 12.01.2014 00:17, schrieb Neil Sloane:
> > Dear Seq Fans,
> >
> > Omar Pol noticed this article by Doron Zeilberger:
> >
> > A Conjectured Explicit Determinant Evaluation Whose Proof Would Make Me
> > Happy (and the OEIS richer)
> > http://arxiv.org/pdf/1401.1532.pdf
> >
> > Neil
> >
> >
> >
>
> _______________________________________________
>
> Seqfan Mailing list - http://list.seqfan.eu/
>
--
Maximilian
More information about the SeqFan
mailing list