The art of algorithm design is not just in solving problems, but in discovering new ways to think about them.
True innovation comes from the ultimate pursuit of details.
If you don't fail, you're not innovating enough.
The notion of truth is not definable in any formal system that is strong enough to include arithmetic.