Hace unos 2.500 años, un grupo de pensadores revolucionarios cambió la forma en que pensamos sobre las matemáticas. A través de la idea de la prueba, los antiguos griegos mostraron que las matemáticas no se trata solo de realizar cálculos, sino de una forma de comprender y probar la realidad del mundo que nos rodea.
Se dice que el letrero de arriba de la Academia de Platón decía: «Μηδείς άγεωμέτρητος είσίτω μον τήν στέγην.En otras palabras, Que no entre nadie ignorante de geometría.»Y el gran Arquímedes incluso fue asesinado por un soldado porque se negó a dejar una prueba sin terminar.
Pero, ¿qué es la prueba? En pocas palabras, una prueba es un argumento convincente para demostrar si algo es verdadero o falso. Por ejemplo, si todos los perros tienen cuatro patas, entonces: ¿ es un perro? Es fácil demostrar que solo porque todos los perros tienen cuatro patas, no todo lo que tiene cuatro patas es un perro.
¿Qué tal una prueba matemática? Probablemente hayas oído hablar del teorema de Pitágoras, un hecho matemático sobre los lados de un triángulo en ángulo recto. Aquí hay una demostración del teorema.
No es convencer a usted? Las buenas pruebas son innegablemente ciertas.
200 años después de que Pitágoras existiera, otro matemático griego llamado Euclides perfeccionó la forma de escribir pruebas. Con solo unos pocos supuestos básicos conocidos como axiomas, Euclides fue capaz de probar muchos otros resultados matemáticos. Compiló estos resultados en un libro notable llamado Los Elementos, y sus pruebas son tan ciertas hoy como cuando se escribió por primera vez y han formado las bases de las matemáticas modernas.