Truth, proof, and infinity : a theory of constructions and contructive reasoning /

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 never been adequately explained (alt...

Full description

Bibliographic Details

Main Author:	Fletcher, Peter, 1939- (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Science+Business Media, [1998]
Series:	Synthese library ; v. 276.
Subjects:	Mathematics > Philosophy. Arithmetic. Mathematical analysis. Electronic books.
Online Access:	Connect to the full text of this electronic book