On 03 Jan 2014, at 19:48, Richard Ruquist wrote:

That is, if time is not increasing or changing, then there are nocomputations happening. It's a static block universe.Is that possible?The only "time" needed for the notion of computation is thesuccessor relation on the non negative integers. It is not aphysical time, as it is only the standard ordering of the naturalnumbers: 0, 1, 2, 3, etc.So, the 3p "outer structure" is very simple, conceptually, as it isgiven by the standard structure, known to be very complex,mathematically, of the additive/multiplicative (and hybrids ofcourse) structure of the numbers (or any object-of-talk of auniversal numbers).That is indeed a quite "static" structure (and usually we don'tattribute consciousness to that type of thing, but salvia makes some(1p alas) point against this).Now, both consciousness (at least the mundane one) and the dynamicsappears in the logical arithmetical (but not necessarily computable)ways a machine, or a relative universal number, can prove (Bp) ,infer (Bp & Dt) , know (Bp & p), observe (Bp & Dt & p), feel (Bp &Dt & p) themselves relatively to their most probable computations.You can perhaps consider that all errors in *philosophy* consists ina confusion between two of those "number's points of view".I would even say that the *theological* errors comes from confusionbetween those points of view, and their "star extension", whentranslated in G*.Incompleteness not only forces the division between truth andprovable, captured by the star extensions, but it forbids to thecorrect or sound machine/numbers to confuse the hypostases.Subjective time appears in Bp & p, and in Bp & p & Dt, (and inB^n p & p & D^m t. If n < m, then we get a correspondingquantization, so the arithmetical quantizations are graded, and Ihope to find some arithmetical Temperley Algebra there ..., thatwould be a path in the explanation of some physical space)Physical time? Open problem.The 3p is a block reality, which does not even refer to any notionof time or space, or consciousness, or whatever.But from the average 1p discourses of machines relativelyimplemented (in the computer science sense) in that arithmeticalreality, taking into account the FPI (by the "& Dt", actually) andthe first person (and its umbilical link with truth, by the "& p")you can see or understand that from inside things are quitedynamical, and full of sense. The consciousness of the sense mightbe a semantical fixed point. Universal numbers are windows throughwhich the Arithmetical Reality can explore Itself. The price is thatit can lost itself and get tricked in infinitely many ways.To sum up the 3p reality is certainly a sort of block reality, butthe many 1p realities, naturally associated to the 3parithmetization of meta-arithmetic (Gödel) and its Theaetetusvariants (the points of view), are dynamical, and full of qualia(accepting standard properties of them).Strangely salvia suggests that the 3p reality contains an universal1p-reality itself., which makes not much sense to me though, but ifthat was the case, the "whole truth" would plausibly be the initialconsciousness capable of differentiating through the infinitely manyuniversal numbers windows. I am not sure of that. It would make abrain really more a filter of consciousness than a realizer ofconsciousness. I am still struggling on this. I made allusion tothis with the notion of Galois connection, which exists betweentheories and models, name and things, equation/surface, 3p-body/1p-person, etc.Bruno: Here is where my string cosmology model has an advantage.

`It seems to assume a physical reality. But this won't work for the`

`comp mind-body problem. We have to extract physics from computer`

`science, that is Arithmetic.`

As you know I think the particles of space that precipitate out of4D-spacetime,are like monads in that they reflect or perceive or are conscious ofall other monads(in string theory either because they are a BEC or use r->1/rduality-mapping, or both).My hypothesis is that they are also all distinct and perhaps evenenumerable,and hypothetically capable of computing the Arithmetic Realityincluding consciousness,which of course would include a "3p reality [that] contains anuniversal 1p-reality itself,corresponding to your Arithmetic Person.

`How do you define a string without assuming arithmetic? It is a bit`

`trivial to extract the simple (addition and multiplication) from the`

`complex (string theory). Assulming comp I am supposed to have shown`

`that we must to the contrary: extract strings, or the right physics,`

`from comp and arithmetic.`

You might need to formalize your approach to see that clearly.

"It would make a brain really more a filter of consciousness than arealizer of consciousness."which is also an aspect of my string cosmology that makesconsciousness more fundamentalthan I believe comp does. Since Godel required transverse of 57 levels to get his theorems,I conjecture that the simple basic monads form composites andfinally Lobian entities at the higher levels.

We see that through evolution and biology.

You may not be interested, but I presume that you can verify orfalsify that conjecture using mathematical logic..

`You might have the right physics, but we can know that only by`

`isolating if from arithmetic, without any further assumption.`

`Advantage: the G/G* distinction explain how to distinguish what the`

`machine can justify rationally, and she can't.`

Bruno

What is sure, even provable and proved by machines like PA or ZF, isthat there are many Löbian entities, much closer to truth thanthemselves, which might in some circumstances quite well approximateTruth, in a way "faking" all machines. An example is "true in alltransitive models of ZF" (a model is transitive if it owns all theelements of its sets). Using comp, and working on simple correctmachines, we can extract a lot from mathematical logic.BrunoRichardBruno http://iridia.ulb.ac.be/~marchal/ --You received this message because you are subscribed to the GoogleGroups "Everything List" group.To unsubscribe from this group and stop receiving emails from it,send an email to everything-list+unsubscr...@googlegroups.com.To post to this group, send email to everything-l...@googlegroups.com.Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out. --You received this message because you are subscribed to the GoogleGroups "Everything List" group.To unsubscribe from this group and stop receiving emails from it,send an email to everything-list+unsubscr...@googlegroups.com.To post to this group, send email to everything-l...@googlegroups.com.Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.http://iridia.ulb.ac.be/~marchal/ --You received this message because you are subscribed to the GoogleGroups "Everything List" group.To unsubscribe from this group and stop receiving emails from it,send an email to everything-list+unsubscr...@googlegroups.com.To post to this group, send email to everything-list@googlegroups.com. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out. --You received this message because you are subscribed to the GoogleGroups "Everything List" group.To unsubscribe from this group and stop receiving emails from it,send an email to everything-list+unsubscr...@googlegroups.com.To post to this group, send email to everything-list@googlegroups.com. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.

http://iridia.ulb.ac.be/~marchal/ -- 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 everything-list+unsubscr...@googlegroups.com. To post to this group, send email to everything-list@googlegroups.com. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.