Según mi experiencia, existen aproximadamente dos enfoques para enseñar a los estudiantes universitarios (norteamericanos) a escribir pruebas:
-
Los estudiantes ven las pruebas en las clases y en los libros de texto, y las pruebas se explican cuando es necesario, por ejemplo, la primera vez que el profesor muestra una prueba por inducción a un grupo de estudiantes de primer año, se puede dar alguna explicación adicional de este método de prueba. Además, a los estudiantes se les plantean periódicamente problemas consistentes en auténticas preguntas matemáticas -por supuesto, no preguntas de nivel de investigación, pero sí buenas preguntas honestas- y se les da respuesta a sus pruebas. Esto empieza desde el primer día. El tema general es que todas las matemáticas que hacen estos estudiantes se basan en pruebas, y todas las pruebas que hacen son por el bien de las matemáticas, en contraste con:
-
Los estudiantes pasan la mayor parte de sus dos primeros años haciendo cálculos. Hacia el final de este periodo toman un curso cuyo objetivo principal es enseñar pruebas, por lo que estudian las pruebas para aprender a hacerlas, la comprensión de las matemáticas de las que tratan las pruebas es un objetivo secundario. Se les enseñan las tablas de verdad, las conectivas lógicas, los cuantificadores, la teoría de conjuntos básica (como las uniones y los complementos), las pruebas por contraposición, la contradicción y la inducción. Los dos años restantes consisten en matemáticas reales, como en el enfoque 1.
No voy a ocultar que estoy predispuesto a acercarme al 1. Por ejemplo, creo que en lugar de enseñar específicamente a los estudiantes sobre los complementos y las uniones, y darles pruebas sobre este tema, es más eficaz exponerlo a ellos temprano y a menudo, y esperar que lo capten por su cuenta o, al menos, esperar que busquen explicaciones de sus compañeros o profesores sin que nadie les diga que es el momento de aprender sobre las uniones y los complementos. Dicho esto, estoy realmente abierto a escuchar técnicas en la línea del enfoque 2 que sean efectivas. Así que mi pregunta es:
¿Qué técnicas orientadas específicamente a la enseñanza de la redacción de pruebas le han resultado eficaces según su experiencia?
EDITAR: Además de describir una técnica concreta, explique en qué sentido cree que es efectivo y qué experiencias de los suyos demuestran realmente esta eficacia.
Thierry Zell señala que el enfoque 1 tiende a ocurrir cuando el plan de estudios separa a los estudiantes de matemáticas de los que no lo son, y el enfoque 2 tiende a ocurrir cuando los estudiantes de matemáticas, ingeniería y ciencias se mezclan durante los dos primeros años para aprender la matemática computacional básica. Esto plantea una cuestión muy relacionada con mi pregunta original:
¿Puede ser efectivo que los estudiantes de matemáticas pasen algún tiempo tomando cursos de matemáticas computacionales, sin pruebas, junto con los que no son de matemáticas? Si es así, ¿en qué sentido puede ser efectivo y que experiencias de los suyos demuestran esta eficacia?
(Pregunta formulada originalmente por Amit Kumar Gupta)