Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents(49 chapters)
-
Philosophical Foundations
About this book
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.
Authors and Affiliations
-
Department of Mathematics, Keele University, UK
Peter Fletcher
Bibliographic Information
Book Title: Truth, Proof and Infinity
Book Subtitle: A Theory of Constructive Reasoning
Authors: Peter Fletcher
Series Title: Synthese Library
DOI: https://doi.org/10.1007/978-94-017-3616-9
Publisher: Springer Dordrecht
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media B.V. 1998
Hardcover ISBN: 978-0-7923-5262-4Published: 31 October 1998
Softcover ISBN: 978-90-481-5105-9Published: 07 December 2010
eBook ISBN: 978-94-017-3616-9Published: 29 June 2013
Series ISSN: 0166-6991
Series E-ISSN: 2542-8292
Edition Number: 1
Number of Pages: X, 470
Topics: Logic, Mathematical Logic and Foundations, Theory of Computation, Philosophy of Science