What do you think?
Rate this book


368 pages, Hardcover
First published May 6, 2025
It is perfectly possible, indeed very common as all mathematicians know, to agree with and fail to fault the logic of every step in a sequence offered as a mathematical proof without experiencing any sense of conviction. And without such an experience, without a felt sense and a correlative understanding that the reasoning achieves what it is supposed to achieve, a sequence of steps fails to be a proof; it fails to be a means of persuading anybody of anything and instead remains as a formally correct but inert string of logical moves.
Brian Rotman Ad Infinitum... The Ghost in Turing's Machine: Taking God Out of Mathematics and Putting the Body Back In. An Essay in Corporeal Semiotics
Some will think that a mathematical argument either is a proof or is not a proof. In the context of elementary analysis I disagree, and believe instead that the proper role of a proof is to carry reasonable conviction to one's intended audience. It seems to me that mathematical rigour is like clothing: in its style ought to suit the occasion, and it diminishes comfort and restricts freedom of movement if it is either too loose or too tight.
George F Simmons Differential Equations with Applications and Historical Notes - International Economy Edition