The Coq mailing list

[Marco Servetto <marco.servetto AT gmail.com>]

I'm very intrested to see how this discussion goes forward!
May be someone should put the theorems in the bitcoin marketplace!

On 4 February 2014 04:20, Kevin Sullivan 
<sullivan.kevinj AT gmail.com>
 wrote:
> 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
>>
>>
>