`But arithmetic + comp might support string theory, and has too, if`

`matter is strings.`

`Also, arithmetic is simpler as it can be taught in high school, and I`

`think that you need arithmetic to understand string theory.`

`String theory assume the quantum theory, but the UD Argument shows`

`that if we want get both quanta and qualia properly, we have to`

`retrieve them form number or machine self-reference, so that if the`

`physical is really described by strings, then this will be explained`

`without assuming the quantum, nor the physical.`

`For matter, string theory seems promising, but for mind/matter, If`

`string theory is correct, and if we are Turing emulable at a level,`

`then string theory has to be a theorem (on universal number dreams`

`stabilizing, or something).`

Bruno On 17 Oct 2012, at 20:46, Richard Ruquist wrote:

In string theory compact dimensions support arithmetic, which in turn supports the evolution of life and dreams. RichardOn Wed, Oct 17, 2012 at 2:03 PM, Bruno Marchal <marc...@ulb.ac.be>wrote:On 17 Oct 2012, at 10:12, Alberto G. Corona wrote:Life may support mathematics. Arithmetic may support life. It is full of life and dreams.Life is a computation devoted to making guesses about the future inorder toself preserve . This is only possible in a world where naturalcomputers arepossible: in a world where the phisical laws have a mathematicalnature.Instead of comp creating a mathematical-phisical reality, is the mathematical reality what creates the computations in which we live.So all kind of arbitrary universes may exist, but only (some)mathematicalones can harbour self preserving computations, that is, observers.OK. But harboring self-preserving computation is not enough, itmust do in afirst person measure winning way on all computations going throughourstate. That's nice as this explain that your idea of evolutionneeds to beextended up to the origin of the physical laws.Mathematics is just a collection of representations that areinternally logically consistent (note that the total mathematicaluniverseis not a single consistent set!), so outside of that what isthere? Comp isa mathematical model, its "support" outside of math remains to beseen.Comp, is a bet involving the physical world, and the first personsubject.But by its very nature, it leads to doubt the necessity to bet aboutsomething outside of a tiny part of arithmetic, for the ontology,as the"inside view" will already explode in a non mathematicallyunboundable way.You need only the Turing universal reality. It is not important tochoosenumbers, or lambda terms, or combinators, or the game of lifepattern, asthey all lead to the same couplings consciousness/realities.The arithmetical reality escapes the computable reality, but thecomputedbeings are confronted to both the computable and the noncomputable, and acomplete transfinite ladder of surprises. Bruno 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-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 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.