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

Re: [lojban] valfendi algorithm

To: lojban-list@lojban.org
Subject: Re: [lojban] valfendi algorithm
From: Robin Lee Powell <rlpowell@digitalkingdom.org>
Date: Thu, 23 Jan 2003 12:13:32 -0800
In-reply-to: <200301222303.45852.phma@webjockey.net>
Mail-followup-to: lojban-list@lojban.org
References: <200301222303.45852.phma@webjockey.net>
User-agent: Mutt/1.5.3i

On Wed, Jan 22, 2003 at 11:03:45PM -0500, Pierre Abbat wrote:
> This is hopefully complete and correct, except for handling ZOI and
> FAhO, but has not been tested or proven. I have some partially written
> proofs but have to finish writing them.

Hoo-boy.

What, exactly, do the proofs demonstrate?

I hereby offer to attempt to debug any reasonably rigorous proof you
come up with.

-Robin

-- 
http://www.digitalkingdom.org/~rlpowell/    ***    I'm a *male* Robin.
.i le pamoi velru'e zo'u crepu le plibu taxfu
.i le remoi velru'e zo'u mo .i le cimoi velru'e zo'u ba'e prali .uisai
http://www.lojban.org/   ***   to sa'a cu'u lei pibyta'u cridrnoma toi

Follow-Ups:
- Re: [lojban] Re: valfendi algorithm
  - From: Pierre Abbat <phma@webjockey.net>

References:
- [lojban] valfendi algorithm
  - From: Pierre Abbat <phma@webjockey.net>

Prev by Date: Re: [lojban] Re: loi preti be fi lo nincli zo'u tu'e
Next by Date: Re: [lojban] Re: valfendi algorithm
Previous by thread: [lojban] valfendi algorithm
Next by thread: Re: [lojban] Re: valfendi algorithm
Index(es):
- Date
- Thread