¿A quién se le ocurrió la noción de una prueba matemática? ¿Y cuál fue la primera verdad matemática que probó?

Es bastante difícil de responder, depende mucho de lo que acepte como prueba. También solo tengo conocimiento de la historia occidental de las matemáticas, es posible que haya personas en otros lugares demostrando cosas mucho antes de que los griegos comenzaran a hacerlo.

De todos modos voy a ofrecer dos contendientes principales. Thales, de la fama del teorema de Thales, a menudo se considera el primer filósofo griego natural. Se cree que demostró algunos resultados en geometría, incluido el teorema que lleva sus nombres sobre 600BC. Sin embargo, nunca he visto las pruebas y es difícil hablar de su rigor. Algunos también atribuyen su trabajo a Pitágoras, quien apareció unos años más tarde.

Avancemos 300 años y llegaremos a Euclides. En mi opinión, si alguna vez hubo un padre soltero de matemáticas basadas en pruebas, fue él. Él fue la primera persona que conocemos para dejar en piedra exactamente lo que significaban sus palabras y las verdades (axiomas) evidentes que estaba usando, antes de construir una teoría hoy.

Probó una gran cantidad de teoremas dentro de la geometría (euclidiana), muchos de los cuales fueron extremadamente creativos. Sus pruebas siguen siendo relevantes hoy en día, satisfaciendo en su mayor parte el nivel de rigor necesario en las matemáticas modernas. Pocos matemáticos de antes de la reformulación y la axiomitis pueden reclamar tal hazaña.

De hecho, realmente creo que la geometría euclidiana basada en pruebas genuinas debería ser parte del plan de estudios nacional de matemáticas. Proporciona una visión genuina del rigor y la prueba reales, pero sin muchas de las dificultades conceptuales de las matemáticas más modernas.

Pero estoy divagando, si quieres un chico que haya probado algunas cosas, lo primero que (bueno, de todos modos) sabemos fue Thales, pero imagino que otros vinieron antes. Si quieres a alguien que realmente entiende que las pruebas significan algo similar a lo que hacemos hoy, y que probó las cosas con ese estándar, Euclides es tu hombre.