Sobre conjeturas y demostraciones en la enseñanza de las matemáticas

En este trabajo establecemos la siguiente hipótesis: el sistema conjeturas-pruebas-refutaciones constituye la lógica del descubrimiento matemático escolar; bien entendido que en las matemáticas de la enseñanza secundaria el énfasis no puede situarse en la frontera móvil que Lakatos (1978) ha señalado en el trabajo de los matemáticos profesionales, esto es, la frontera demostraciones/refutaciones sino más bien en la frontera anterior, conjeturas/demostraciones. Dicho sistema supera didácticamente al enfoque unidimensional de demostración como prueba formalizada, enfoque tradicional del estilo deductivista en la enseñanza de las matemáticas. Esta hipótesis surge del análisis de las dificultades epistemológicas, cognitivas y didácticas del concepto de demostración (en particular, de la demostración por reducción al absurdo) y de la revisión de algunos estudios experimentales sobre la práctica escolar de la demostración.