Progress Is Possible Only If We Train

Progress Is Possible Only If We Train Ourselves To Think About Programs Without Thinking Of Them As Pieces Of Executable Code.

Much Of The Excitement We Get Out Of Our Work Is That We Don't Really Know What We Are Doing.

Teaching To Unsuspecting Youngsters The Effective Use Of Formal Methods Is One Of The Joys Of Life Because It Is So Extremely Rewarding.

Many Mathematicians Derive Part Of Their Self-esteem By Feeling Themselves The Proud Heirs Of A Long Tradition Of Rational Thinking; I Am Afraid They Idealize Their Cultural Ancestors.

Don't Compete With Me: Firstly, I Have More Experience, And Secondly, I Have Chosen The Weapons.