“Many computer programs of the present day are of inordinate size—many thousands of pages of closely printed text. Mathematics has no tradition of dealing with expressions on this scale.”
Tony Hoare
The Mathematics of Programming (Primary source)
In his 1985 inaugural lecture at Oxford University, Tony Hoare advocates for a mathematical foundation for programming. He highlights how mathematical methods can improve software reliability, maintenance, and safety.
More about “The Mathematics of Programming” →
“What is the central core of the subject [computer science]? What is it that distinguishes it from the separate subjects with which it is related? What is the linking thread which gathers these disparate branches into a single discipline? My answer to these questions is simple—it is the art of programming a computer.”
— Tony Hoare Primary source“There are two ways of constructing a software design: One way is to make it so simple that there are obviously no deficiencies, and the other way is to make it so complicated that there are no obvious deficiencies.”
— Tony Hoare Primary source“The price of reliability is the pursuit of the utmost simplicity.”
— Tony Hoare Primary source“A crude measure of the simplicity of an engineering tool is the length of the manual required to give a full and complete account of how to use it and avoid misusing it.”
— Tony Hoare Primary source“Today is only one day in all the days that will ever be. But what will happen in all the other days that ever come can depend on what you do today. It’s been that way all this year. It’s been that way so many times. All of this war is that way.”
— Ernest Hemingway Primary source“Love the day.”
— Ralph Waldo Emerson Primary source“I wrote my first program for a computer when I was thirteen years old.”
— Bill Gates Primary source“Every day above earth is a good day.”
— Ernest Hemingway Primary sourceComputer Programming Mathematics Scaling