“Formal mathematics is nature's way of letting you know how sloppyyour mathematics is.”
Leslie Lamport
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
-
Working on it...
-
Working on it...
-
Working on it...
-
Working on it...
Similar quotes
“Do you know what the mathematical expression is for longing? ... The negative numbers. The formalization of the feeling that you are missing something.”
Peter Høeg
Smilla's Sense of Snow
“Why nature is mathematical is, again, a mystery.”
Richard Feynman
“A new field of science was emerging: mathematical cognition, or the scientific inquiry into how the human brain gives rise to mathematics... the transition from mathematics to neuropsychology.”
Stanislas Dehaene
“But in my opinion, all things in nature occur mathematically.”
Rene Decartes
“I would say, if you like, that the party is like an out-moded mathematics...that is to say, the mathematics of Euclid. We need to invent a non-Euclidian mathematics with respect to political discipline.”
Alain Badiou
The Concept of Model: An Introduction to the Materialist Epistemology of Mathematics