Luke_A_Somers comments on Mathematics as a lossy compression algorithm gone wild - Less Wrong

35 Post author: shminux 06 June 2014 11:53PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (80)

You are viewing a single comment's thread. Show more comments above.

Comment author: Luke_A_Somers 10 June 2014 08:34:09PM 1 point [-]

The set of all constants on which some computation converges is still only countable (each Turing machine's output converges on at most one constant).

I meant to say 'no computation can even constrain them to a useful degree'. Strict convergence is not necessary.

Comment author: DanArmak 11 June 2014 08:26:27AM *  0 points [-]

That seems to be the same as 'no computation can output a prefix that is sufficiently long to be useful in predictions'?

This would depend on how long a prefix you need. If there exists a constant K such that K-length prefixes of all universal constants are enough, then certainly all possible bitstrings of length K can be computed.

The question becomes: what does a universe look like where you need to know the exact value of some constants to make useful predictions? (Perhaps you can make some predictions using approximations, but some other possible scenarios remain unpredictable without precise knowledge.)

This requires knowing an infinite amount of information: some kind of physical reification of an uncomputable real number. (I'm only using real numbers as a familiar example; larger infinities could be used too.) Not just to know the constant, but probably also to know the precise initial state of the system whose evolution you want to predict.

One possible reification is the precise position, mass, momentum, etc. of an element in the simulation - assuming these properties can also have any real value, and that you can control them to that degree.

I feel I could still imagine such a universe. But either way that's a fact about me, not about universes. I don't know how to predict the measure of such universes in any multiverse theory.