Metodologia
Imre Lakatos (Matemáticas, ciencia y epistemología, 1978, Madrid, Alianza) lo plantea como una regla del razonar (p. 106):Saca conclusiones de tu conjetura, una tras otra, suponiendo que la conjetura es verdadera. Si llegas a una conclusión falsa, entonces la conjetura era falsa. Si llegas a una conclusión indudablementeverdadera, tu conjetura quizá haya sido verdadera. En este caso, invierte el proceso, trabaja hacia atrás, e intenta deducir tu conjetura original por el camino inverso, desde la verdad indudablehasta la conjetura dudosa. Si tienes éxito, habrás probado tu conjetura.
La primera parte es el análisis, la segunda la síntesis. Este método ha sido llamado tambiénmétodo progresivo-regresivo porrazones obvias. En la parte del análisis se avanza en la búsqueda de una verdad indudable a través de deducciones sucesivas; en la de síntesis se regresa el proceso y se redacta la demostración. La partedel análisis es la parte del descubrimiento y no es necesario exhibirla en la demostración (de hecho nunca se muestra en los textos de matemáticas pues se considera –con razón—no formal y una digresiónirrelevante).
Pero, si bien la parte del análisis es irrelevante para la demostración, sí que es muy relevante para que el aprendiz se apropie de los modos de razonamiento aprobados por lapráctica (del razonar) y que son un legado cultural de nuestros antepasados. (Ahora que, bueno, posiblemente al aprendiz no le interese aprender a razonar y lo que quiere es más bien que le digas lo que...
Regístrate para leer el documento completo.