Proof Of Logic

@allgebrah @AlleleOfGene @The_Lagrangian What if there isn't an inside when there's not an appropriate causal structure? That's my claim.

@ProofOfLogic @AlleleOfGene @The_Lagrangian thought experiment: take a machine with finite states, the computation is a path through these

@ProofOfLogic @AlleleOfGene @The_Lagrangian step 1: compute a few (or a lot) of these transitions step 2: compute one

@ProofOfLogic @AlleleOfGene @The_Lagrangian now take [2] and one transition from [1] so that "[2], then [1]" is causally coherent

@ProofOfLogic @AlleleOfGene @The_Lagrangian all under the assumption that you somehow need to "physically realize" a computation

@ProofOfLogic @AlleleOfGene @The_Lagrangian this is shuffling the computation in outside causality while inner causality is preserved

@allgebrah @AlleleOfGene @The_Lagrangian I don't get what this bit means. https://twitter.com/allgebrah/status/728867406085533697 … & maybe too simple to have an inside view

@ProofOfLogic @AlleleOfGene @The_Lagrangian "[2], then [1]" is a computation that could've happened, each of its steps has indeed happened