Comment Comment by j2kun How deep do you go? Do you talk about P and NP? Or deeper, like interactive proofs or complexity-based definitions of randomness? parent j2kun 11 years ago