Some stuff about interactive proofs and arthur-merlin proofs and PSPACE and things in complexity theory. Proofs so hardcore they don't even have time to present them in class except in watered-down form. Yikes. Rudich went off on a long philosophical tangent at the end of class. I still don't see a clear distinction between "behaviorism" and "materialism" and "mechanism"... all seem like rejections any funny dualistic goings-on. What does it even mean to ask for a mechanistic explanation of true epiphenomenal consciousness?
Apart from that, wrote and played with a little bit of audio synth code again. My life is so exciting sometimes.