Constructive Methods in Mathematics
Type of content
Conference Contributions - Other
UC permalink
Publisher's DOI/URI
Thesis discipline
Degree name
Publisher
University of Canterbury. Mathematics and Statistics
Journal Title
Journal ISSN
Volume Title
Language
Date
2012
Authors
McKubre-Jordens, M.
Abstract
The point of using constructive methods in mathematics is to explicitly exhibit any object or algorithm that the mathematician claims exists; so constructive proof provides, in principle, a mechanical method. Loosely speaking, one replaces the absolute notion of truth in mathematics, with (algorithmic) provability.
Description
Citation
McKubre-Jordens, M. (2012) Constructive Methods in Mathematics. Westport, New Zealand: Construmath South 2012: Applications of Non-Classical Logic, 26-28 Jan 2012. CDMTCS Research Report Series, 420, 19-20.
Keywords
constructive methods, mathematics
Ngā upoko tukutuku/Māori subject headings
ANZSRC fields of research
Field of Research::01 - Mathematical Sciences