Book
Being Constructive in Doing Mathematics
| العنوان: | Being Constructive in Doing Mathematics |
|---|---|
| المؤلفون: | Havea, Robin S., Paea, Sione |
| المساهمون: | 'Otunuku, Mo'ale, Johansson-Fua, Seu'ula, Toumu'a, Ruth |
| بيانات النشر: | Institute of Education, USP |
| سنة النشر: | 2020 |
| المجموعة: | The University of South Pacific: USP Electronic Research Repository |
| مصطلحات موضوعية: | L Education (General) |
| الوصف: | 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. |
| نوع الوثيقة: | book part |
| وصف الملف: | application/pdf |
| اللغة: | English |
| Relation: | http://repository.usp.ac.fj/12282/1/Chapter_5_-_Being_Constructive_in_Doing_Mathematics_Robin_Havea,_Sione_Paea.pdf; 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 |
| الاتاحة: | http://repository.usp.ac.fj/12282/ http://repository.usp.ac.fj/12282/1/Chapter_5_-_Being_Constructive_in_Doing_Mathematics_Robin_Havea,_Sione_Paea.pdf https://www.usp.ac.fj/index.php?id=23973 |
| رقم الانضمام: | edsbas.555EC132 |
| قاعدة البيانات: | BASE |
| الوصف غير متاح. |