Synthese Library

Truth, Proof and Infinity

A Theory of Constructive Reasoning

Authors: Fletcher, P.

Free Preview

Buy this book

eBook $169.00
price for USA in USD
  • ISBN 978-94-017-3616-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $219.99
price for USA in USD
  • ISBN 978-0-7923-5262-4
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Softcover $219.99
price for USA in USD
  • ISBN 978-90-481-5105-9
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
About this book

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-Löf 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.

Table of contents (49 chapters)

Table of contents (49 chapters)

Buy this book

eBook $169.00
price for USA in USD
  • ISBN 978-94-017-3616-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $219.99
price for USA in USD
  • ISBN 978-0-7923-5262-4
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Softcover $219.99
price for USA in USD
  • ISBN 978-90-481-5105-9
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Loading...

Services for this Book

Bibliographic Information

Bibliographic Information
Book Title
Truth, Proof and Infinity
Book Subtitle
A Theory of Constructive Reasoning
Authors
Series Title
Synthese Library
Series Volume
276
Copyright
1998
Publisher
Springer Netherlands
Copyright Holder
Springer Science+Business Media B.V.
eBook ISBN
978-94-017-3616-9
DOI
10.1007/978-94-017-3616-9
Hardcover ISBN
978-0-7923-5262-4
Softcover ISBN
978-90-481-5105-9
Series ISSN
0166-6991
Edition Number
1
Number of Pages
X, 470
Topics