On 31 Dec 2012, at 19:52, Craig Weinberg wrote:

## Advertising

On Monday, December 31, 2012 8:20:44 AM UTC-5, Bruno Marchal wrote: On 31 Dec 2012, at 14:05, Roger Clough wrote: > Hi Bruno Marchal and Brian, >> "Bigness" can only limit physical entities (those extended inspace),> but is irrelevant with regard to nonphysical or mental entities, > as these are not extended in space. ? Is is not natural to say that 10^100 is bigger than 0? And 2^Aleph_0 bigger than Aleph_0? BrunoIt's natural because it is a metaphor. Like it's natural to say thatyou have a big test coming up, or a big problem with a neighbor.To say that one number is larger than another is figurative. When wesay 'five is bigger than four', what we mean is 'since the quantityof five exceeds the quantity of four*, it is _as if_ this understoodrelation could be expressed as an inequality in physical size.*five only exceeds the quantity of four as a mathematicalgeneralization, which is also figurative based on the idealizationof solid objects. If we deal with fluids or gases as a modelinstead, it does not necessarily have much meaning to say that onequantity is greater than or less than another.

`Assuming metaphysical naturalism, and non realism in math. I prefer to`

`not assume physics as it is what I want to explain.`

`5 is bigger than 4 just because there is a positive number z such that`

`4 + z = 5.`

Bruno

