I like the idea that the reality is just mathematics, I thought about it independently, but it gets weird really fast. I yet to have read this essay, but I had two thoughts: 1. Similar to Turing completeness, actual physical reality might not matter for the internal observer. All Turing-complete machines can calculate same things and observer from the inside of the machine cannot determine on what hardware the machin…
Can you expand on #2? I don't understand maybe the word "theorem" in this context, or perhaps the meaning of "property of the result."
So this theorem gives you a property of the result (the result is larger than some number) without you having to calculate the result (sum the numbers) explicitly.
The Hashlife algorithm mentioned in this thread is another case, basically it's an algorithm to prove certain "theorems" about the Game of Life and applying those theorems to speed it up.