Re: Future truths.

From: |-|erc (gotch_at_beauty.com)
Date: 08/02/04 

Date: Mon, 02 Aug 2004 10:33:54 GMT

"|-|erc" <gotch@beauty.com> wrote in
> and x -> declare (a, x) Someone said something true, therefore they were telling the truth
>

retract that.

x -> (declare (a, x) -> speakstruth(a))

The problem lies just outside of standard mathamatics and theorem provers,
since the variables are dynamic. It could be modelled as a theorem prover
that is perpetually running and hence has a changing set of hypothesis.

Herc