Description

December 7th 2010 | Paperback | PDF, EPUB, FB2, DjVu, talking book, mp3, ZIP | 470 pages | ISBN: 9789048151059 | 9.39 Mb

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 proofMoreConstructive 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-Lof 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 Hilberts 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.

Related Archive Books

- 18.09.2014The One Law
- 27.06.2015Psalm Prayers for Seniors

Related Books

- Scrisoare către un tânăr arhitect
- 13.01.2013Heroines and History. Representations of Madeleine de Verchères and Laura Secord
- 26.12.2013Die Europaische Industriegesellschaft: Voraussetzungen Und Grundstrukturen
- 03.09.2012Apology for Wonder
- 20.12.2014How Pictures Complete Us: The Beautiful, the Sublime, and the Divine
- 20.11.2014Love Me Tender
- 27.04.2011What Are Girlfriends For?
- 27.09.2014Conflicting Interests: Readings in Social Problems and Inequality
- 18.04.2013Centering And The Art Of Intimacy: A New Psychology Of Close Relationships
- 17.08.2011A Textbook of Inorganic Chemistry for JEE Main & Advanced and Other Engineering Entrances

Comments