The Quotation Index — Search results

Search Search Results discussing the limits of formal methods

1 results across authors, quotes, works, categories, subcategories & tags

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

Book of the week

Ideas and Opinions

Essay collection · 1954

A collection of non-technical writings by Albert Einstein on science, religion, ethics, politics, pacifism and education, drawn from across his career.

✓ Verified primary source

Read summary·Explore 13 quotes

Author of the month

Marie Curie

Physicist and chemist · 1867-1934

Pioneering researcher on radioactivity who discovered polonium and radium and won two Nobel Prizes.

View author·Explore all 8 quotes

Take a leap

A random author
A random source
Surprise me with a quotation