Ok No Prob.
I doubt it will rock a craddle tho.
Here is my process:
-----------------
P1:
while(1);
------------------
Ok My second process
-------------------
P2:
if (P2==while(1))
print(P1 will run forever.)
-------------------------
satisfied?
HKF
----- Original Message -----
From: "Stefan Reich" <[EMAIL PROTECTED]>
To: <[EMAIL PROTECTED]>
Sent: Friday, May 11, 2001 2:52 PM
Subject: Re: [freenet-tech] Ideas for a FreeNet Process
> >For example. I am a progem. You write an infinite loop. I determine
that
> >it will be infinite. I've just
> >predicted your program.
>
> If you know how to write such a program, do it! You'll rock the scientific
> world. ;-)
>
> -Stefan
>
> ----- Original Message -----
> From: "JF" <[EMAIL PROTECTED]>
> To: <[EMAIL PROTECTED]>
> Sent: Friday, May 11, 2001 8:42 PM
> Subject: Re: [freenet-tech] Ideas for a FreeNet Process
>
>
> >
> > ----- Original Message -----
> > From: "Stefan Reich" <[EMAIL PROTECTED]>
> > To: <[EMAIL PROTECTED]>
> > Sent: Friday, May 11, 2001 2:34 PM
> > Subject: Re: [freenet-tech] Ideas for a FreeNet Process
> >
> >
> > > > > Not a problem; just write a function that can scan any arbitrary
> piece
> > > of
> > > > > code and determine whether it will eventually halt or not.
> > > >
> > > > Right in other words, the freenet could determine cancer nodes and
> deal
> > > with
> > > > them.
> > >
> > > Ahm... I think you missed out on the irony in that statement... it is
> > > IMPOSSIBLE to write an algorithm that decides if a given piece of code
> > will
> > > halt eventually (i think Turing proved that).
> >
> > Allan lived in the world of abstraction.
> > I believe the real axiom is that a process cannot determine itself.
> > Which means that a process cannot determine whether itself will halt.
It
> > cant predict itself.
> > The program IS the prediction.
> > Of course other programs could analyze any other program or expect
certain
> > things from it.
> > For example. I am a progem. You write an infinite loop. I determine
> that
> > it will be infinite. I've just
> > predicted your program.
> > Freenet nodes would not work today if the nodes waited indefinitely for
> > other nodes to finish. The
> > good nodes also would not like to get 'bad' information from so called
> > cancerous nodes.
> > The same procedures would of course be applied. This not only helps
> > identify attacks, but more importantly identifies pieces of the process
> that
> > are not functioning properly, or in hacker terms buggy.
> >
> > HKF
> >
> >
> > >
> > > I think you still don't understand the problem with the execution of
> > > untrusted code (is it so unobvious?).
> > >
> > > -Stefan
> > >
> > >
> > > _______________________________________________
> > > freenet-tech mailing list
> > > [EMAIL PROTECTED]
> > > http://lists.freenetproject.org/mailman/listinfo/tech
> > >
> >
> > _______________________________________________
> > freenet-tech mailing list
> > [EMAIL PROTECTED]
> > http://lists.freenetproject.org/mailman/listinfo/tech
>
>
> _______________________________________________
> freenet-tech mailing list
> [EMAIL PROTECTED]
> http://lists.freenetproject.org/mailman/listinfo/tech
>
_______________________________________________
freenet-tech mailing list
[EMAIL PROTECTED]
http://lists.freenetproject.org/mailman/listinfo/tech
