Goldbach Conjecture Revisited
If you could show that the Goldbach Conjecture is "decoupled" from the Axioms of Number Theory then it could never be proved or disproved within Number Theory.
I wonder if there are ways to check if a mathematical statement is "decoupled" from the Axioms of a system?
The Goldbach Conjecture is a very simple statement, so surely it must be easy to check if it's decoupled. Methinks not!
Content written and posted by Ken Abbott abbottsystems@gmail.com