Opening book details…
Can I read Truth, Proof and Infinity : a Theory of Constructions and Constructive Reasoning on EtoBox?
Truth, Proof and Infinity : a Theory of Constructions and Constructive Reasoning by Peter Fletcher (auth.) is a philosophy book available to read on EtoBox.
What is Truth, Proof and Infinity : a Theory of Constructions and Constructive Reasoning about?
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 substructur
Who reads Truth, Proof and Infinity : a Theory of Constructions and Constructive Reasoning?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Peter Fletcher (auth.)
- Publisher
- Springer Netherlands : Imprint : Springer
- Published
- 1998
- Language
- EN
- ISBN
- 9789401736169
- Category
- philosophy
- Subjects
- Mathematics, Computer Science, Science
- Updated
- 2026-03-25
More by Peter Fletcher (auth.)
Browse all works by Peter Fletcher (auth.)
Similar books
- Mathematical Reasoning : Writing and Proof, Version 2.1 — Ted Sundstrom; Open Textbook Library (2014)
- Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics — Müller, Gert H.; Kister, Jane E.; Dalen, Dirk; Troelstra, Anne S. (1987)
- Roads to Infinity : The Mathematics of Truth and Proof — John C. H Stillwell (2010)
- Ways of Proof Theory — Ralf Schindler (2010)
- Proof and Falsity : A Logical Investigation — Kürbis, Nils (2019)
- Type Theory and Formal Proof : an Introduction — Geuvers, Jan Herman; Nederpelt, R. P (2014)
