coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Sum of all nats = 1/12

From: Kevin Sullivan <sullivan.kevinj AT gmail.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Sum of all nats = 1/12
Date: Mon, 3 Feb 2014 16:11:21 -0500

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

[Coq-Club] Sum of all nats = 1/12, Kevin Sullivan, 02/03/2014
- Re: [Coq-Club] Sum of all nats = 1/12, Kevin Sullivan, 02/03/2014
  - Re: [Coq-Club] Sum of all nats = 1/12, Kevin Sullivan, 02/03/2014
    - Re: [Coq-Club] Sum of all nats = 1/12, Marco Servetto, 02/04/2014
- Re: [Coq-Club] Sum of all nats = 1/12, Gabriel Scherer, 02/04/2014
  - Re: [Coq-Club] Sum of all nats = 1/12, Freek Wiedijk, 02/04/2014
    - Re: [Coq-Club] Sum of all nats = 1/12, Kevin Sullivan, 02/04/2014
    - Re: [Coq-Club] Sum of all nats = 1/12, Frédéric Chyzak, 02/04/2014