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 <kimjones.domain.name.hidden> 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-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list+unsubscribe.domain.name.hidden
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Sat Dec 20 2008 - 14:12:54 PST