Re: [s-d] [s-b] Minsky, Inc: the public-access contract-programmable cou

Taral on Thu, 30 Oct 2008 13:07:43 -0700 (MST)

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: [s-d] [s-b] Minsky, Inc: the public-access contract-programmable counter machine!

To: "discussion list for B Nomic" <spoon-discuss@xxxxxxxxx>
Subject: Re: [s-d] [s-b] Minsky, Inc: the public-access contract-programmable counter machine!
From: Taral <taralx@xxxxxxxxx>
Date: Thu, 30 Oct 2008 13:07:35 -0700
In-reply-to: <0C1A3C2A-6955-4318-BA30-C84F8AFBFF2F@xxxxxxxxx>
References: <55b258c20810291848r5370a305hc102d052d5068254@xxxxxxxxxxxxxx> <44e5a2650810291931g741b17f6m510108c4dc46e055@xxxxxxxxxxxxxx> <0C1A3C2A-6955-4318-BA30-C84F8AFBFF2F@xxxxxxxxx>

On Thu, Oct 30, 2008 at 6:47 AM, Elliott Hird
<penguinofthegods@xxxxxxxxxxxxxx> wrote:
> Timed actions are Turing Complete, I believe. This facilitates that.
>
> Minsky, Inc. is useful if you want someone to resign the MoT, I guess.

Add a rule requiring that timed actions be accompanied with termination proofs?

-- 
Taral <taralx@xxxxxxxxx>
"Please let me know if there's any further trouble I can give you."
    -- Unknown
_______________________________________________
spoon-discuss mailing list
spoon-discuss@xxxxxxxxx
http://lists.ellipsis.cx/mailman/listinfo/spoon-discuss

References:
- Re: [s-d] [s-b] Minsky, Inc: the public-access contract-programmable counter machine!
  - From: Jamie Dallaire
- Re: [s-d] [s-b] Minsky, Inc: the public-access contract-programmable counter machine!
  - From: Elliott Hird

Prev by Date: Re: [s-d] [s-b] Minsky, Inc: the public-access contract-programmable counter machine!
Next by Date: Re: [s-d] [s-b] Ministry of Questions
Previous by thread: Re: [s-d] [s-b] Minsky, Inc: the public-access contract-programmable counter machine!
Next by thread: Re: [s-d] [s-b] Minsky, Inc: the public-access contract-programmable counter machine!
Index(es):
- Date
- Thread