Ir al contenido principal

Reseña de «If math is more than proof, we need to better celebrate the rest of it»

En el artículo «If math is more than proof, we need to better celebrate the rest of it», Grant Sanderson parte de una idea extendida: resolver problemas y generar demostraciones han servido siempre como indicadores del verdadero objetivo de los matemáticos, que es ampliar el conocimiento humano. Si las máquinas pueden producir pruebas sin ese conocimiento, el indicador pierde valor, y quizá se había confundido el medio con el fin.

Su propuesta es definir con más precisión la «explicación motivada» y reconocerla académicamente, igual que se premia demostrar problemas abiertos. No se trata de divulgación, sino de responder a «¿cómo se te ocurriría eso?». Una demostración explica por qué un teorema es cierto; una explicación motivada añade por qué merece plantearse y cómo encaja en su contexto.

Sanderson admite que este objetivo es más ambiguo que encontrar pruebas, pero evitar las métricas subjetivas es evitar lo más humano de la disciplina. Imagina tratar los problemas de exposición abierta con la misma seriedad, valorar los buenos libros de texto en contrataciones y ver el momento actual, maleable, como una oportunidad para quienes se asoman al campo.