Open access research
publication repository

Proof Technology in Mathematics Research and Teaching [r-libre/1963]

Morneau-Guérin, Frédéric (2020). Proof Technology in Mathematics Research and Teaching [review of the book from Hanna, Gila; Reid, David A., & de Villiers, Michael]. MAA Reviews.

File(s) available for this item:
[img]  PDF - Proof Technology in Mathematics Research and Teaching.pdf
Content : Draft Version
License : Creative Commons Attribution.
Item Type: Book Reviews
Refereed: Yes
Status: Published
Abstract: The bedrock of mathematical activity undoubtedly the concept of proof. Abstract and conceptual in nature, they are “sometimes thought to be the aspect of mathematical activity most resistant to the influence of technological change” – the reality, however, is quite different. In recent decades, development of tools such as Automated Theorem Provers has changed the work of mathematicians to the point of them questioning the very notion of mathematical demonstration. However, there is relatively little of this technological upheaval reflected in mathematics education. “Proof Technology in Mathematics Research and Teaching” is intended for specialists in mathematics education with an interest in computer science advances as well as for researchers in the field of automated reasoning with an interest in the pedagogical and didactic implications of their work. This volume provides a valuable contribution to mathematics education by initiating a process of in-depth reflection on the educational value of new technological tools such automatic theorem provers and dynamic geometric environments. Considering the wide range of subjects covered, few people will read this book from cover to cover with an unfaltering enthusiasm. There is no doubt however that there is something here to satisfy everyone’s mathematical appetite.
Additional Information: Permission to make copies of individual articles, in paper or electronic form, including posting on personal and class web pages, for educational and scientific use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear the following copyright notice: [Copyright the Mathematical Association of America 2020. All rights reserved.] Abstracting with credit is permitted. To copy otherwise or to republish, requires specific permission of the MAA's Director of Publications Operations and possibly a fee.
Official URL: https://www.maa.org/press/maa-reviews/proof-techno...
Depositor: Morneau-Guérin, Frédéric
Owner / Manager: Frédéric Morneau-Guérin
Deposited: 05 May 2020 20:15
Last Modified: 25 May 2020 11:31

Actions (login required)