tillingborn wrote: ↑Mon Feb 08, 2021 4:41 pm
No. What I have said I don't call a theory is
apples fall to the ground and
something makes apples fall to the ground.
"
Apples fall to the ground" is not a theory.
"
Something makes apples fall to the ground" is a theory.
tillingborn wrote: ↑Mon Feb 08, 2021 4:41 pm
Those are not theories, because in the context of the world in which we live, and the rules of science as they apply in that context apples fall to the ground.
Science rests upon an implicit theory.
The theory upon which science rests is that the universe operates based on rules. And that the rules of the universe are describable by; or even EXACTLY like the rules of formal languages like Mathematics.
Science rests upon the theory that the universe is "logical".
tillingborn wrote: ↑Mon Feb 08, 2021 4:41 pm
That apples fall to the ground only becomes theoretical if you question the context in which we live.
Indeed, quantum physics does that. It's quite literally called
Quantum contextuality.
It follows from the
Kochen–Specker theorem
tillingborn wrote: ↑Mon Feb 08, 2021 4:41 pm
It is theoretically possible that we live in the mind of God or in a simulation.
The claim "we live in a simulation" is equivalent (up to isomorphism) to the claim "The universe is logical".
This is underdetermination in action.
tillingborn wrote: ↑Mon Feb 08, 2021 4:41 pm
In either case we would have to adjust our understanding and accept that at any time, God or the game player could change the rules on a whim.
None of this matters. So long as you believe that the universe operates on rules you are semantically committed to the simulation hypothesis.
Rule-following IS computation by Turing's definition.
tillingborn wrote: ↑Mon Feb 08, 2021 4:41 pm
Unless or until that happens, there is no testable difference between an ideal world, a simulated world or a real world.
We aren't even up to testability here. There is no
semantic difference between the two theories. They mean the exact same thing, they are just saying it using different words.
The real world is logical, and the real world is a computer simulation.
They are identical claims.
tillingborn wrote: ↑Mon Feb 08, 2021 4:41 pm
My favourite option is that the world is real, so I choose to believe it in the current absence of counterfactuals.
Obviously the world is real. That doesn't preclude it from being a simulation.
I never understood this notion of mutual exclusivity.
You are just using different language to describe the same damn thing.
tillingborn wrote: ↑Mon Feb 08, 2021 4:41 pm
You can call me a theist if you like, but you've got my thinking back to front:
I didn't. i got it back to front AND front to back. That's what isomorphism means in Mathematics.
tillingborn wrote: ↑Mon Feb 08, 2021 4:41 pm
Apples fall -> something makes them fall.
No idea how it works, but I'll call it gravity, like everyone else.
tillingborn wrote: ↑Mon Feb 08, 2021 4:41 pm
Reality exists -> something made that happen.
No idea how it happened.
You left out ... "but I call it God, like everyone else".
You know. To make it symmetrical with your previous paragraph.