xzibit-yo-dawg - Yo Dawg, I heard you like proofs involving diagonalization So I put a lemma in your proof to prove that your proof-system is incomplete

Yo Dawg, I heard you like proofs involving diagonalization So I put a lemma in your proof to prove that your proof-system is incomplete - xzibit-yo-dawg

Comments