The Coq mailing list

[Kevin Sullivan <sullivan.kevinj AT gmail.com>]

Or here using the Riemann zeta function: http://www.youtube.com/watch?v=E-d9mgo8FGk&feature=youtu.be. It seems to be the proof of the right hand side was probably produced by induction, but then the sum is over a co-inductive value. Is this sound?

On Mon, Feb 3, 2014 at 4:13 PM, Kevin Sullivan <sullivan.kevinj AT gmail.com> wrote:

Pardon me, it should be -1/12. --Kevin

On Mon, Feb 3, 2014 at 4:11 PM, Kevin Sullivan <sullivan.kevinj AT gmail.com> wrote:

Has anyone on this list taken a shot at formalizing the proposition that the sum of all the natural numbers is 1/12, or the negation? This video was referenced by a recent NYT article.

http://www.youtube.com/watch?v=w-I6XTVZXww#t=420 

Regards,
Kevin Sullivan