The Quotation IndexThe trusted reference for quotations and the sources behind them
Tag Tag Mathematics
One reason why mathematics enjoys special esteem, above all other sciences, is that its propositions are absolutely certain and indisputable, while those of all other sciences are to some extent debatable and in constant danger of being overthrown by newly discovered facts.
Albert Einstein Ideas and Opinions · 1954

Quotes

“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, 1985 · Primary source

Works

Tony Hoare · 1985
The Mathematics of Programming

Hoare's Oxford inaugural lecture, arguing that programming is a mathematical activity and that mathematical methods can ensure programs are correct and reliable.

Read summary·Explore 1 quotes

Related Tags

Scale 1 Complexity 9 Software 2 Verification 2 Certainty 4 Proof 1 Empirical science 1 Revision 2 Program correctness 2 Formal methods 5 Inaugural lecture 2 Reliability 12