Esta es una pregunta interesante y antigua. ¿Cuál es la relación entre las entidades matemáticas (puntos, líneas y círculos) con sus contrapartes físicas? No hay puntos sin dimensiones, ni líneas perfectas, ni círculos perfectos en la realidad física, o eso creemos ahora.
La matemática formal con la que estamos familiarizados comenzó al menos desde Hipócrates de Chios (ca. 470 –ca. 410 a. C.). Usó estos conceptos en su trabajo en la cuadratura del lunes. Aunque Hipócrates no pudo construir un cuadrado de la misma área que un círculo, sí construyó un cuadrado de la misma área que cierto lunes, como el que se muestra a continuación.
Hipócrates también escribió los primeros Elementos, reemplazados por los Elementos de Euclides más de cien años después. No sabemos si Hipócrates y los geómetras griegos posteriores pensaron que se suponía que estos puntos, líneas y círculos eran físicos o no. Quizás se suscribieron a la antigua filosofía del atomismo de Leucipo y Demócrito, que podía identificar puntos matemáticos como átomos físicos. O tal vez estaban destinados a ser idealizaciones y no físicos en sí mismos.
La razón para inventarlos es bastante clara. Fue para probar cosas sobre ellos, por ejemplo, que el Hipócrates cuadrado construido tenía exactamente la misma área que la luna, ni más ni menos. Probablemente también demostró el teorema de Pitágoras usando figuras similares para sus Elementos.
- ¿Cuál es una explicación intuitiva de la diferencia entre topología y geometría?
- ¿Es posible calcular algorítmicamente la intersección de dos conjuntos semialgebraicos 2D? ¿Cuál es la peor complejidad del cómputo?
- ¿Los diseñadores y directores de arte tienen explícitamente en cuenta la geometría en sus creaciones? ¿La geometría es consecuencia de un excelente sabor en la composición?
- ¿Qué aspectos de la geometría están ocurriendo en este accesorio de iluminación?
- ¿Puede demostrar que el componente tangencial del campo electrostático es continuo de un lado de una superficie cargada a otro?
Si los antiguos geómetras pensaban que los puntos, las líneas perfectas y los círculos perfectos realmente existían como entidades físicas o no, no tienen ningún efecto en sus matemáticas. Solo tenían que asumir que sus elementos geométricos tenían ciertas propiedades y luego podían probar todo tipo de cosas sobre ellos.