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,360
Discovery Miles 53 600
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,360 Discovery Miles 53 600 | Repayment Terms: R502 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..

Articulating Medieval Logic
Terence Parsons Hardcover R3,614 Discovery Miles 36 140
Talking About Nothing - Numbers…
Jody Azzouni Hardcover R3,160 Discovery Miles 31 600
Foundations of Logical Consequence
Colin R. Caret, Ole T. Hjortland Hardcover R4,023 Discovery Miles 40 230
Truth and Realism
Patrick Greenough, Michael P Lynch Hardcover R3,641 Discovery Miles 36 410
The Yablo Paradox - An Essay on…
Roy T. Cook Hardcover R2,703 Discovery Miles 27 030
The Construction of Logical Space
Agustin Rayo Hardcover R2,743 Discovery Miles 27 430
Frege's Conception of Logic
Patricia A. Blanchette Hardcover R2,936 Discovery Miles 29 360
Foundations without Foundationalism - A…
Stewart Shapiro Hardcover R5,225 Discovery Miles 52 250
Empiricism and Experience
Anil Gupta Hardcover R2,041 Discovery Miles 20 410
Bayesian Rationality - The probabilistic…
Mike Oaksford, Nick Chater Hardcover R5,410 Discovery Miles 54 100
Potentiality - From Dispositions to…
Barbara Vetter Hardcover R3,394 Discovery Miles 33 940
Formal Logic
Prior Hardcover R2,110 R1,287 Discovery Miles 12 870

See more

Partners