Truth and Justification in light of Godel

In summary, Godel's Incompleteness Theorem states that within axiomatizations of arithmetic, there are statements which can not be proven nor disproven as being theorems of the system in question but which are assumed nonetheless as being 'true.' May I also conclude from this that as far as any notions of truth are concerned, Godel has effectively divorced the notion of justification (proof) from 'truth.? If indeed there are statements which are true but unprovable, then truth does not necessarily entail provability.
  • #36
Since we've strayed from talking about Gödel's theorem, and are beginning to degenerate into personal attacks () I think it's time that this was closed.
 
Physics news on Phys.org
  • #37
Actually "oe" in place of "ö" is fairly common even in Germany.
 

Similar threads

MHB Gödel Number Usefulness to Determine an Infinite Set's Completeness
Replies
1
Views
1K
Godel's Theorem, What's it really saying?
Replies
14
Views
2K
I An easy proof of Gödel's first incompleteness theorem?
Replies
16
Views
2K
Are formal systems of first order logic incomplete?
Replies
14
Views
3K
B Is everything in math either an axiom or a theorem?
3
Replies
72
Views
6K
Doubting the effects of Gödel's incompleteness theorems on Physics
Replies
2
Views
2K
Hilbert's Sixth Problem: Can Physics Be Completely Axiomatized?
Replies
1
Views
1K
A confusion about Godel theorem and real numbers
Replies
7
Views
2K
Is Alan Turing given too much credit when it comes to computers?
Replies
29
Views
3K
Non Computable Functions And Godel's Theorem
Replies
32
Views
3K

Hot Threads

Recent Insights

Back
Top