This reminds me a bit of a proof system with a prover and a verifier. The prover tries to create proofs of a proposition, the verifier attempts to poke holes in the proof. Or something like that. It’s been a while since I read about them.
This reminds me a bit of a proof system with a prover and a verifier. The prover tries to create proofs of a proposition, the verifier attempts to poke holes in the proof. Or something like that. It’s been a while since I read about them.