On 31 Dec 2012, at 14:05, Roger Clough wrote:

Hi Bruno Marchal and Brian, "Bigness" can only limit physical entities (those extended in space), 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?`

Bruno

[Roger Clough], [rclo...@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 Lawyeretried that without to much success, except rediscoveringGrothendieck topoi).I'm more interested in the smallest mathematical object in which allmathematical structures are embedded but the category of allcategories will do.Except that it is too big, and eventually lawvere extract the topifrom this, which model well, not the mathematical reality, but themathematician itself.Also, we have already discuss this, but the embedding notion doesnot seem the right think to study, compared to emulation, at leastwith the comp hypothesis.But if you assume comp, elementary arithmetic is enough, and it isbetter to keep the infinities and categories into the universalmachine's mind tools.Enough for what, in what sense?Enough for a basic ontology (and notion of existence) to explain allthe different sort of existence, notably of persons, consciousness,matter appearances, etc. See my papers, as I pretend that with compwe have no choice in those matter, except for pedagogical variantsand practice.To have a single mathematical object that all mathematicalstructures 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, allmathematical objects (i.e., all physical objects).I think that this is deeply flawed. We cannot identify the physicaland the mathematical. We might try theory on the physical, or on themental, or on the mathematical, which might suggest relation betweenthose 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 painin a leg has a type of existence different from a quark. The game ofbridge as a different type of existence than the moon materialconstitution.Then for machine, once we distinguish their different points of view(intuoitively like in UDA) or formally like in AUDA, we get manydifferent 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 differentmodal 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 correspondingset of world lines. This encoding is an isomorphism. A very simpleexample of what I mean is the nearly parabolic path taken by aprojectile. The set of world lines would be some subset of R^4 orR^n if it turns out that n != 4. I am aware that indeterminacy dueto Heisenberg's uncertainty principle kicks in here so we may never"know" which subset of R^n a physical system is isomorphic to but bya pigeonhole principle, the physical system must be isomorphic tosome subset of R^n, several in fact.May be. But I am driven by the mind-body problem, and what you showabove is mathematical physics. With comp, by UDA, we have to extractthe belief in such physical idea by ultimately explaining them interm probabilities on computations (that the result I invite you tostudy and criticize).With computationalism, the coupling consciousness/physical is aphenomenon, person perceptible through numbers relations when they(the persons) bet on their relative self-consistency. This explainsthe appearance of the physical, without going out of thearithmetical. It works thanks to Church thesis and the closure ofthe 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. Basicallysomething 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 ofall structures C exists though since C is not a small category andthus Yoneda's lemma doesn't apply. I would have to fine-tune theargument 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 richontology. If we are machine, the cardinality of the basic TOE isabsolutely 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 reifythe transcendental. This is what lead to superstition and nonnecessarily complex ontologies.If the cocompletion of C is the One, that which all mathematicalstructures can be embedded, then the parallel universe questionwould be a matter of logic and category theory; it would depend onhow you defined "the visible universe" and "parallel" universe.You will have to define an observer, its points of view, and to takeinto account its many distributions in that super-mathematicalstructure, but you can't do that, as you will need an even biggerstructure to define and study the indeterminacy. So you will have tolimit your notion of observer and use some "comp" hypothesis (aninfinite variant if you want).With comp, it is easier: you cannot really take more thanarithmetic. God created the Natural Numbers, all the rest belong tothe (singular and collective) number's imagination. If naturerefutes this, it will still remain time to add the infinitiesneeded. I think.How is the arithmetical structure going to give rise to adescription of reality that takes into account observer, its pointsof view, and its many distributions without the need to study theindeterminacy?You might take a look on my paper(s)(?), or my posts here, as thisis what I keep trying to explain here. I am not sure how you canstudy the relation between the first person and its possiblerealities without using the first person indeterminacy, which is thebuilding block of the physical realities.The observer are the (Turing) universal numbers. Physics is given bythe measure on the computations going through their state. Thisextends Everett on arithmetic. It leads to a many-dream view ofarithmetic, and can be shown to be developed by almost all universalnumbers.Bruno (?) http://iridia.ulb.ac.be/~marchal/publications/SANE2004MARCHALAbstract.html--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/-/XqN5TmRQ1n0J.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 GoogleGroups "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.

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.