Changes

Jump to navigation Jump to search
A credible explanation, but look a little further
Line 45: Line 45:     
::So is what you are saying true? Objectively speaking I mean. While I agree the debate is a waste of time it is made necessary by the legions of people who find it necessary to state as objective truth that there is no objective truth.
 
::So is what you are saying true? Objectively speaking I mean. While I agree the debate is a waste of time it is made necessary by the legions of people who find it necessary to state as objective truth that there is no objective truth.
 +
 +
This has been considered already and often.  Please see Godel's 1st Incompleteness Theory, or Alan Turing's Halting Problem.  All formal axiomatic systems are incomplete, although each instance within the system may be provable. 
 +
 +
For example ....
 +
 +
"For any consistent formal, computably enumerable theory that proves basic arithmetical truths, an arithmetical statement that is true but not provable in the theory can be constructed. That is, any effectively generated theory capable of expressing elementary arithmetic cannot be both consistent and complete."
 +
 +
Perhaps an easier way to think about it ....
 +
 +
"Roughly speaking, the Gödel statement, G, asserts: "G cannot be proven true". If G were able to be proven true under the theory's axioms, then the theory would have a theorem, G, which contradicts itself, and thus the theory would be inconsistent. But if G were not provable, then it would be true (for G expresses this very fact) and thus the theory would be incomplete."
 +
 +
All of this, at least in my mind, is not necessarily a waste of time -- self reference brings these formal logical systems (unfortunately or not) to their knees.  The consequences of the debated question is where I think that we can find a more sublime and perhaps telling Truth.  Reason has it's limits although I offer no evidence or explanation for what it cannot explain or those things of which it cannot make "sense".  I do however, have my own ideas :)  bumble70
1

edit

Navigation menu