On 30 July 2010 17:35, Bruno Marchal <marc...@ulb.ac.be> wrote: > ... and if you believe that the universe can be accounted for by a some > consistent mathematical structure. Which is an open problem. Assuming > mechanism, physical universes have no real existence at all, except as first > person sharable experience by machines (mathematical digital machines).
Bruno, consideration of the particular way you expressed this above led to the following thoughts. Let us leave aside for the moment the question of whether "the universe can be accounted for by some consistent mathematical structure". I am aware, of course, of your detailed disproof per absurdum of the logical possibility of a physical basis for the computational theory of mind (CTM). It is noteworthy, nonetheless, that even in its "physicalist" version, CTM seeks to explain "first person sharable experience" as a "virtual mechanism", albeit here assumed to be capable of justification in terms of the relations of "fundamentally physical" tokens of some sort. Leaving aside for the moment whether this is ultimately a correct account or not, my point here is that it is already implicit, per such a physicalist version of CTM, that "the physical universe" - above whatever lowest level is taken to be "fundamental" - is essentially a set of "virtual levels". That is all entities, above the ultimate level of analysis, are conceived as supervening entirely on - and consequently as strictly superfluous to the independent operation of - the basic events supposed to account for both physical and mental processes. Consequently it is already implicit that, even in a physicalist version of CTM, to paraphrase what you say above:"physical universes (with the qualification - at any level above "ultimate physical events") have no real existence at all, except as first person sharable experience by digital machines". However, given that IMO the arguments you advance do convince that CTM based on "physically real" tokens does indeed lead to absurd conclusions, this would remove the qualification "at any level above ultimate physical events". This leads directly to the unqualified claim, as you say, that "assuming mechanism, physical universes have no real existence at all, except as first person sharable experience by machines (mathematical digital machines)". David > > On 30 Jul 2010, at 17:03, Jason Resch wrote: > > > On Fri, Jul 30, 2010 at 1:24 AM, Brent Meeker <meeke...@dslextreme.com> > wrote: >> >> On 7/29/2010 10:25 PM, Jason Resch wrote: >> >> On Thu, Jul 29, 2010 at 10:55 PM, Mark Buda <her...@acm.org> wrote: >>> >>> Numbers exist not in any physical sense but in the same sense that any >>> idea exists - they exist in the sense that minds exist that believe >>> logical propositions about them. They exist because minds believe >>> logical propositions about them. They are defined and distinguished by >>> the logical propositions that minds believe about them. >>> >>> There are three worlds: the physical world of elementary particles, the >>> mental world of minds, and the imaginary world of ideas. They are >>> linked, somehow, by logical relationships, and the apparent flow of time >>> in the mental world causes/is caused by changes in these relationships. >>> >>> I wouldn't be surprised if the "laws" of physics are changing, slowly, >>> incrementally, right under our noses. In fact, I would be delighted, >>> because it would explain many things. >>> >> >> The existence of numbers can explain the existence of the physical >> universe but the converse is not true, the existence of the physical world >> can't explain the existence of numbers. >> >> William S. Cooper wrote a book to show the contrary. Why should I >> credence your bald assertion? > > I should have elaborated more. The existence of mathematical objects (not > just numbers, but all self-consistent structures in math) would imply the > existence of the universe (if you believe the universe is not in itself a > contradiction). > > ... and if you believe that the universe can be accounted for by a some > consistent mathematical structure. Which is an open problem. Assuming > mechanism, physical universes have no real existence at all, except as first > person sharable experience by machines (mathematical digital machines). > > > It would also clearly lead to Bruno's universal dovetailer, as all possible > Turing machines would exist. > > ... together with their executions. > > > Regarding the book you mentioned, I found a few books by William S. Cooper > on amazon. What is the title of the book you are referring to? Does it > show that math doesn't imply the existence of the physical universe, or that > the physical universe is what makes math real? Most mathematicians believe > math is something explored and discovered than something invented, if true, > and both math and the physical universe have objective existence, it is a > better theory, by Ockham's razor, that math exists and the physical universe > is a consequence. I do understand that the existence of the physical > universe leads to minds, and the minds lead to the existence of ideas of > math, but consider that both are objectively real, how does the universe's > existence lead to the objective existence of math, when math is infinite and > the physical universe is finite? (at least the observable universe). > > > Also, Cooper's book just address the question of the origin of man's beliefs > in numbers. I don't think Cooper tries to understand the origin of natural > numbers. > Actually, we can explain that numbers cannot be justified by anything > simpler than numbers. That is why it is a good starting point. > I doubt your statement that a physical universes can explain mind. Unless > you take "physical" in a very large sense. The kind of mind a physical > universe can explain cannot locate himself in a physical universe. This > comes from the fact that the identity thesis (mind-brain, or > mind/piece-of-matter) breaks down once we assume we can survive a 'physical' > digital brain substitution. > We can ascribe a mind (first person) to a body (third person), but if that > body is turing emulable, then a mind cannot ascribe a body to itself. It can > ascribe an infinity of bodies only, weighted by diverging computational > histories generating the relevant states of that body, below the > substitution level. This can be said confirmed by quantum mechanics, where > our bodies are given by all the Heisenberg-uncertainty variant of it. > I agree roughly with the rest of your remarks (and so don't comment them). > Bruno > > > > >> >> Belief in the existence of numbers also helps explain the unreasonable >> effectiveness of math, and the fine tuning of the universe to support life. >> >> If numbers are derived from biology and physics that also explains their >> effectiveness. Whether the universe if fine-tuned is very doubtful (see Vic >> Stengers new book on the subject) but even if it is I don't see how the >> existence of numbers explains it. > > Vic Stenger's argument is that fine-tuning is flawed because it assumes life > such as ours. But even assuming a much more general definition of life, > which requires minimally reproduction, competition over finite resources, > and a relatively stable environment for many billions of generations what > percentage of universes would support this? Does Stenger show that life is > common across the set of possible mathematical structures? > > The existence of all mathematical structures + the anthropic principal > implies observers finding themselves in an apparently fine-tuned universe. > Whereas if one only believes in the physical universe it is a mystery, best > answered by the idea that all possible universes exist, and going that far, > you might simply say you believe in the objective reality of math (the > science of all possible structures). > >> >> I think it is a smaller leap to believe properties of mathematical objects >> exist than to believe this large and complex universe exists (when the >> former implies the latter). >> Even small numbers are bigger than our physical universe. There are an >> infinite number of statements one could make about the number 3, >> >> Actually not on any nomological reading of "could". > > If 3 exists, but we don't know everything about it, how can 3 be a human > idea? There are things left to be discovered about that number and things > no mind in this physical universe will ever know about it, do you think our > knowledge or lack of knowledge about it somehow affects 3's identity? What > if in a different branch of the multiverse a different set of facts about 3 > is learned, would you say there are different types of 3's which exist in > different branches? I think this would lead to the idea that there is a > different 3 in every persons mind, which changes constantly, and only exists > when a person is thinking about it. However the fact that different minds, > or different civilizations can come to know the same things about it implies > otherwise. > >> >> some true and some false, but more statements exist than could ever be >> enumerated by any machine or mind in this universe. Each of these >> properties of 3 shapes its essence, but if some of them are not accessible >> or knowable to us in this universe it implies if 3 must exist outside and >> beyond this universe. Can 3 really be considered a human invention or idea >> when it has never been fully comprehended by any person? >> >> On the contrary, I'd say numbers and other logical constructs can be more >> (but not completely) comprehended than the elements of physical models. >> That's why explaining other things in terms of numbers is attractive. >> >> > > Can anything in physics determine the multiples of 3 between N and N + 9, > where N is 7 ↑ ↑ ↑ ↑ ↑ 100 (Using Knuth's up arrow notation)? Would you say > N doesn't exist because it is too large to for anyone to know? Or does it > only exist now that I thought about it and wrote it down? Despite that I > know very little about that number. If it doesn't exist, it implies 3 has a > finite number of multiples, which seems strange. Does that mean different > numbers have different numbers of multiples, either depending on what is > thought up or what is small enough to express in the universe? I am > interested in how the approach that numbers/math are only ideas handles such > questions. > > > Jason > > -- > You received this message because you are subscribed to the Google Groups > "Everything List" group. > To post to this group, send email to everything-l...@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-l...@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. > -- You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to everything-l...@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.