Quote from: CoinCube on October 03, 2018, 04:13:09 AM

Quote from: af_newbie on October 03, 2018, 03:22:51 AM

If you want to prove that the universe is an incomplete system that has some axioms that are true but cannot be proven, you have to represent the universe as a system of such axioms, then the use of the theorem would be valid.

Yes and this requires that the universe be fundamentally logical.

In other words every phenomenon in the universe must be describable by some type of mathematical axiom. Such axioms may be totally beyond current human understanding or knowledge but their existence must be possible.

As I said the fact that the universe is ultimately logical is assumed in my argument. I think this is both a reasonable assumption and mostly self evident.

Our limited understanding of quantum mechanics is evidence only of our ignorance and in no way shows that the universe is illogical or indescribable by mathematical axiom.

I wish science would work like that. You just state that something must be possible, and boom you have a proof.

Your claim is basically: Arithmetic axioms that describe the universe must be possible to exist, therefore one of them is true but cannot be proven.

I am telling you that there is no way of representing the world as a Turing machine. So your "must be possible to exist" is just wishful thinking on your part.

Same as saying God must be possible to exist. And your proof is just, well, it is only logical. LOL

BTW, the world as we know it at the quantum level, near or at singularities (Big Bang or Black Holes) is not intuitive nor logical.

PS. Even if you prove that the world is a computer simulation, how does this get you any closer to prove that your (Jewish like) God exists?
You know the one who likes to own slaves, wants to kill gays and is very interested in the Homo Sapiens reproductive system.