12 1.

FUNDAMENTACIÓN DEL NÚMERO RACIONAL §1-8

  8. Estructura de la Matemática. — La definición de nuevos conceptos y la
deducción de nuevas proposiciones a partir de los "axiomas" forman lo que se llama
una teoría matemática abstracta. Desde el punto de vista formalista, el conjunto
de estas teorías constituye la Matemática pura. Si en una teoría matemática
abstracta se da un significado a las ideas primitivas contenidas en los axiomas de
partida, se obtiene una interpretación concreta, o aplicación de la teoría abstracta.
Dicho "significado" puede referirse a conceptos tomados del mundo físico, y aun de
otra teoría abstracta, en tal forma que las relaciones expresadas por los axiomas
queden verificadas por el criterio de certeza (intuitivo, descriptivo, lógico, etc.),
empleado en el campo en que interese aplicar la teoría. Un sistema de axiomas
se llama categórico si para cada par de sus interpretaciones concretas existe un
isomorfismo (§ 1-6) que las relacione (cfr. § 3-5). El conjunto de interpretaciones
concretas de que es susceptible la Matemática pura forma la Matemática aplicada.
  Un ejemplo sencillo de teoría abstracta es el siguiente:
  Axioma 1. Entre ciertos elementos P y ciertos elementos r existe una relación "deter-
mina" tal que:
  Dos P (P1 y P2) determinan un r, y sólo uno.
  Def. 1. Diremos que P1 y P2 pertenecen a r, o que r pasa por P1 y por P2.
  Axioma 2. Existe (por lo menos) un P.
  Axioma 3. A cada r pertenecen por lo menos dos P distintos.
  Axioma 4. Por cada P pasan por lo menos dos r distintos.
  Teor. 1. Existen (por lo menos) tres P distintos.
  Dem.: Deben aplicarse sucesivamente los axiomas 2, 4, 3 y 1.
  Daremos ahora once interpretaciones de esta teoría abstracta. El lector debe adoptar
en cada una la significación adecuada para la relación "determina" y las expresiones
"pertenece", "pasa por".
  Interpretación 1. P son los puntos y r las rectas en la geometría del espacio.
  Interpretación 2. P son las rectas y r los puntos en la geometría del espacio.
 Interpretaciones 3 y 4. Lo mismo que 1 y 2 en la geometría del plano. En cambio, no
podemos adoptar la interpretación 1 en la geometría de la recta, pues cae en defecto el
axioma 4.
  Interpretación 5. P son las circunferencias de un plano y r los haces de circunferen-
cias (conjuntos de circunferencias tales, que dos a dos tienen el mismo eje radical).
  Interpretaciones 6 y 7. P y r son los vértices y lados (lados y vértices) de un triángulo.
  Interpretaciones 8 y 9. P y r son los vértices y aristas (aristas y vértices) de un te-
traedro.
  Interpretación 10. P son los elementos: a, b, c, y r, los conjuntos: ⎨a, b⎬, ⎨b, c⎬ y ⎨c, a⎬.
  Interpretación 11. P son las provincias de Buenos Aires, Córdoba y Santa Fe, y r, las
fronteras entre cada dos de ellas.
  Otros ejemplos dan la Física y la Mecánica, con las interpretaciones concretas de las
teorías vectoriales abstractas construidas axiomáticamente; otro ejemplo es el de la
aplicación al universo físico de las geometrías abstractas, ya euclidianas en la Mecáni-
ca de Newton, ya no euclidianas en la Mecánica relativista.
  La estructuración actual de la Matemática es formalista. Por esto la axiomática
desempeña un papel capital en su fundamentación. El formalismo llevado a sus últimas
consecuencias, cosa que ocurre al hacer abstracción completa del significado intrínseco
de los símbolos primitivos que intervienen en una teoría determinada, pasa a ser
una actitud netamente no-trascendente al manejar dichos símbolos como entidades
concretas según reglas bien determinadas.