Proof and Other Dilemmas: Mathematics and Philosophy | " This question was inspired by 's paper "" |
---|---|
See, for example, Raymond L | "Images of Mathematics Held by University Teachers of Mathematical Sciences" |
Brussels: IREG Observatory on Academic Ranking and Excellence.
"The Three Crises in Mathematics: Logicism, Intuitionism, and Formalism" | "The Unreasonable Effectiveness of Mathematics in the Natural Sciences" |
---|---|
"Cyclic proofs of program termination in separation logic" | "The Feynman Integral and Feynman's Operational Calculus" |
Both senses can be found in Plato.
Wilder, Evolution of Mathematical Concepts; an Elementary Study, passim• " This question was inspired by Eugene Wigner's paper "The Unreasonable Effectiveness of Mathematics in the Natural Sciences" | |
---|---|
Lion Hunting and Other Mathematical Pursuits: A Collection of Mathematics, Verse, and Stories by the Late Ralph P | This may be because humans haven't evolved over the millennia to manipulate mathematical ideas, which are frequently more abstractly encrypted than those of conventional language |
" in his History of Western Philosophy• Dehaene, Stanislas; Dehaene-Lambertz, Ghislaine; Cohen, Laurent Aug 1998.