Sentence examples for the proof itself from inspiring English sources

In short, a 17th-century French mathematician called Pierre de Fermat believed that it was impossible to find numbers that fitted a particular equation, and he left a tantalising note proclaiming that he had a proof of this fact, but he never wrote down the proof itself.

They are not standardly believed to form any part of the proof itself.

Of course, the proof itself avoids the psychological casting which this explanation has given it.

The proof itself is presented in Section "Proof of Theorem 1".

The proof itself is written as a sort of one line argument.

But this is not always needed, as the idea of a proof is sometimes revealed in the presentation of the proof itself.

The consistency proof itself was to be carried out using only what Hilbert called "finitary" methods.

As for the knowability proof itself, there continues to be no consensus on whether and where it goes wrong.

The tool permits the display of a search as it progresses, as well as the proof tree itself.

Arkoudas and Bringsjord (2007) argue that since there is only one correctness proof that needs to be checked, namely that of the proof checker itself, then the possibility of mistakes is significantly reduced.

Technically, this is only appropriate when the last statement of the proof is itself the proposition to be proven.