Le 02-mai-07, à 17:49, John Mikes a écrit :
> One wisdom above all others consists of formulating questions which by
> their wording eliminate the answers. Your question starts:
> "What do you mean by "...our..."?
> The classic reply: "Who is asking?" -- It is you and me and all "who"
> we can consider normal minds to converse with.
> *
> I try to be patient as long as I am around, but cannot take seriously
> a "LM" that 'knows' everything 'unknowable' and TELLS US all in an
> interview. It is all still in 'our' mind (imagination?) content.
> Why do you not 'extract' everything at once? Why piecemeal small
> portions of epistemic enrichment? All questions discussed on this and
> any other forum could be answered. Why are we so shy? (Maybe life
> would be intolerably boring knowing all the answers at once?)
> (I got it:
> it is the 'mathematically discernible' gap ...so is it a limitation?
Yes. But the L machine can see its own limitations. The UD Argument
explains why we have to expect physics rising from some geometry
bearing on that limitation.
> and only its 'fears', 'hopes', (=suggestions, fantasies?) we(?) in our
> feeble mind work/content can produce similar unreal ideas.)
> Is the 'mathematical' included to justify the imperfections of a LM?
Yes.
> - No, I did not really ask that.
> *
> Why did a LM not disclose 'itself' 3000 years ago?
I guess that happens. There are some relations between so-called
mystics or inward-looking truth researchers and lobian machine.
> with ALL the answers?
Certainly not.
> Why still teasing us even now? A Sadist Loebian Machine!
> Does it have 'rules' on 'how much' to disclose in an interview? Who's
> rules? the Allmighty? but that is the LM itself!
> You see, I am confused. (ha ha) good for me.
I will come back on the interview. I have to answer Mark Geddes'
question on Tegmark little three-diagram first, and this could help to
relate the interview and the search for a TOE. Indeed I have to explain
the many nuances between the notion of computability, provability,
knowability, observability, etc. All that in the arithmetical frame,
... and without being too much technical! The problem is that those
nuances *are* technical! I am using technics here because our
intuitions are misleading.
Just note this. No Lobian Machine, even sound and ultra-powerful can
ever be "Allmighty". The contrary is true: the machine is somehow
extremely modest. If you ask a sound (lobian) machine if she will ever
say a bullshit, she answers that [either she will say a bullshit or she
*might* say a bullshit]. This is a form of Godel's theorem. Lob's
theorem shows in a deeper way that the L machine is really
modesty-driven all along. The machine can also prove to herself that
the more she learns, the less she knows. Her science makes her more
ignorant, and lead her to bigger doubts, and thus also to bigger
possibilities (relatively to her most probable computational history).
Also, I use the term Lobian machine, in honor of Löb, but also as a
shorter expression for "a self-referentially correct machine having
enough beliefs in elementary arithmetic".
I remind you that in some older post you were willing to accept the
idea that either you are yourself lobian, or that you can identify a
lobian machine living in you (as far as you accept enough elementary
arithmetical truth).
Recall also I am not defending the comp hyp., I am just trying to show
that the comp hyp. has (startling) observable and thus testable
consequences (cf also both the UDA and the neoplatonists like
Plotinus).
>
> Wishing you the best
The best for you too. Hope this will help you to keep patient, thanks,
Bruno
>
> John
>
>
> On 5/2/07, Bruno Marchal <marchal.domain.name.hidden> wrote: Dear John,
>>
>> Le 30-avr.-07, à 20:57, John Mikes a écrit :
>>
>> > mind is (mentality of) the unlimited TOE and its vision(s), while
>> body
>> > (the somehow limited contraption including the tool for our
>> thinking -
>> > call it brain tissue, physical, digital comp, or - horribile dictu:
>> > arithmetical - anyway within our limited mentality) is an aspect
>> > (partial) of it.
>>
>>
>> I asked you this before: what do you mean by *our* in *our* limited
>> mentality?
>>
>> Do you mean the Hungarians?
>> The Americans?
>> The Humans?
>> The Apes?
>> The Animals?
>> The inhabitants of Earth?
>> The inhabitants of the Solar System?
>> The inhabitants of the Milky Way galaxy? (they are so much Milky Way
>> Minded, you know!)
>> or
>> The sound lobian machines?
>> The omega-consistent lobian machines?
>> The consistent lobian machines?
>> The lobian machines?
>> ...
>> The lobian entities?
>> ... ?
>>
>>
>>
>> > Problem: to reach the total from the limitational part - without the
>> > possession (understanding) of the missing rest of it.
>>
>> This is exactly, if I get your point, what I think can be done about
>> the lobian entities, which, thanks to the mathematically describable
>> gap between what the machine can know and what the machine can hope
>> for
>> (of fear for, bet, etc.) it is possible to get some large and testable
>> overview of the comp consequences for any TOEs based on the comp hyp.
>> Including "physical consequences".
>>
>> Hope this can motivate you for the "interview" of the L machine (or L
>> entity), but be patient, thanks;
>>
>> Best,
>>
>> Bruno
>>
>>
>> http://iridia.ulb.ac.be/~marchal/
>> >>
>>
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.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 Thu May 03 2007 - 12:02:32 PDT