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 throw an arsenal of theory at it. (..) Rather than looking for “general frameworks,” I look for easy special cases and simple sanity checks, for stuff I can try out using high-school algebra or maybe a five-line computer program, just to get a feel for the problem.
In a similar vein, there's the Halmos quote which has been heavily upvoted in the November Rationality Quotes:
A good stack
... (read 379 more words →)
Will there be a way to merge accounts?