Being Constructive in Doing Mathematics

Havea, Robin S. and Paea, Sione (2020) Being Constructive in Doing Mathematics. In: It takes an Island and an Ocean. Institute of Education, USP, Kingdom of Tonga, pp. 63-75. ISBN 978-982-9173-54-6

PDF - Published Version Restricted to Repository staff only Download (930kB)

Abstract

The traditional method of doing mathematics is primarily based on classical logic. By doing mathematics constructively, we mean doing mathematics using intuitionistic logic which can be seen as a generalisation of classical logic. Carefully selected examples are used to demonstrate the notion of constructivity in mathematics. The emphasis lies in the importance of the computational content of mathematics.

Item Type:	Book Chapter
Subjects:	L Education > L Education (General)
Divisions:	Faculty of Science, Technology and Environment (FSTE) > School of Computing, Information and Mathematical Sciences Faculty of Arts, Law and Education (FALE) > Institute of Education
Depositing User:	Afuafu Kautoke
Date Deposited:	23 Sep 2020 00:06
Last Modified:	23 Sep 2020 00:06
URI:	http://repository.usp.ac.fj/id/eprint/12282

UNSPECIFIED

Actions (login required)

View Item