Re: virus: Martyrdom

David Leeper (
Mon, 28 Oct 1996 19:22:54 -0500

Kenneth Boyd

> MutEx(Courage,Cowardice,...) // definitions
> MutEx(Self-preservation,...)
> MutEx(Martyrdom,...)
> "Self-preservation attacks Cowardice"
> Arg1AttacksArg2(Self-preservation,Cowardice)
> "Courage can use Self-preservation"
> Arg1UsableByArg2(Self-preservation,Courage)
> "Martyrdom attacks Self-preservation"
> Arg1AttacksArg2(Martyrdom,Self-preservation)
> I do not have to specify the attacks relation between Courage and
> Cowardice now, because they are in the same MutEx declaration.

I see the source of confussion now. My Attacks() is equivlent to
MutEx(), not your Attacks().

I hope you get a chance to look at my Cohesive Math page
one day. I could use feedback from an intelligent, skeptical
mind like yours.

David Leeper
Homo Deus