摘要：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.
其他摘要：From the historical construction of the deductive form of mathematics, we argue that this has always been accompanied by another kind of mathematical presentation that has privileged “doing”, assuming the appearance of description, procedures or recipes. We perceive the impossibility of a “pure” form (purely deductive or purely procedural), and therefore, a mutual dependence between the two forms of presentation. However, in the presence of a power configuration that favored the intellect, deductive mathematics overlapped procedural mathematics, placing the latter as discredited knowledge. From the perspective of the History of Sciences, this text indicates to the mathematics teacher the importance of reconciling the two forms of presentation. In the 20th century, computing again sheds light on procedural mathematics, requiring new arrangements in the presentation of mathematics.
关键词：matemática dedutiva;matemática procedimental;história da ciência
其他关键词：deductive mathematics;procedural mathematics;history of science
