Proof the Godel's Incompleteness Theorem

  • Thread starter newton1
  • Start date
152
0
who can show me how to proof the Godel's Incompleteness Theorem ?
it that mean the system of mathematics will never be complate??
 
Last edited by a moderator:

HallsofIvy

Science Advisor
Homework Helper
41,712
876
I doubt that anyone can show you how to prove Goedel's incompleteness theorem- its very long and very deep. There are a number of books written on it alone.

Yes, Goedel's theorem says that any system of axioms (large enough to encompass the natural numbers) is either inconsistent (in which case it's useless) or incomplete (in which case it's not perfect!).

Saying that a system is incomplete means there exist some theorem, statable in terms of the system which can be neither proven nor disproven. Of course, you could always add that theorem itself as an axiom but then you would have some other theorem that can be neither proven nor disproven.

One cannot prove, in absolute terms, that most of the systems used in mathematics are consistent- it is possible to prove, for example, that Euclidean geometry is consistent if and only if hyperbolic geometry is, or that Euclidean geometry is consistent if and only if algebra is, which is consistent if and only if the natural numbers are, which is true if and only if set theory is consistent....

Since there are one heckuva lot of things we don't know HOW to prove, most mathematicians are willing to live with the knowledge that they can't prove EVERYTHING!
 
152
0
i see.....
are this theorem include the other science system like physics system??
 

HallsofIvy

Science Advisor
Homework Helper
41,712
876
It applies only to logical systems based on axioms. That includes all of mathematics. It does not apply to physics or other sciences that are based on experimental evidencel.

It is conceivable that, if a particular axiomatic system used to model physics were inconsistent, the mathematical foundation would be in trouble. The experimental evidence, of course, would still be valid. I will point out that there is no evidence that any important mathematical system is inconsistent.
 
152
0
what i mean is theoretical physics....
some theory was create by scientist before they have the experimental evidence
 
Last edited:

Related Threads for: Proof the Godel's Incompleteness Theorem

  • Posted
Replies
2
Views
3K
  • Posted
Replies
15
Views
4K
  • Posted
Replies
6
Views
3K
  • Posted
Replies
8
Views
3K
  • Posted
Replies
2
Views
2K
  • Posted
Replies
3
Views
3K
  • Posted
Replies
6
Views
2K
  • Posted
2 3 4
Replies
79
Views
9K

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving

Hot Threads

Top