Truth, Proof and Infinity pp 77-81 | Cite as
The Need for a Theory of Constructions
Chapter
Abstract
The principal task of this book is to provide a theory of constructions, explaining what constructions are, what we can do with them, and how they provide a foundation for predicate calculus, arithmetic and analysis. Before doing so I should explain why we need such a theory, why the informal remarks on the subject by Brouwer and Heyting are not sufficient.
Keywords
Logical Constant Proof Tree Existential Quantification Principal Task Divine Revelation
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
Copyright information
© Springer Science+Business Media Dordrecht 1998