| "Cyclic proofs of program termination in separation logic" | Proof and Other Dilemmas: Mathematics and Philosophy |
|---|---|
| The quote is Einstein's answer to the question: "How can it be that mathematics, being after all a product of human thought which is independent of experience, is so admirably appropriate to the objects of reality? "The method of 'postulating' what we want has many advantages; they are the same as the advantages of theft over honest toil | "The Three Crises in Mathematics: Logicism, Intuitionism, and Formalism" |
| The mathematical study of change, motion, growth or decay is calculus | Heath, Thomas Little 1981 [originally published 1921] |
|---|---|
| , , September 27, 2010 | 16: "Focused problem solving in math and science is often more effortful than focused-mode thinking involving language and people |
| is simply the study of abstract structures, or formal patterns of connectedness | The science of space, number, quantity, and arrangement, whose methods involve logical reasoning and usually the use of symbolic notation, and which includes geometry, arithmetic, algebra, and analysis |
|---|---|
| "Abstract representations of numbers in the animal and human brain" | Shasha, Dennis Elliot; Lazere, Cathy A |
"Images of Mathematics Held by University Teachers of Mathematical Sciences".
24