kgalias

After reading Luke's interview with Scott Aaronson, I've decided to come back to an issue that's been bugging me. Specifically, in the answer to Luke's question about object-level tactics, Scott says (under 3): > Sometimes, when you set out to prove some mathematical conjecture, your first instinct is just to...