I know that the idea of “different systems of local consistency constraints on full spacetimes might or might not happen to yield forward-sampleable causality or things close to it” shows up in Wolfram’s “A New Kind of Science”, for all that he usually refuses to admit the possible relevance of probability or nondeterminism whenever he can avoid doing so; the idea might also be in earlier literature.
that there is in fact a way to finitely Turing-compute a discrete universe with self-consistent Time-Turners in it.
I’d thought about that a long time previously (not about Time-Turners; this was before I’d heard of Harry Potter). I remember noting that it only really works if multiple transitions are allowed from some states, because otherwise there’s a much higher chance that the consistency constraints would not leave any histories permitted. (“Histories”, because I didn’t know model theory at the time. I was using cellular automata as the example system, though.) (I later concluded that Markov graphical models with weights other than 1 and 0 were a less brittle way to formulate that sort of intuition (although, once you start thinking about configuration weights, you notice that you have problems about how to update if different weight schemes would lead to different partition function) values).)
I think there might have been an LW comment somewhere that put me on that track
I know we argued briefly at one point about whether Harry could take the existence of his subjective experience as valid anthropic evidence about whether or not he was in a simulation. I think I was trying to make the argument specifically about whether or not Harry could be sure he wasn’t in a simulation of a trial timeline that was going to be ruled inconsistent. (Or, implicitly, a timeline that he might be able to control whether or not it would be ruled inconsistent. Or maybe it was about whether or not he could be sure that there hadn’t been such simulations.) But I don’t remember you agreeing that my position was plausible, and it’s possible that that means I didn’t convey the information about which scenario I was trying to argue about. In that case, you wouldn’t have heard of the idea from me. Or I might have only had enough time to figure out how to halfway defensibly express a lesser idea: that of “trial simulated timelines being iterated until a fixed point”.
I know that the idea of “different systems of local consistency constraints on full spacetimes might or might not happen to yield forward-sampleable causality or things close to it” shows up in Wolfram’s “A New Kind of Science”, for all that he usually refuses to admit the possible relevance of probability or nondeterminism whenever he can avoid doing so; the idea might also be in earlier literature.
I’d thought about that a long time previously (not about Time-Turners; this was before I’d heard of Harry Potter). I remember noting that it only really works if multiple transitions are allowed from some states, because otherwise there’s a much higher chance that the consistency constraints would not leave any histories permitted. (“Histories”, because I didn’t know model theory at the time. I was using cellular automata as the example system, though.) (I later concluded that Markov graphical models with weights other than 1 and 0 were a less brittle way to formulate that sort of intuition (although, once you start thinking about configuration weights, you notice that you have problems about how to update if different weight schemes would lead to different partition function) values).)
I know we argued briefly at one point about whether Harry could take the existence of his subjective experience as valid anthropic evidence about whether or not he was in a simulation. I think I was trying to make the argument specifically about whether or not Harry could be sure he wasn’t in a simulation of a trial timeline that was going to be ruled inconsistent. (Or, implicitly, a timeline that he might be able to control whether or not it would be ruled inconsistent. Or maybe it was about whether or not he could be sure that there hadn’t been such simulations.) But I don’t remember you agreeing that my position was plausible, and it’s possible that that means I didn’t convey the information about which scenario I was trying to argue about. In that case, you wouldn’t have heard of the idea from me. Or I might have only had enough time to figure out how to halfway defensibly express a lesser idea: that of “trial simulated timelines being iterated until a fixed point”.