From: Ben Goertzel (ben@goertzel.org)
Date: Tue Oct 19 2004 - 21:51:40 MDT
> Doesn't it just have to prove that:
>
> "If the proof verifier accepts P, then either P or the old proof-verifier
> would have accepted P"
I phrased that badly; I meant:
"If the proof verifier accepts P, then either P is true or the old
proof-verifier
would have accepted P"
ben
This archive was generated by hypermail 2.1.5 : Tue Feb 21 2006 - 04:22:47 MST