Truth, Proof and Infinity A Theory of Constructive Reasoning / by 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. However, the meaning of the terms ̀construction' and ̀proof' has never been adequately explained (alt...

Full description

Saved in:

Bibliographic Details
Main Author:	Fletcher, P. (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands : Imprint: Springer, 1998.
Edition:	1st ed. 1998.
Series:	Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 276 Springer eBook Collection.
Subjects:	Logic. Mathematical logic. Computers. Philosophy and science. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

‌

Click to view e-book

Online

Holdings details from Online
Call Number:	E-Book
Status:	Available

Truth, Proof and Infinity A Theory of Constructive Reasoning / by P. Fletcher.

‌

Online

Similar Items