E-mail and the unexpected power of interaction
The LFKN protocol, interactive proofs, complexity classes, relativized separation, arithmetization of Boolean formulas, program verification, multiple provers, circuit reductions and publishable proofs, and space-bounded interactive proofs are discussed. An examination is also made of e-mail ethics.<<ETX>>