PloverWing
Episcopalian
- May 5, 2012
- 4,475
- 5,211
- Country
- United States
- Faith
- Anglican
- Marital Status
- Married
"The debate essentially comes down to this:
In other words, if the laws of mathematics and logic apply to the universe, then the universe has to have a metaphysical source. Atheism can only be true if the universe is irrational.
- If the universe is illogical and inconsistent then it is possible for it to be complete.
- If the universe is logical and consistent then it is incomplete.
- If the universe is incomplete, then it depends on something on the outside.
I want to press the quoted author to say what they mean when they say the universe is "logical" or "illogical". The Incompleteness Theorem is about formal systems. When we have a set of axioms and a set of rules of inference, we may want to know about the boundaries of what can and cannot be proved within that formal system.
But the universe isn't a formal system. Pieces of it can be described by formal symbolic logic, but the universe itself isn't a set of axioms. So I don't see how the Incompleteness Theorem can be applied to the universe.
What does the author mean when they say that the universe is "logical" or "illogical"?
Upvote
0