Gödel's incompleteness theorems

  • Thread starter Thread starter hyperds
  • Start date Start date
AI Thread Summary
Gödel's incompleteness theorems demonstrate that any sufficiently expressive and consistent formal system, such as those in number theory or set theory, contains statements that cannot be proven within that system. Gödel achieved this by encoding self-referential statements into symbolic logic, specifically using "Gödel Numbers." While some argue that the theorem's implications are limited to paradoxical statements, it fundamentally challenged the belief that a complete set of axioms could exist for mathematics. The historical context reveals that prior to Gödel, mathematicians, influenced by Hilbert, sought a definitive foundation for mathematics, which Gödel ultimately proved impossible. This revelation marked a significant turning point in mathematical philosophy and understanding.
hyperds
Messages
10
Reaction score
0
I saw this explanation of Gödel's incompleteness theorems in another thread:

Godel found a way of encoding a statement to the effect of "This statement is unprovable" into the symbolic logic system defined in Principia Mathematica (PM). The notable aspect of the statement is that it is self-referential, which Godel managed to accomplish by encoding statements in PM into "Godel Numbers." Thus the actual statement in PM refers to its own Godel Number.

To boil it down into a nutshell, I'd say it means that any system which is expressive enough to be consistent and complete is also expressive enough to contain self-referential statements which doom it to incompleteness.

Is this correct? And does this mean that all unprovable statements in math, will take the form of a self-referential paradox? If this is true, I don't get why the incompleteness theorem is considered deep, if it is basically irrelevant to the rest of math, and only applies to carefully constructed paradoxical statements.
 
Mathematics news on Phys.org
hyperds said:
And does this mean that all unprovable statements in math, will take the form of a self-referential paradox?
No. Or, at least, not obviously so. (But for completeness, I should remark, the Gödel statement isn't obviously self-referential either -- it only becomes apparent after going through the particular translation of formal logic into number theory)


Incompleteness is a normal thing. For example, \forall x: x+x=0 is an undecidable statement in the theory of an Abelian group -- there are groups where it's true and groups where it's false. This is good, because "the theory of an Abelian group" is supposed to describe many inequivalent kinds of things.


Sometimes, we want complete theories, and there are interesting ones. For example, the theory of real closed fields, which describes (in first-order logic) the arithmetic and ordering of the real numbers.



The main reason Gödel's first incompleteness theorem is interesting is that people generally thought one could find axioms to make make number theory complete, or to make set theory complete, etc.
 
hyperds said:
I don't get why the incompleteness theorem is considered deep, if it is basically irrelevant to the rest of math, and only applies to carefully constructed paradoxical statements.

It is true that Godels incompleteness theorem is irrelevant to the rest of mathematics. And today, Godels theorem seems intuitively obvious. However, you must see this in it's context, let me sketch this for you:

Up until the 20th century, people have always done mathematics very informally. That is, they considered sets to be arbitrary collections of things and they thought it was obvious what a set was. However, one day came Russel and he showed everybody the set \{x~\vert~x\notin x\} and he asked whether this set is an element of itself. This leads to an obvious paradox.

This lead to a very deep crisis in mathematics, as suddenly it seemed that mathematics was based on thin air (and it was). Enter Hilbert, who thought he had the solution. He would give a list of axioms and a list of inference rules and he would regard mathematics as the formal manipulation of symbols. Hilbert had the dream that he could give a set of axioms which completely descirbe mathematics, and furthemore he had the dream that in his system he could prove the consistency of his system.

So for over 30 years, people believed Hilbert to be correct and searched for a complete set of axioms. But then Godel showed that this was impossible. This was a huge surprise to all mathematicians of that time!

It nevertheless took some time for the first unprovable statement (that was not self-referential) to show up in set theory. This was the continuum hypothesis.
 
Suppose ,instead of the usual x,y coordinate system with an I basis vector along the x -axis and a corresponding j basis vector along the y-axis we instead have a different pair of basis vectors ,call them e and f along their respective axes. I have seen that this is an important subject in maths My question is what physical applications does such a model apply to? I am asking here because I have devoted quite a lot of time in the past to understanding convectors and the dual...
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...

Similar threads

Replies
72
Views
7K
Replies
1
Views
3K
Replies
14
Views
3K
Replies
24
Views
3K
Replies
15
Views
5K
3
Replies
105
Views
6K
Back
Top