No proof

I'm not against mathemtatical rigour, but I like this idea from Joel. A BFA in programming sounds a lot more appropriate for most real-world programmers than learning about big-O notation. Anyway, it sounds like more fun.