# Gödel's Incompleteness Theorem and the Millennial Problems

Disclaimer: I am not an expert in logic nor in mathematics in general, so please feel free to correct me in any of my assumptions or statements below.

Gödel's Incompleteness Theorem states that "any consistent formal system $$F$$ within which a certain amount of elementary arithmetic can be carried out is incomplete; i.e., there are statements of the language of $$F$$ which can neither be proved nor disproved in $$F$$."

Let me assume mathematics, as we use it in any field, is a formal system (I am purposely omitting the term "consistent" here), then, by Gödel's Incompleteness Theorem, it might be the case that any of the Millennial Problems like the Riemann Hypothesis or P vs NP are statements which can neither be proved nor disproved within mathematics as we know it.

Therefore one may has to come up with a completely new style of "mathematics" which no one has ever thought of before to prove or disprove any of the given problems, is this correct?

Furthermore, since Gödel's Second Incompleteness Theorem states that $$F$$ can never prove its own consistency (i.e. $$F \nvdash Cons(F)$$), this would imply that non of mathematics is actually consistant (otherwise we are talking about a snake biting its own tail) and it can never be proved.

Therefore Gödel's Second Incompleteness Theorem shows us that there cannot exist an interpretation or a theory of mathematics that does not only universally hold true but holds and indeed is total truth.

To get all of this to a more practical point of view: Would this imply that the search for a "world formula" or some kind of "unified field theory" in physics (like String Theory) is pointless because we will never be able to find the total truth behind everything?

Does this mean that all of mathematics is nothing else than the greatest childs playground in the history of all mankind where we can define our own rules and just play according to these rules? ... and if they do not fit our needs, we just create new ones? ... and physics simply tries to find connections and approximations between this illusion of correctness and trust we have in mathematics to the real world?

• This is a very good question, which goes way beyond the scope of ordinary mathematics or even logic. I dont believe some of your conclusions though. 1) that math cannot prove its own consistency does not imply at all that math is inconsistent. By my very limited experience math appears to be consistent. 2) At its base, math is highly informal. I mean, talking about logic requires language, notions of distinction and collections etc and especially logic to make things rigid. So there is a snake biting in its own tail. 3) while math certainly is the greatest playground ever, I don’t believe – PrudiiArca Jan 28 '20 at 23:56
• that it is all rubbish. I came to the conclusion that math is basically metaphysics in a literal sense. If one considers thought to be a sense in its own (you know like taste n stuff) it is perfectly reasonable, why there are so deep connections between physics and math. If math were just an invention of humankind to have some neat things to mentally play with, I would not understand, why primes, manifolds, transcendental numbers etc behave as wierd as they do.. – PrudiiArca Jan 29 '20 at 0:00
• “$F$ can’t prove its own consistency... this would imply that non of mathematics is actually consistent...” Why would it imply that? – spaceisdarkgreen Jan 29 '20 at 1:00
• The fact that a specified system F can never prove its own consistency does not imply that none of mathematics is actually consistent. We have many ways to prove consistency of theories and formal systems. – Mauro ALLEGRANZA Jan 29 '20 at 9:18
• Maybe the goal of total truth is unattainable... maybe the concept of total truth is meaningless. – Mauro ALLEGRANZA Jan 29 '20 at 9:19