> Goldbach conjecture is false. <==> Counter example exists. <==> > Counter example can be found. <==> Goldbach conjecture is decidable. > > The second equivalence requires to neglect reality. But in mathematics > this is standard.
You think that it is standard that if the Goldbach conjecture is decidable, then the conjecture is false?
Another breakthrough from the Prophet. Where is the standard proof?