One assumes that one lives in a multiverse consisting of universes corresponding to programs on a universal Turing machine, each with prior probability inversely proportional to 2 to the power of the length of the program.
I have trouble with this kind of “assumptions”. What does it mean, exactly, for a universe to correspond to a given program? Correspond how, what’s a “universe” for the purposes of establishing this correspondence, and what’s a “correspondence”? Why programs, specifically, and not any other kind of (axiomatic definition for a) mathematical structure?
I have trouble with this kind of “assumptions”. What does it mean, exactly, for a universe to correspond to a given program? Correspond how, what’s a “universe” for the purposes of establishing this correspondence, and what’s a “correspondence”? Why programs, specifically, and not any other kind of (axiomatic definition for a) mathematical structure?