In some posts on this blog I’ve already told you a little about what I research on theorem proofs (My research: baby walkers for theorem demonstrations ,Demonstrate theorems and earn chocolates).
However, Science and Scientists in Brazil need to make a continuous effort to show themselves present in a society in which the Minister of Education considers Education a right reserved for a few (https://g1.globo.com/educacao/noticia/2021/08/10/ministro-da-educacao-defende-que-universidade-seja-para-poucos.ghtml).
In this perspective, I would like to present the educational product resulting from team work (with my wife and mother) in the pre-acceleration program Ocean Novos Negócios (N2), in partnership between Samsung and USP, UNICAMP and State University of Amazons.
We entered this program with the objective of “giving shape” to this weird research that I carry out in my doctorate.
After many comings and goings, heated discussions, destroyed hypotheses and fieldwork, we arrived at a minimally functional organization 😛
Drag X (that’s the name of the project) is an initiative with the purpose of making the process of learning to write proofs of theorems in mathematics more pleasant (or less painful).
Simply put, it is software with the role of helping the acquisition of writing mathematical demonstrations.
Thus, as the user practices the proofs by dragging and dropping the blocks, there is a potential for learning the words, arguments and structures that allow the elaboration of a mathematical proof.
The software focuses on the person being able to demonstrate from the mathematical knowledge they have on that topic and the use of logical reasoning on top of the available blocks.
Curious and would you like to try it?
In this link you can find all the demos available in this software: https://scratch.mit.edu/users/arrasta-o-x/projects/
If you want to delve a little deeper into the subject of demonstrations, we have a free online course that incorporates demonstration practices with theoretical discussions on the topic held in this blog: https://classroom.google.com/c/NDU4NTI2MDEwOTU5?cjc=opuboss
Cover image adapted from ohlenore.tumblr.com/post/60878390400