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 (908Kb)


    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 12:06
    Last Modified: 23 Sep 2020 12:06

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...