Tell your friends about this item:
Truth, Proof and Infinity: A Theory of Constructive Reasoning - Synthese Library P. Fletcher 1998 edition
Truth, Proof and Infinity: A Theory of Constructive Reasoning - Synthese Library
P. Fletcher
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.
470 pages, biography