Sevenhundred Elves wrote:
> pi said:
>
> > Sevenhundred Elves wrote:
>
> > > You think it's over already?
>
> > Actually, I haven't quite started yet. I need to do several more most
> > fundamenal things: prove 1+1=2 PM's style from disjunction,
> > quantifiers etc.,
>
> But Russell and Whitehead already proved that. Do you hope to prove them
> wrong, to the consternation of every mathematician and merchant in the
> world?
>
> > produce a LISP compiler with lambda as the sole
> > primitive (on the top of some x86 architecture to be lambda
> > interpreted also).
>
> I once saw the source for a LISP compiler written in just a few blocks
> of Forth (there are 16 lines per block). If you could locate that, you
> might have something to build from. I think it was in the book Dr Dobb's
> Toolbook of Forth.
>
> > Finally, all computational models should prove to
> > be equivalent and share incompleteness metaproperties which directly
> > pertain to Buddhism.
>
> Uh.. can't help you there, I'm afraid.
>
>
>
>
>
>
>
>
>
> > >Oh, no! I have another exercise for you:
>
> > It took me two days to understand your lucid answer to my (simple)
> > question :) what do you think it'll take me to answer a hard one from
> > you? :)
>
> > A perfect logician would run preprocessing tests to establish the
> > query time. Let's see :)
>
> > > What would be the result if the booming voice was lying, and NONE of the
> > > monks were enlightened? What would happen? And then what? What would a
> > > clever monk do if he couldn't be entirely sure that the voice was
> > > telling the truth? What should each monk do to ensure it wouldn't matter
> > > at all if the voice was booming out truth or lies? I assure you there is
> > > a wise way of acting to ensure a correct result even if the booming
> > > voice is lying.
>
> > pi, v. 1.01
>
> > Computing query time. Please kindly wait...
>
> > The query time is Seven Hundred Years :) :) :)
>
> > pi>>
>
> > pi>> See if you can find it!
>
> > Of course I can, but that'll take over half a millenium :)
>
> > pi>> You didn't really think I'd give an easy answer without posing a
> > harder
> > pi>> question as well? ;-)
> > pi>>
> > pi>> S.
>
> > No, of course I wouldn't dare think that. In all frankness, I am slow
> > on original ideas. This is partly because I ceased to trust the
> > original booming voice which I inherited as part of my indoctrination
> > and which guided me for so many years until I became assured it was
> > lying, which happened thanks to another voice which told me to read A.
> > Turing's original paper on intelligence.
>
> > It will however give me tremendous pleasure to entertain the
> > question :)
>
> >
http://www.idsia.ch/~juergen/robohorsegm1.jpg
>
> > Query scheduled. Thank You :)
>
> > pi>>
>
> Well, allright then. Since Nobody in Particular has given up, and Peter
> Olcott, whom I frankly believe to be the only one here capable of
> actually solving the riddle, doesn't seem to read this thread, I'll tell
> you:
>
> See, if the booming voice is lying when it says "At least one of you is
> enlightened!" then that means that _none_ of them are enlightened, or he
> wouldn't be lying, right?
>
> So what happens is that each and everyone of the monks believes himself
> to be enlightened, since he can't see an enlightenment mark on any of
> the others. Each of them assumes the mark must be on himself, and only
> on himself. So each of the monks sneaks out of the monastery that night,
> in secret, and unbeknownst to the others.
>
> Here's the trick: A smart monk (and they're all smart, remember) goes
> back to the monastery the next day, to check. What he sees is that the
> monastery is empty, nobody is in the meditation room, they have all left
> during the night. They all come back to the monastery at about the same
> time, and then they know, despite what the booming voice told them, that
> none of them were enlightened.
>
> If one of them had been enlightened, the others would have seen that he
> had the mark, and they would have acted according to the non-enlightened
> monks in Case 1 (described in a previous post); they would wait another
> day to see what the marked one would do.
>
> So it doesn't matter if the booming voice belongs to the Lord or to the
> Devil, to the truth-speaker or the long-tongued liar, because in this
> case, both the truth and the lie will serve the same purpose. This is a
> bit paradoxical, isn't it?
>
> In fact, they could have a tape recorder with a voice that boomed, say,
> twice a month, "At least one of you is enlightened!", and it would serve
> the purpose of letting them find out twice monthly which ones, if any,
> of them were enlightened.
>
> So, those of you who have read Lao Tzu's Tao Te Ching may now be able to
> give an example of when what he says in stanza 49 is useful and
> appropriate. He says:
>
> "The truthful I trust.
> The untruthful I also trust.
> The virtue is trust."
>
> Okay, I know that nobody here has seen this particular translation, and
> I admit I haven't seen it exactly like that in any English book, but I
> translated it into English from my memory of a super-serious Swedish
> translation. But there are many, many renderings of that verse, and who
> is to say that this one isn't as good as any other? Okay, Niunian might
> say it, out of spite. And Tang may happen to know THE Only Correct
> Translation, as verified by a million obscure researchers and
> sinologists, but aside from those two, who? Ah, yes, I guess Noname has
> a better translation, too, one he lives by or something. But <BOOMING
> VOICE> Trust Me On This:
>
> Trust everybody, but check the facts anyway.
> ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
>
> Hey, where *IS* Tang, by the way? Is he okay? And Halfawake is missing
> too, it seems. And Stumper. And Evelyn. Did they pack up and leave this
> wicked monastery (with a rule of babbling instead of a rule of silence)
> because they got enlightened? Lots of people went missssing while I was
> away.
>
> S.
Right. I get it all :) thank you :)
I am sorry, my brain sort of switches off whenever it pleases. I guess
I am just a little tired.
Again, thank you very much indeed for all the kinds words and that
which I need most, real encouragement :)
pi