Craig > > > > [Roger Clough], [rcl...@verizon.net] > 12/31/2012 > "Forever is a long time, especially near the end." - Woody Allen > ----- Receiving the following content ----- > From: Bruno Marchal > Receiver: everything-list > Time: 2012-12-30, 08:57:29 > Subject: Re: Ten top-of-my-head arguments against multiverses > > > > > On 29 Dec 2012, at 20:51, Brian Tenneson wrote: > > > > > > > > Why not take the categories of all categories (besides that Lawyere > tried that without to much success, except rediscovering > Grothendieck topoi). > > > I'm more interested in the smallest mathematical object in which all > mathematical structures are embedded but the category of all > categories will do. > > > > Except that it is too big, and eventually lawvere extract the topi > from this, which model well, not the mathematical reality, but the > mathematician itself. > > > Also, we have already discuss this, but the embedding notion does > not seem the right think to study, compared to emulation, at least > with the comp hypothesis. > > > > > > > > > > But if you assume comp, elementary arithmetic is enough, and it is > better to keep the infinities and categories into the universal > machine's mind tools. > > > Enough for what, in what sense? > > > > Enough for a basic ontology (and notion of existence) to explain all > the different sort of existence, notably of persons, consciousness, > matter appearances, etc. See my papers, as I pretend that with comp > we have no choice in those matter, except for pedagogical variants > and practice. > > > > > > > > > > > > > > > To have a single mathematical object that all mathematical > structures can be embedded would give us an object that, in a sense, > contains all structures. If one follows Tegmark's idea that ME=PE, > then a definition for universe just might be a mathematical object > (which by ME=PE is a physical object) that contains, in a sense, all > mathematical objects (i.e., all physical objects). > > > I think that this is deeply flawed. We cannot identify the physical > and the mathematical. We might try theory on the physical, or on the > mental, or on the mathematical, which might suggest relation between > those thing, but I doubt any non trivial theory would identify them, > unless enlarging the sense of the words like mental, physical. > > > > Isn't it simpler to assume there is only one type of existence? > > > It seems to me part of the data that this is not the case. My pain > in a leg has a type of existence different from a quark. The game of > bridge as a different type of existence than the moon material > constitution. > Then for machine, once we distinguish their different points of view > (intuoitively like in UDA) or formally like in AUDA, we get many > different sort of existence. > The ontic one is the simpler ExP(x), but we have also []ExP(x), > []Ex[]P(x), []<>P(x), []<>Ex[]<>P(x), etc. All this in 8 different > modal logics extracted from self-reference. > > > > > > > What are the actual flaws of a mathematical universe? > > > Too big. It is a metaphor. > > > > > > > A physical system can be mathematically encoded by its corresponding > set of world lines. This encoding is an isomorphism. A very simple > example of what I mean is the nearly parabolic path taken by a > projectile. The set of world lines would be some subset of R^4 or > R^n if it turns out that n != 4. I am aware that indeterminacy due > to Heisenberg's uncertainty principle kicks in here so we may never > "know" which subset of R^n a physical system is isomorphic to but by > a pigeonhole principle, the physical system must be isomorphic to > some subset of R^n, several in fact. > > > > May be. But I am driven by the mind-body problem, and what you show > above is mathematical physics. With comp, by UDA, we have to extract > the belief in such physical idea by ultimately explaining them in > term probabilities on computations (that the result I invite you to > study and criticize). > > > > > > > > > > With computationalism, the coupling consciousness/physical is a > phenomenon, person perceptible through numbers relations when they > (the persons) bet on their relative self-consistency. This explains > the appearance of the physical, without going out of the > arithmetical. It works thanks to Church thesis and the closure of > the comp everything (UD*, sigma_1 completeness). > > > > > How are you defining consciousness here? > > > > I can't define it. I just hope you know what I mean. Basically > something true but non provable about yourself, and, by comp, > invariant for some local digital substitution. > > > > > > > > > > > > > It's not super clear to me that the cocompletion of the category of > all structures C exists though since C is not a small category and > thus Yoneda's lemma doesn't apply. I would have to fine-tune the > argument to work in the case of the category C I have in mind. > > > > The n-categories might be interesting, but we don't need so rich > ontology. If we are machine, the cardinality of the basic TOE is > absolutely undecidable from inside. Omega is enough. > > > Do you have an argument that proves that our minds can't transcend > "inside"? > > > > The mind can do that. Math, by diagonalization, does that, actually, > even in a 3p way. > But the fact that "number's mind" can do that invite us to not reify > the transcendental. This is what lead to superstition and non > necessarily complex ontologies. > > > > > > > > > > > > If the cocompletion of C is the One, that which all mathematical > structures can be embedded, then the parallel universe question > would be a matter of logic and category theory; it would depend on > how you defined "the visible universe" and "parallel" universe. > > > > You will have to define an observer, its points of view, and to take > into account its many distributions in that super-mathematical > structure, but you can't do that, as you will need an even bigger > structure to define and study the indeterminacy. So you will have to > limit your notion of observer and use some "comp" hypothesis (an > infinite variant if you want). > > > With comp, it is easier: you cannot really take more than > arithmetic. God created the Natural Numbers, all the rest belong to > the (singular and collective) number's imagination. If nature > refutes this, it will still remain time to add the infinities > needed. I think. > > > > > How is the arithmetical structure going to give rise to a > description of reality that takes into account observer, its points > of view, and its many distributions without the need to study the > indeterminacy? > > > > You might take a look on my paper(s)(?), or my posts here, as this > is what I keep trying to explain here. I am not sure how you can > study the relation between the first person and its possible > realities without using the first person indeterminacy, which is the > building block of the physical realities. > The observer are the (Turing) universal numbers. Physics is given by > the measure on the computations going through their state. This > extends Everett on arithmetic. It leads to a many-dream view of > arithmetic, and can be shown to be developed by almost all universal > numbers. > > > Bruno > > > (?) http://iridia.ulb.ac.be/~marchal/publications/SANE2004MARCHALAbstract.html > > > > > > > -- > You received this message because you are subscribed to the Google > Groups "Everything List" group. > To view this discussion on the web visit https://groups.google.com/d/msg/everything-list/-/XqN5TmRQ1n0J > . > To post to this group, send email to everyth...@googlegroups.com.> To unsubscribe from this group, send email to everything-li...@googlegroups.com> . > For more options, visit this group at http://groups.google.com/group/everything-list?hl=en > . > > > > http://iridia.ulb.ac.be/~marchal/ > > -- > You received this message because you are subscribed to the Google > Groups "Everything List" group. > To post to this group, send email to everyth...@googlegroups.com.> To unsubscribe from this group, send email to everything-li...@googlegroups.com> . > For more options, visit this group at http://groups.google.com/group/everything-list?hl=en > . > http://iridia.ulb.ac.be/~marchal/ --You received this message because you are subscribed to the GoogleGroups "Everything List" group.To view this discussion on the web visit https://groups.google.com/d/msg/everything-list/-/sUNnHmxtRUoJ.To post to this group, send email to everything-list@googlegroups.com.To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com.For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.

http://iridia.ulb.ac.be/~marchal/ -- You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to everything-list@googlegroups.com. To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.