Gödel's Incompleteness Theorem

  • Thread starter bacon
  • Start date
  • #1
69
0

Main Question or Discussion Point

(Apologies if I am in the wrong part of the forum)
What branch of mathematics does Gödel's Incompleteness Theorem deal with?(I'm guessing Logic) and does anyone know any good books at the undergraduate level that would help to lay a foundation for understanding his theorem. I am "teaching myself" so the book(s) would need need to be fairly thorough. His theorem seems to be fairly important and my understanding of it is so poor.
Thanks in advance for any and all responses.
 

Answers and Replies

  • #2
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
17
Gödel's first incompleteness theorem is a theorem of formal logic -- it proves that no mathematical theory can have all four of the following list of properties:
1. Consistency
2. Completeness
3. Capable of fully expressing integer arithmetic
4. A computability condition on the set of axioms


Aside from certain topics in formal logic / computability theory, I believe it's only real use is in philosophy. Alas, it's so often misquoted that it's hard for me to tell if it's really important philosophically, or if it's just that the misquotes sound important.
 

Related Threads for: Gödel's Incompleteness Theorem

  • Last Post
Replies
6
Views
2K
  • Last Post
Replies
2
Views
1K
Replies
3
Views
2K
Replies
24
Views
1K
Replies
1
Views
1K
Replies
1
Views
2K
Replies
16
Views
962
Replies
2
Views
4K
Top