A single human brain has about a hundred million nerve cells... and a computer program that throws light on the mind/brain problem will have to incorporate the deepest insights of biologists, nerve scientists, psychologists, physiologists, linguists, social scientists, and even… — Tony Hoare Copy Share Image
Programmers are always surrounded by complexity; we cannot avoid it… If our basic tool, the language in which we design and code our programs,… — Tony Hoare Copy Share
The job of formal methods is to elucidate the assumptions upon which formal correctness depends. — Tony Hoare Copy Share
A single human brain has about a hundred million nerve cells... and a computer program that throws light on the mind/brain problem will have… — Tony Hoare Copy Share
I don't know what the language of the year 2000 will look like, but I know it will be called Fortran. — Tony Hoare Copy Share
You cannot teach beginners top-down programming, because they don't know which end is up. — Tony Hoare Copy Share
An ultimate joint challenge for the biological and the computational sciences is the understanding of the mechanisms of the human brain, and its relationship… — Tony Hoare Copy Share
What is the central core of the subject [computer science]? What is it that distinguishes it from the separate subjects with which it is… — Tony Hoare Copy Share
The real value of tests is not that they detect bugs in the code but that they detect inadequacies in the methods, concentration, and… — Tony Hoare Copy Share
Here is a language so far ahead of its time, that it was not only an improvement on its predecessors, but also on nearly… — Tony Hoare Copy Share
I call it my billion-dollar mistake. It was the invention of the null reference in 1965. — Tony Hoare Copy Share
It is easy to predict that some of the discoveries of research directed towards Grand Challenges - but only the most unexpected ones, and… — Tony Hoare Copy Share
There are two methods in software design. One is to make the program so simple, there are obviously no errors. The other is to… — Tony Hoare Copy Share
