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 (:grumpy:) 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

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

Hot Threads

Recent Insights

Back
Top