Truth, Proof and Infinity A Theory of Constructive Reasoning

SKU: 2250555943_2

Brand: SPRINGER PG

Product Description

Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it. However, the meaning of the terms construction' and proof' has...