Ideosphere Forum | |||
From owner-fx-propose@ideosphere.com Sun Dec 20 13:12:26 2020 Received: from ideosphere.com (localhost [127.0.0.1]) by ideosphere.com (8.13.8/8.13.8) with ESMTP id 0BKICQGJ024708 for <fx-propose-outgoing@ideosphere.com>; Sun, 20 Dec 2020 13:12:26 -0500 Received: (from majordomo@localhost) by ideosphere.com (8.13.8/8.13.8/Submit) id 0BKICQlT024707 for fx-propose-outgoing; Sun, 20 Dec 2020 13:12:26 -0500 Received: from ideosphere.com (localhost [127.0.0.1]) by ideosphere.com (8.13.8/8.13.8) with ESMTP id 0BKICP9R024704 for <fx-propose@ideosphere.com>; Sun, 20 Dec 2020 13:12:25 -0500 Received: (from ideo@localhost) by ideosphere.com (8.13.8/8.13.8/Submit) id 0BKICPcY024703; Sun, 20 Dec 2020 13:12:25 -0500 Date: Sun, 20 Dec 2020 13:12:25 -0500 Message-Id: <202012201812.0BKICPcY024703@ideosphere.com> From: FX <info@ideosphere.com> To: fx-propose@ideosphere.com Subject: fx-propose: Proposal: 'GCR' X-Mailer: FX Sender: owner-fx-propose@ideosphere.com Precedence: bulk Reply-To: fx-propose@ideosphere.com The following claim has been proposed. If you have constructive suggestions for improving it, please follow-up to this message. Thank you. claim: GCR owner: 5474 (RonDwyer) judge: TBD short: Goldbach Conjecture Resolved long: The Goldbach Conjecture is "Every even number >3 is the sum of two primes." The Conjecture will be settled, and the result accepted by the mathematics community, before 12/31/2030. "Settled" means either proven, refuted, or proven undecidable. The proof must have been available for public inspection for one year. Corrections for any major errors or omissions must have been publicly available for six months. (Inspection periods are included in the time limit.) The judge may shorten the inspection period for an independently checked numeric counterexample, or for a proof that is mechanically checked by a program of good reputation. The judge may either personally evaluate the proof, or rely on an expert or experts of his choice, or rely on the consensus opinion of the mathematics community. due date: 2030/12/31 (signed) FX Back to regular message display | |||
Forum: Copyright (c) 2000-2001 Javien Inc All rights reserved. Distributed under the GPL |