Quote:
Originally Posted by mogui
Given that as a starting point might humble us somewhat. It is one of the more important ideas of our modern era. Should we consider it unproven?
Actually, I find it quite relaxing  |
Yeah me too
In case I managed to confuse people, let
try to me clarify:
1) In any axiom system there will exist statements whose truth value cannot be decided. That does not mean that there don't exists statements whose truth value can be decided.
2) The above statement's truth value can be decided in the axiom system that defines formal logic. It's truth value was shown to be "True" by Godel.
3) As a consequence of 1) any physical theory will always have questions whose answers cannot be arrived at. Thus there will always be things we will not, indeed can not, understand.