4) Same as 3, but the universe only has room for one Omega, e.g. the God Almighty. Then ipso facto it cannot ever be modelled mathematically, and let’s talk no more.
Why can’t God Almighty be modelled mathematically?
Omega/God is running the universe on his computer. He can pause any time he wants (for example to run some calculations), and modify the “universe state” to communicate (or just put his boxes in).
That seems to be close enough to 4). Unlike with 3), you can’t use the same process as Omega (pause the universe and run arbitrary calculations that could consider the state of every quark).
No God Almighty needed for your example, just an intelligence that’s defined to be more powerful than you. If your computational capacity is bounded and the other player has much more, you certainly can’t apply any perfectly rational decision concept. The problem is now about approximation. One approximation I’ve mentioned several times already is believing powerful agents with a 100% track record of truth. Sound reasonable? That’s the level of discussion you get when you introduce bounds.
Why can’t God Almighty be modelled mathematically?
Omega/God is running the universe on his computer. He can pause any time he wants (for example to run some calculations), and modify the “universe state” to communicate (or just put his boxes in).
That seems to be close enough to 4). Unlike with 3), you can’t use the same process as Omega (pause the universe and run arbitrary calculations that could consider the state of every quark).
No God Almighty needed for your example, just an intelligence that’s defined to be more powerful than you. If your computational capacity is bounded and the other player has much more, you certainly can’t apply any perfectly rational decision concept. The problem is now about approximation. One approximation I’ve mentioned several times already is believing powerful agents with a 100% track record of truth. Sound reasonable? That’s the level of discussion you get when you introduce bounds.
Your Omega isn’t a type 3 or 4 at all, it’s a type 2 with really big computational capacity.