From: Ben Goertzel (email@example.com)
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
would have accepted P"
This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:49 MDT