No son pocos los que consideran a las pruebas matemáticas un martirio, eso sí, obviando el hecho de que tienen una enorme importancia para aprender a justificar proposiciones científicas y manejar el tema de la validez en estudios de investigación.
En fin, la razón no es tanto la pereza de realizar montones de ellas sino que no es trivial saber si la prueba es correcta ya que es imposible que todas ellas estén en los libros o en la red, entre otras cosas, porque no todas se resuelven por el mismo camino. La única opción es seguir intentando e intentando, y tratar de consultar a maestros u otros conocedores -quienes difícilmente están libres- para aprender del ensayo y error.
Pues bien, la gente de Wolfram que intenta generar soluciones a todo tipo de problemas de investigación a través de innovaciones en su software, ha creado el primer programa público que resuelve pruebas matemáticas, en particular, un programa que resuelve pruebas por inducción (un método que involucra probar para un número específico y luego probar que se cumple para los siguientes, en general). No es otro que el mismo Wolfram Alpha (wolframalpha.com) quien ahora entiende y da soluciones paso a paso a pruebas como: Continúa leyendo «Wolfram Alpha ahora realiza pruebas por inducción matemática paso a paso»
