USP Electronic Research Repository

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

[img] PDF - Published Version
Restricted to Repository staff only

Download (930kB)


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

Actions (login required)

View Item View Item

Document Downloads

More statistics for this item...