¿Cómo nace un teorema?

Sí, creo que en la mayoría de los casos, es exactamente así: haces “experimentos”, notas un patrón y luego tratas de probarlo, como en la ciencia.

Por supuesto, lo que constituye un “experimento” matemático depende mucho del contexto y el área de las matemáticas.

A veces es muy concreto, como usar una computadora para calcular muchos ejemplos y luego mirar los resultados.

Si no puede usar una computadora, a menudo intenta entender primero ejemplos muy simples. Dependiendo del área de las matemáticas, a menudo hay ejemplos “canónicos” en esa área que verificaría primero.

(Por ejemplo, si desea probar algo para objetos geométricos de una dimensión alta arbitraria, a menudo comienza con un punto pequeño y mira los puntos – dimensión cero – o curvas – dimensión uno – primero antes de avanzar a objetos de dimensiones superiores).

Cuanta más experiencia tenga, más intuición desarrollará, por lo que a menudo siente los teoremas sin la necesidad de hacer “experimentos”.

Y, por supuesto, en contraste con el método científico, una vez que se pruebe un teorema, será cierto para siempre. ¡No hay tal cosa como “falsificación” en matemáticas! (Siempre que, obviamente, su prueba sea correcta …)

Por lo general, hay un patrón que reconoce intuitivamente, por lo que forma una conjetura.

A partir de eso, intenta determinar un espacio en el que el problema existe como P (p, q) como conjuntos parcialmente ordenados con límites superior e inferior, en otras palabras, una red.

Luego, determina las condiciones necesarias para que su conjetura sea verdadera, como una ruta mínima que conecta pyq en un gráfico.

Una vez que determine las condiciones necesarias, debe determinar si son suficientes, es decir, si implican una solución con la propiedad P (p, q).

Para que un teorema sea verdadero, debe demostrar tanto la necesidad como la suficiencia, no solo “si p entonces q” sino “si y solo si p entonces q”.