`Hal Finney wrote:`

How about Tegmark's idea that all mathematical structures exist, and we're

living in one of them? Or does that require an elderly mathematician, a piece of parchment, an ink quill, and some scribbled lines on paper in order for us to be here?

It seems to me that mathematics exists without the mathematician.

And since computer science is a branch of mathematics, programs and

program runs exist as well without computers.

`Ok, but real computers are "math with motion". You have to have the program counter touring`

around through the memory in order to make a narrative sense of anything "happening".

around through the memory in order to make a narrative sense of anything "happening".

`Mathematics, being composed of our symbols, is an abstract "re-presentation". I think what Tegmark`

must be saying is that "something" exists which is amenable to description by all self-consistent

mathematical theories (logical sentence sets) , and by no inconsistent theories. To me, this is just

equivalent to saying that "all possible configurations of differences exist" and that any SAS that

represents its environment accurately (e.g. via abstract mathematics) is constrained, by its own

being part of the information structure, to only perceive self-consistent configurations of differences

as existing. Self-consistency of mathematical theory, as it translates from the representation level

to the represented level, just means that things "perceived" can only be one way at a time, and that's

the kind of thing that a consistent mathematical theory describes.

must be saying is that "something" exists which is amenable to description by all self-consistent

mathematical theories (logical sentence sets) , and by no inconsistent theories. To me, this is just

equivalent to saying that "all possible configurations of differences exist" and that any SAS that

represents its environment accurately (e.g. via abstract mathematics) is constrained, by its own

being part of the information structure, to only perceive self-consistent configurations of differences

as existing. Self-consistency of mathematical theory, as it translates from the representation level

to the represented level, just means that things "perceived" can only be one way at a time, and that's

the kind of thing that a consistent mathematical theory describes.