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“The price of reliability is the pursuit of the utmost simplicity.”
— 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“In all branches of commerce and industry, history shows dramatic reduction in the error rates when their cost is brought back from the customer to the perpetrator.”
— Tony Hoare Primary source“I may not be as strong as I think. But I know many tricks and I have resolution.”
— Ernest Hemingway Primary source“Love the day.”
— Ralph Waldo Emerson Primary source“Every day above earth is a good day.”
— Ernest Hemingway Primary source“There is always room for a man of force, and he makes room for many.”
— Ralph Waldo Emerson Primary sourceComputer Programming Mathematics Scaling