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