Kim, although I try to keep my common sense, I do enjoy sometimes the follies in the transport and zombie etc. abominations. To bring in, however, why a 'machine' should be in English a lady, is too much for me. In 'my' language there are NO genders at all, almost as in Swedish (utrum = human and ne-utrum = non human?) - using pronouns. In my view the gnder-designation in many IndoEuropean languages is somewhat arbitrary and just serves to deface the foreigner. * Anything 'gay' is sex-related (identical that is). You wanted to mention a-sexual? Well, a cute machine can be 'sexy'). (Ferrari sportscar?) * If Bruno wants to help you "climb on the shoulders of Post, Godel, Lob, > Solovay, Matiyasevitch (among others): (like: Robinson, Peano) I remember that all those learned names acted in a secluded domain at a lower level than ours - in the ever broadening epistemic enrichment's cognitive inventory (not restricted to math-view). It broadened since their time. This list is at a much higher (broader) level than it was for the named mathematicians.
And: Do not lose your musical point of view. JM On Wed, Dec 17, 2008 at 11:37 PM, Kim Jones <kimjo...@ozemail.com.au> wrote: > > > On 18/12/2008, at 5:51 AM, Bruno Marchal wrote: > > > Gosh, Kim, don't tell me that you will enjoy the full UDA, because > > this would, not doubt, trig in me a strong motivation for explaining > > to you the arithmetical version of the UDA; that is; how to explain > > the UDA to the universal machine, and then ask "her" what *she* > > thinks about all that. (In french, for a machine, you refer to > > "herself", and I feel impolite to say "itself" (given what will > > follow, and the fact that "itself" does not exist in french). > > > French-speakers are truly bizarre (well read "interestingly bizarre") > > you think it's impolite to think of a machine as a sexless "it" (as in > Anglais) -- yet you quite arbitrarily assign a feminine gender to the > word!!! What's so feminine about a machine anyway? What if the machine > is gay? "It" might fit > > > > > > > The universal machine is not only the UD Dreamer (Robinson > > Arithmetic, Combinators), in situations it can be the lucid dreamer > > (Peano Arithmetic, Combinators+induction). > > > The machine computes the Everything. It can read and it can write, > like any machine. But because everything by definition will take an > infinite time to compute (just to buffer the file, let alone write it > to disc) the machine must commence reading out the file before the > full file is written. Hence "Dovetailer". The Dreamer gathers the > information and assembles the file for the lucid dreamer who writes > and reads (verifies) the file > > ça va, toi? > > > > > > > > > > The universal machine *is* the real surprise, eventually. It is the > > observable "white rabbit" that I put clearly and publicly in the > > hat. No magic. > > > > The most magical thing of all is that there is no magic > > > > > > > But to explain this I will have to explain to you some amount of > > elementary math, and then some amount of computer science, and then > > some amount of mathematical logic, and then, just to be able to > > illustrate or verify what the machine says about "matter", some > > amount of quantum mechanics. > > > > Just remember to take the mathematical part out of the maths. I will > cope easily with the rest > > > > > > i have to help you to climb on the shoulders of Post, Godel, Lob, > > Solovay, Matiyasevitch (among others): from there you will see that > > the universal machine is (incredibly) creative; so much that she can > > lose herself in its creations, but she can remember, also. Actually > > she cannot not remember, eventually. > > > Sounds like you have been up there already. I guess you know what the > view is like from there. > > I'm climbing. > > > K > > > > > > > > --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---