Concept

Proof theory

Overview

branch of mathematical logic

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Found by search and not yet checked by a person; they may only mention the idea in passing.

In this early stage proofs should not be given with pedantic fullness; definitely fallacious methods, such as that of superposition, should be rigidly excluded from the first, but where, without such methods, the proof would be very difficult, the result should be rendered acceptable by arguments and illustrations which are explicitly contrasted with demonstrations.
Bertrand Russell, Mysticism and Logic and Other Essays
The author is tied to Proof theory in the knowledge graph.
Read the chapter · Open in the reader
We shall now for the present take our leave of this portion of our inquiry, and proceed to the peculiar problem of the Science of Logic, namely, how the assertions, of which we have analysed the import, are proved or disproved; such of them, at least, as, not being amenable to direct consciousness or intuition, are appropriate subjects of proof. We say of a fact or statement, that it is proved, when we believe its…
John Stuart Mill, A System of Logic
States what Proof theory is.
Read the chapter · Open in the reader
Any such select set is called the set of postulates, or premises, from which the reasoning proceeds. The reasoning is nothing else than the exhibition of the whole pattern of general conditions involved in the pattern derived from the selected postulates.
Alfred North Whitehead, Science and the modern world
States what Proof theory is.
Read the chapter · Open in the reader