Definitions HQ

Proof (n.) does ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠not analyse an idea we already had but gives us a new one: it leads us a road we were inclined to go, but away from where we were.

A Proof (n.) can ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠be a single pattern, like a wallpaper design, with premises at one end and the proved proposition at the other.

A Proof (n.) compels ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠only in that, once I have it, I go this way and refuse every other; against a refuser, all I have left is why, don't you see — and that is no argument.

A Proof (n.) does ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠not serve as an experiment; it serves as the picture of one, as a film of marbles arranged in tens is no experiment.

A Proof (n.) can ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠feel like hocus-pocus to a child: the slanted parallelograms make a rectangle, but surely they changed their nature to do it.

A Proof (n.) fixes ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠our language: if a hundred parallelograms make a curved strip, we will say they were not accurately made.

A Proof (n.) is ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠a road laid by the footsteps of those who walked it, and traffic now runs on it for various purposes.

A Proof (n.) must ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠be perspicuous — a structure we can reproduce with certainty, though a sloppy drawing can still be an exact proof.

A Proof (n.) ought ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠to show not only that it is so, but that it has to be so.

A Proof (n.) stops ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠being one when it stops being a paradigm; any calculus that serves as a paradigm will do.

A Proof (n.) shows ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠not only that it is so but how: how 13 and 14 yield 27.

A Proof (n.) begins ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠as a kind of experiment and is then taken simply as a picture.

A Proof (n.) defines ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠what correctly counting together means, a yardstick for real changes, not a report that 200 apples plus 200 made 400.

A Proof (n.) is ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠most likely, in its verbal result, to delude us with a myth.

A Proof (n.) is ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠where I have won through to a decision, placed in a system of decisions.

A Proof (n.) changes ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠our concepts: it makes new connections and creates the concept of them — they do not exist until it makes them.

A Proof (n.) is ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠accepted not because its result comes out once, or often, but because it is the end of this route.

A Proof (n.) is ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠not foundations plus rules of inference but a new building, though in a recognisable style — a new paradigm.

A Proof (n.) is ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠not a movement but a route.

A Proof (n.) proves ⁠​‌​​​‌​​​‌​‌‌​​​​‌​‌​​‌‌​‌​​‌​​​​​‌‌​​‌​​​‌‌​‌‌​⁠by itself, not by something behind it; it is the procedure plain to view.