Hi Brent, Thanks for your comments, which are very useful, even if the more technical comments are beyond me (I have to study up on that). Thanks for the tip about category theory, I vaguely heard about it... I know it is a rival to set theory when it comes to founding math (insofar that is possible given Goedel).
You write: "Note also that a "universe" is usually considered only for its intrinsic quality. A universe has a priori no relation with something else, as everything is or should be part of a universe, by definition." I would say: what is outside the universe is precisely nothing, which is why the universe exists in the first place, that is, it is not nothing (= ontological difference). So even for the universe it holds that it is what it is by differing from what it is not. And if it differs from nothing, then it must also be determined (internally differentiated = ontic difference) otherwise it would be indeterminate and thus as good as nothing. i.e. a thing IS its difference form something else. OK, you might say God is what is different from all beings. In that sense I would say: God is really nothing, since it makes all things be by differing from them. You write: "If we assume that the brain (or whatever my consciousness supervene on) is Turing emulable, we must recover physics from a special self-referential statistics on the computations. Physics becomes a branch of machine's psychology, or better machine's theology (in the greek original sense of the word) itself branch of arithmetic or mathematics." I don't get this. I see how the brain/consciousness might correspond to self-referential loops in computations, but why does this have implications for the whole of physics? Do you mean to say that there must be a compuational approach to God as the creator of physical nature? You write: "We can doubt this, notably for the numbers where many particular numbers can be individuated through its special property." Could you give an example? I would say: even for unique numbers (unique primes?) it holds that they are only what they are because of their place in the number system; take the system away and the number is just a meaningless mark. Peter -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
