Truth, Proof and Infinity: A Theory of Constructive Reasoning

By P. Fletcher

Book Overview

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,... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 9048151058
• ISBN13: 9789048151059
• Release Date: December 2010
• Publisher: Springer
• Length: 470 Pages
• Weight: 1.47 lbs.
• Dimensions: 1.0" x 6.1" x 9.2"