0
Your cart

Your cart is empty

Books > Humanities > Philosophy > Topics in philosophy > Logic

Buy Now

Truth, Proof and Infinity - A Theory of Constructive Reasoning (Hardcover, 1998 ed.) Loot Price: R5,638
Discovery Miles 56 380
Truth, Proof and Infinity - A Theory of Constructive Reasoning (Hardcover, 1998 ed.): P. Fletcher

Truth, Proof and Infinity - A Theory of Constructive Reasoning (Hardcover, 1998 ed.)

P. Fletcher

Series: Synthese Library, 276

 (sign in to rate)
Loot Price R5,638 Discovery Miles 56 380 | Repayment Terms: R528 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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 (although Kriesel, Goodman and Martin-Loef have attempted axiomatisations). This monograph develops precise (though not wholly formal) definitions of construction and proof, and describes the algorithmic substructure underlying intuitionistic logic. Interpretations of Heyting arithmetic and constructive analysis are given. The philosophical basis of constructivism is explored thoroughly in Part I. The author seeks to answer objections from platonists and to reconcile his position with the central insights of Hilbert's formalism and logic. Audience: Philosophers of mathematics and logicians, both academic and graduate students, particularly those interested in Brouwer and Hilbert; theoretical computer scientists interested in the foundations of functional programming languages and program correctness calculi.

General

Imprint: Springer
Country of origin: Netherlands
Series: Synthese Library, 276
Release date: October 1998
First published: 1998
Authors: P. Fletcher
Dimensions: 234 x 156 x 26mm (L x W x T)
Format: Hardcover
Pages: 470
Edition: 1998 ed.
ISBN-13: 978-0-7923-5262-4
Categories: Books > Humanities > Philosophy > Topics in philosophy > Logic
Books > Philosophy > Topics in philosophy > Logic
Promotions
LSN: 0-7923-5262-9
Barcode: 9780792352624

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Truth and Realism
Patrick Greenough, Michael P Lynch Hardcover R3,863 Discovery Miles 38 630
Foundations without Foundationalism - A…
Stewart Shapiro Hardcover R5,547 Discovery Miles 55 470
Bayesian Rationality - The probabilistic…
Mike Oaksford, Nick Chater Hardcover R5,743 Discovery Miles 57 430
Hume's Problem - Induction and the…
Colin Howson Hardcover R3,738 Discovery Miles 37 380
In Contradiction
Graham Priest Hardcover R4,957 Discovery Miles 49 570
Logic on the Track of Social Change
David Braybrooke, Bryson Brown, … Hardcover R1,576 Discovery Miles 15 760
An Essay Concerning Human Understanding
John Locke Paperback R842 Discovery Miles 8 420
An Essay Concerning Human Understanding
John Locke Paperback R764 Discovery Miles 7 640
An Essay Concerning Human Understanding…
John Locke Paperback R804 Discovery Miles 8 040
An Essay Concerning Human Understanding
John Locke Paperback R651 Discovery Miles 6 510
An Essay Concerning Human Understanding
John Locke Paperback R766 Discovery Miles 7 660
A Grammar of Logic and Intellectual…
Alexander Jamieson Paperback R572 Discovery Miles 5 720

See more

Partners