[E-Lang] Irreversible delegation, was: draft statement of con sensus

Ben Laurie ben@algroup.co.uk
Fri, 09 Feb 2001 23:35:27 +0000

"Mark S. Miller" wrote:
> At 02:19 PM Friday 2/9/01, Ben Laurie wrote:
> >> There exist both gifts and exchanges. Computationally, the problems are
> >> quite different and it is therefore useful to separate them.
> >
> >i.e. the first is trivial and the second impossible :-)
> I'll give you a buck if you prove exchange is impossible. ;)

Assuming that I do manage to prove it, how do I reliably exchange that
proof for your buck? ;->




"There is no limit to what a man can do or how far he can go if he
doesn't mind who gets the credit." - Robert Woodruff