Duas Matemáticas: percurso e co-construção das formas dedutiva e procedimental

A partir da história de construção da forma dedutiva da matemática, argumentamos que esta sempre foi acompanhada por uma outra forma de apresentação matemática que privilegiou o “fazer”, assumindo a aparência de descrição, procedimentos ou receitas.  Percebemos a impossibilidade de uma forma “pura” (puramente dedutiva ou puramente procedimental), e portanto, uma mútua dependência entre as duas formas de apresentação. Porém, na presença de uma configuração de poder que privilegiou o intelecto, a matemática dedutiva se sobrepôs à matemática procedural, situando esta última como um saber desprestigiado. Sob a perspectiva da História das Ciências, este texto indica ao professor de matemática a importância de conciliar as duas formas de apresentação. No século XX, a computação novamente traz luz à matemática procedimental, exigindo novos arranjos nas formas de apresentação das matemáticas.