Muchos resultados matemáticos se prueban con computadoras. Si un estudiante escribió un código como prueba en un examen sobre una prueba tradicional, ¿debería ser aceptado?

David Joyce tiene la respuesta correcta. Sin embargo, permítame contarle una historia de advertencia de lo que puede salir mal con un programa de computadora.

Mi tarea, calcular los niveles de energía requeridos para el efecto de onda cuadrada de Schrödinger (el efecto que permitiría a su gato caminar a través de las paredes en terminología SF). Hubo cuatro respuestas correctas y, después de un esfuerzo, pude obtener las cuatro y trazarlas usando la computadora según lo asignado. … Entonces, me preguntaba. ¿Qué sucede si ingresé un nivel de energía “0”? ¡Lo hice y la computadora regresó con un resultado positivo y funcional!

Entregué mi trabajo y obtuve un 75% (100% para las cuatro respuestas correctas – 25% para la respuesta “0”). ¡Apelé y afirmé que realmente merecía 125% por encontrar 5 respuestas verificadas por computadora! ¡Después de una discusión, la calificación se ajustó al 100%!

Seguimiento: más tarde ese año, los programadores arreglaron su problema de división por cero y los estudiantes del próximo año no pudieron usarlo.

PD. El efecto de onda cuadrada de Schrödinger predice la decadencia de neutrones. Si mi quinta respuesta hubiera sido correcta en realidad, ¡el Universo no sería como lo vemos hoy!

Si hay una prueba de que el código es correcto y que el código responde a la pregunta, tal vez entonces. Es probable que el código de prueba correcto en un examen sea más difícil que la pregunta original.

Depende de la pregunta. Si tuvieras que probar algo como “dado x, existe y tal que …” y escribiste un código que produce ay a partir de una x, entonces seguro. El código correcto puede ser una prueba, pero, por supuesto, su código debe ser correcto, y a menudo esto requiere una prueba matemática, por lo que es un poco circular.