Constructive Methods in Mathematics (2012)
AuthorsMcKubre-Jordens, M.show all
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.
CitationMcKubre-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.
This citation is automatically generated and may be unreliable. Use as a guide only.