Source: https://es.wikisource.org/wiki/Algunas_consideraciones_sobre_filosof%C3%ADa_y_ense%C3%B1anza_de_la_matem%C3%A1tica/Libro_I_Cap%C3%ADtulo_II
Timestamp: 2019-10-21 08:51:39+00:00

Document:
Algunas consideraciones sobre filosofía y enseñanza de la matemática/Libro I Capítulo II - Wikisource
Algunas consideraciones sobre filosofía y enseñanza de la matemática/Libro I Capítulo II
← CAPÍTULO I.—Exposición histórica
CAPÍTULO II.—La síntesis filosófico-matemática
CAPÍTULO I.—Cuestiones de orden sociológico →
La síntesis filosófico-matemática
§ 1.° Consideraciones generales
Filosofía. Combinatoria. Clasificaciones de los conceptos. Lo más alto que hallamos en la Ciencia es la inteligencia, origen y fuente del pensamiento humano.
Pero este origen, siendo uno, ofrece inmensa variedad por sus aspectos. Al contemplarse el hombre por una mirada refleja, el resultado no es siempre el mismo, cuando analiza este fondo, en el que se desarrolla el pensamiento. Y esta diferencia ha sido el origen de los diversos sistemas filosóficos. Lo mismo ha sucedido al contemplar al mundo externo, por una mirada directa. La distancia que nos separa del mundo externo, se salva por un intermediario. Á su vez el mundo externo ofrece una gran complejidad, que solo nos permite estudiarlo por sus apariencias ó fenómenos que se nos presentan, sobre lo que cada cosa es en sí. Este segundo objeto que obtenemos, partiendo de nosotros, aumenta considerablemente las dificultades que hallamos para conocer. Y el estudio de todo es el objeto de la Metafísica, ó en general, la Filosofía.
La Matemática es un dominio muy reducido, dentro del campo universal de la Filosofía. Y solo su origen, que podemos llamar sus fronteras, se encuentra con esta ciencia, de la que todas dependen pero que se ramifican y marchan independientemente, después de haber tomado de aquélla sus principios fundamentales, en el grado que ha necesitado cada una, en particular.
Limitándonos á la Matemática, bastará decir que, cada vez se ha ido separando más de su tronco, para crearse una filosofía interna.
Los filósofos más insignes, desde Platón y Aristóteles, han dejado huellas de su influencia en esta ciencia, la más ideal; que se ha presentado siempre como el modelo de las ciencias; pudiéndose concluir que hoy la influencia es meramente externa, reduciéndose á la dirección de la inteligencia, á la parte lógica, que contribuye á ordenar las ideas, á encadenarlas y á dirigir los razonamientos. Y en cuanto á las ramas de la Matemática de carácter concreto, tales como la Geometría, la Mecánica, la Astronomía y la Física, éstas parten de la experiencia, y en ella fundan los principios de sus varias teorías, cuya rectificación ó afianzamiento dependen de esta misma experiencia.
La Matemática, en esta región, se limita á traducir los hechos ó las relaciones del mundo material en fórmulas; y cuando se ha efectuado esta traducción, los conocimientos empíricos se convierten en científicos.
La parte utilizable de la Filosofía en la Matemática, puede muy bien concentrarse en la Pedagogía matemática, cuyo fin será la dirección de la inteligencia y el perfeccionamiento de los métodos, que dependen de la Crítica, parte de la Lógica, que rige la validez y sistematización de los conocimientos.
Esta rama ofrece un medio de comunicación de la Matemática con la Filosofía, pues uno de los fines de la Crítica es el estudio de los postulados y principios fundamentales que, como se dijo, se hallan en las fronteras de aquélla, dependiendo todo lo demás de la deducción, por medio de los silogismos matemáticos ó de identidad, que solo pueden asimilarse á los silogismos lógicos, en el caso de cuantificarse los atributos ó las cualidades, como especialmente ocurre en la nueva rama, llamada Lógica matemática.
En el estudio sintético de la Matemática, ocupa el lugar predominante la Combinatoria.
M. Couturat, con la publicación de su obra La Logique de Leibniz (1901), según varios manuscritos inéditos, y por consiguiente ignorados, respecto á los pensamientos de este ilustre filósofo, nos ha presentado todo un sistema de Lógica matemática.
La combinatoria es el fundamental concepto al que se subordinan todos los demás, es en la inteligencia, como en la Geometría el movimiento, el elemento generador.
Leibnitz reveló las tendencias de su sistema, al publicar su Dissertatio de Arte combinatoria, que aplicó desde luego al silogismo, elevándose de la clasificación de ideas por las categorías, según se ha indicado (pág. 11), llegando á las categorías matemáticas.
Un alfabeto de juicios ó catálogo, por medio de combinaciones, la Ciencia de la combinatoria como arte de inventar. Estos eran los conceptos capitales de Leibnitz, que le llevaron á la idea de un Algebra lógica, que naturalmente se relacionaba con una lengua universal: á una Gramática filosófica, á traducir los conceptos y las relaciones, de modo que puedan seguirse todas las etapas de una deducción. Como procedimiento, empleaba el esquematismo, mediante el cual las deducciones se traducen en construcciones. Y no solo consideraba el demostrar la verdad como objeto de la lógica, sino el descubrirla; para lo que es un método seguro é infalible.
El historiador Vico había sentado, con cierto exclusivismo, es cierto, la proposición: La inteligencia solo conoce lo que hace. Así pues, el entendimiento construye en un orden puramente ideal, y sabe lo que hace; porque su obra está presente. Todo lo cual se adapta á la Matemática.
Para Descartes la idea era una realidad objetiva. La potencia creadora de nuestra imaginación nos permite el perfeccionar las imágenes de las figuras geométricas; pero las imágenes, son distintas de los objetos que representan.
La deducción como se indicó (pág. 9), se resuelve en una serie de intuiciones, siendo la memoria intelectual útil en la demostración, cuando sea preciso coordinar varias deducciones sin enlaces, para coordinar sus resultados. El método cartesiano consiste pues, en la contemplación inmediata de la verdad y en la continuación de esta intuición, que es razonar; por lo que se llega de las proposiciones complejas á las simples. Descartes observa que todas las ciencias, cuyo objeto es la investigación del orden y de la medida se refieren á las matemáticas. Pero Leibnitz ve, en el Álgebra de Vieta y Descartes, tan solo una rama ó aplicación de su característica universal ó combinatoria, á las que subordinaba el Álgebra y la Geometría analítica, considerándola como el verdadero arte de inventar, como una especie de método sintético.
La Aritmética, el Álgebra, las diversas Geometrías y Teorías de las funciones se compenetran y se confunden á veces parcialmente. Parece que todas se hallan en el medio que las contiene, como en el espacio la variedad de objetos materiales existentes, en los cuales los elementos se hallan diversamente combinados, formando un complejo irregular, cuyas partes no pueden separarse, con arreglo á un plan simétrico y ordenando, como parece debe ser la Ciencia, especialmente la más adecuada para este fin, cual es la Matemática.
Matemática. Ya en diversas ocasiones he aplicado estas categorías que, por dominar todas las relaciones, tienen que ofrecerse naturalmente. En mis primeros trabajos de crítica matemática (Geometría elemental, 1881), distinguí en la Geometría la existencia y después la determinación de las figuras y las sustituciones de unas relaciones por otras, que les son equivalentes, en las relaciones de coexistencia.
Esto me condujo á la sustitución de unos problemas por otros equivalentes; y esto puede conducir, en general, á construir tablas ó índices de resolución de problemas, por una serie indefinida de sustituciones de condiciones equivalentes[2].
Poseyendo el arte de componer problemas indefinidamente, puede hasta llegarse á hacer mecánico en ciertos límites, que podían extenderse indefinidamente, el arte de resolver problemas (que en general depende de un grado de teoría á la cual nunca se llega), sin llegar al exceso lógico, á que llegó la máquina pensante de Raymundo-Lulio, ó á la taquimetría, de que trata M. Poincaré [3]; pues si mucho puede facilitarse, la exposición de la ciencia en esta catalogación de las ideas, siempre queda al genio ó al talento un campo indefinido de investigaciones. Lo que resulta es que los descubrimientos del genio ó del talento, después de haberse vulgarizado, son aptos para la catalogación. Lo que al principio fué una idea feliz, más tarde encuentra su lugar natural en las mallas del razonamiento lógico, que encasilla las proposiciones y las verdades.
Una clasificación de sustituciones permitirá á la inteligencia re correr series indefinidas de problemas.
Las entidades, en el dominio geométrico, son: segmentos, ángulos, radios, tangentes, normales, relaciones de segmentos, etc.
Los medios de que se disponen son: la identificación ó superposición (procedimiento el más fundamental), la perspectiva, la proyección, el empleo de las relaciones ó de las formas armónicas ó anarmónicas, los movimientos de rotación, traslación, la creación de sistemas de coordenadas (cartesiano, polar, vectorial de diversas clases). Y en cuanto á la naturaleza de las cuestiones, la generalización (que conduce á los lugares geométricos), la particularización, la inversión, etc.
En Análisis, las entidades ofrecen una variedad también indefinida. Tenemos individualidades, como números de diferentes clases, enteros, racionales, algebraicos, trascendentes, límites, series, ecuaciones. En cuanto á éstas, pueden ofrecer variedad, según las acepciones; así, pueden ser de congruencia, si se buscan soluciones enteras, ó de equivalencia, ó pueden representar relaciones homográficas, etc. Los sistemas pueden ser: dominios, conjuntos, símbolos abstractos, etc. Además, el fin puede consistir en calcular, transformar, reducir, simplificar, coordinar, etc. Los procedimientos analítico, sintético, geométrico, cinemático, etc.
Así, por ejemplo, la Geometría de Poncelet es eminentemente proyectiva, la de Chasles es proyectiva y analítica, la de Staudt, denominada de la posición, es en realidad sintética y proyectiva, la de Clebsch es proyectiva y analítico-formal.
Aun los mismos matemáticos son, como dice M. Poincaré, analistas ó geómetras, lo cual no impide que los primeros sean analistas, aun cuando tratan de Geometría. «La naturaleza de su espíritu los hace lógicos ó intuitivos».
Y ciertamente, existiendo, con gran complejidad los seres en la naturaleza, de igual modo que los conceptos en las inteligencias, cada individuo, según su cultura, su carácter propio y la influencia del medio en que ha vivido, elige de aquella complejidad los elementos por los que muestra especial afinidad, en virtud de cierta fuerza atractiva, análoga á las afinidades químicas, ó á la atracción de la materia.
Hoy las funciones discontinuas ó las continuas sin derivadas, son las más generales; las que se subordinan á leyes sencillas tienen un lugar muy reducido en la ciencia, y solo se presentan como casos particulares.
En este trabajo se ha distinguido el profesor Herr Moritz Pasch, como puede verse en sus Vorl. ü neuere Geometrie (1882), puesto que funda su exposición geométrica en la adopción de dos extensas series de axiomas, relativos á la recta y al plano, y haciendo aplicaciones de las palabras punto, recta, plano, entre, tratando con gran extensión de la teoría de las figuras congruentes, que funda también en un sistema de axiomas.
Ya se ha indicado la extensa labor hecha por la Escuela italiana, acerca de este asunto. Y solo añadiremos que el criterio fundamental en este orden de ideas ha sido el llegar á constituir un sistema irreducible y compatible ó no contradictorio[4]. El Sr. Padoa publicó: Un nuevo sist. de defin. para la Geom. euclídea. (Prog. Mat. 1900).
El ilustre profesor Herr D. Hilbert ha contribuido al progreso de esta parte de la ciencia, con varios trabajos tales como Ueber Grundl. der Logik und Arith; [5] y, sobre todo, sus excelentes Grundl. der Geom. (1899), donde establece su importante clasificación de los axiomas en cinco grupos.
Establecer los axiomas de la Geometría, dice M. Combebiac, es reducir esta ciencia á ser una aplicación de una teoría más general, é independiente de todo elemento geométrico. Esta teoría más general es la de los conjuntos [6]. Y hace ver que, por ejemplo, la Geometría proyectiva es una aplicación de los conjuntos de rectas.
Esto conduce á un nuevo modo de exposición de la Matemática. Las ramas de esta ciencia no avanzan en un aislamiento, correspondiente á sus denominaciones clásicas. Se entrelazan y funden en un solo tronco. El hilo conductor, la corriente común en que se funden, es la teoría de los grupos. Basta en cada teoría señalar los principios capitales, que serán como los nudos del tejido ó red de verdades, pues en cada uno de éstos se encierran condensadas las indefinidas consecuencias que brotarán naturalmente por la ley del encadenamiento de los silogismos matemáticos. Basta una combinación metódica de elementos, para producir la infinidad de corolarios encerrados en cada verdad. Es un trabajo puramente mecánico. La invención cesa cuando la deducción impera.
Se pierde un tiempo precioso en querer descubrir todo lo que está contenido en una verdad, como consecuencia necesaria. Y debe bastarnos el saber que poseemos la riqueza de sus consecuencias, utilizables en el momento que lo deseemos. Le basta al geólogo el conocer la naturaleza de un terreno y no le es necesario el reconocer uno por uno los minerales que sabe se hallan en él contenidos. Al científico le basta conocer los puntos iluminados, los grandes focos de luz. Estas indicaciones nos sirven para seguir en la descripción científica un tratamiento simultáneo, debido á la compenetración de las teorías.
§ 2.° Síntesis algorítmica
La Aritmética aparece como el primer escalón de la Algoritmia, porque da los elementos indispensables y necesarios para penetrar en los dominios de la Matemática. El número es la primera realidad de ésta. La intuición del número comunica su luz á las demás intuiciones, por las que avanza quien pretende conocer dicha ciencia.
Pero en realidad, este lugar preferente solo se debe á una exigencia pedagógica. El cálculo realiza unos números por medio de otros, fija y determina el objeto primordial de la Algoritmia, el número entero, del que derivan las demás clases de números.
La Aritmética elemental ó el arte de contar, en la Algoritmia, es como la construcción de una figura en la Geometría; se puede suprimir en el orden teórico; porque á la inteligencia le basta el orden lógico de las ideas, que el encadenamiento de éstas sea riguroso.
Pero la Aritmética debe conservar su lugar primero, no solo por exigencias pedagógicas; porque es como la Gramática de la lengua algorítmica, donde se hallan los primeros términos de expresión de sus elementos fundamentales.
El Álgebra es, en rigor, el primer tratado de la Algoritmia. Podemos decir, con Wronski, que el Álgebra es la ciencia de las leyes de los números y la Aritmética la ciencia de los hechos, lo que corresponde á sus dos grandes divisiones de Algoritmia y Tecnia, que se refieren á la naturaleza y á la medida de las cantidades, dependientes de la especulación y la acción, lo que es, lo que es necesario hacer.
Además, el Álgebra ordinaria es una rama de infinidad de Álgebras, formadas por leyes combinatorias, impuestas a priori, que pueden tener, en las aplicaciones, sus geometrías correspondientes, como por ejemplo, los cuaternios.
El Álgebra es la Algoritmia de las cantidades finitas. Comprende dos partes: El cálculo directo, que procede por combinaciones cualquiera de los algoritmos fundamentales; el cálculo inverso ó teoría de ecuaciones. El primero es el cálculo de las funciones explícitas, y el segundo el de las implícitas, cuyas dificultades son inmensamente mayores que las del primero.
Este cálculo se efectúa de dos maneras, que constituyen la resolución numérica y la resolución algebraica. La primera es una Aritmética, con su carácter constructivo, fundada en algunas propiedades de las funciones continuas, que constituyen un capítulo del Álgebra, debido á las investigaciones que principian en Descartes y terminan con los resultados debidos á Sturm, Cauchy y Sylvester.
La resolución algebraica está subordinada á la teoría combinatoria de los grupos y tiende hoy á fundirse parcialmente, en sus últimas ramificaciones, con la teoría de los números ó Aritmología.
La teoría de los grupos discontinuos, entre otras aplicaciones, tiene la resolución algebraica de las ecuaciones.
Herr Klein ha obtenido importantes resultados para la resolución de la ecuación de quinto grado en su obra, Das Ikosaeder Gruppen.
La teoría de los números. Esta superior teoría estudia los varios dominios de los números, los clasifica y los sistematiza. Análogamente á, como en geometría analítica, una ecuación ordinaria representa un lugar geométrico, en la teoría de los números, representa un lugar numérico. Cada ecuación de congruencia da un sistema de números, distribuídos en clases.
En Geometría, los puntos son elementos que constituyen figuras ó superficies. En la teoría de los números, los puntos representan números de los conjuntos ó de dominios varios. La moderna teoría de los conjuntos de Cantor distribuye sistemas de puntos que corresponden á sistemas de números, como base de la superior teoría de las funciones de variables reales. En vez de darse implícitamente las funciones, se dan arbitrariamente, se construyen por condiciones previamente fijadas.
En el estado actual de la Matemática, la teoría de los conjuntos debe ser el preliminar común de la teoría de los números y de las funciones de variables reales.
Las ecuaciones de congruencia expresan lugares algorítmicos, cuyos teoremas fundamentales son los de Fermat y de Euler. La indeterminación que da el exceso de variables se compensa con la determinación del total de sus raíces.
En Álgebra, los números se hallan distribuidos en cada una de las ecuaciones irreducibles, distribución importante para el estudio de las funciones. En la teoría de los números, éstos se distribuyen también. Y así como, en Geometría, los sistemas de puntos se corresponden por sus relaciones proyectivas, en la teoría de los números se efectúan varias proyecciones: 1.ª La de los conjuntos que se refieren, unos á otros, por una correspondencia biunívoca. 2.ª La de los sistemas numéricos imágenes de otros, mediante relaciones proyectivas, dadas por sistemas de transformaciones, como en Geometría.
La teoría de la equivalencia de las formas es como la superposición geométrica. Las formas equivalentes son sistemas que dan los mismos números.
Tenemos, en primer lugar, los números algebraicos que forman un grupo, y enseguida los sistemas de Kummer y Dedekind que son los números ideales ó los ideales, que entran en el sistema llamado cuerpo finito de números, por lo que el concepto de grupo domina también la teoría de los números.
No ya los números, sino las funciones algebraicas se someten á las ecuaciones de congruencia, constituyendo la teoría de las congruencias de funciones, que da origen al estudio del campo ó cuerpo de Galois.
Kummer, Dedekind y Kronecker llevan la teoría de los números á los sistemas de funciones dependientes de n parámetros, expresados por las ecuaciones de congruencia. Así, dice Herr Hensel, que Kronecker extendió el concepto y aplicaciones de la teoría de los números á la investigación de las funciones de cierto número de variables, y Dedekind estableció, para los números algebraicos, lo que Gauss había consignado para los números racionales.
Funciones de variables reales. Esta teoría ofrece dos desarrollos: El clásico y el moderno. El clásico se limitaba al estudio de las funciones continuas, exclusivamente. La integración de funciones es como el cálculo explícito; la integración de las ecuaciones diferenciales corresponde á la resolución de las ecuaciones algebraicas, problema resuelto, desde Newton hasta Jacobi, con la finalidad de obtener una expresión analítica de la función, cuya diferencial ó cuyas diferenciales se dan en la ecuación ó ecuaciones propuestas. Pero Riemann señaló nuevos rumbos al establecer en nueva forma el concepto de integral.
La teoría de las funciones de variables reales sufre una evolu ión en la teoría analítica del calor de Fourier y la memoria de Riemann sobre las series trigonométricas. El estudio de las discontinuidades tiene capital importancia.
Los trabajos de M. Darboux acerca de las discontinuidades de las funciones y del Sr. Dini sobre las funciones de variables reales y de la serie de Fourier han comenzado un importante desarrollo de la teoría, á que contribuyeron también Hankel y Du Bois Reymond, representando las funciones por integrales definidas.
Hoy, tomando por base los conjuntos del Sr. Cantor, los señores Poincaré, Borel, Hadamard, Baire, Le Besgue, Lindelöf, etc., continúan esta evolución, que entra en la Teoría de las funciones analíticas de Weierstrass, y tiene su lugar natural en los Tratados de Análisis ó de Cálculo infinitesimal.
La Teoría de las funciones analíticas se reduce á la de las series enteras, independientemente de la consideración de las diferenciales. Bien es cierto, que la teoría de los conjuntos conduce á una teoría análoga á la de los infinitos de los diversos órdenes.
Hemos visto cómo en la teoría de las funciones, los elementos geométricos dan un fondo que permite seguir de una manera intuitiva las fases de su existencia, ya en la recta, en el plano, en el espacio ó en otro fondo más ó menos complicado, que nos ofrece el Analysis situs.
Funciones de variables complejas. Como en la teoría de las funciones de variables reales, el fondo sobre que se desarrolla una función de variable compleja es un dominio de puntos que puede ser de un número cualquiera de dimensiones, caso considerado por Weierstrass; pero generalmente, el plano simple ó múltiple es el sustratum de dichas funciones.
Las series uniformemente convergentes y las integrales definidas son dos modos generales de expresarse las funciones.
El estudio general de las funciones de variables complejas ofrece hoy dificultades por su gran extensión. No obstante el campo en que se desarrolla es vasto y espléndido.
El objeto capital del estudio de una función es el estudio de sus singularidades. Por éstas se halla caracterizada cada función.
El modo de distribución de los ceros, los polos, los puntos críticos esenciales ó no esenciales caracteriza á una función. Las singularidades sirven de base á la clasificación de las funciones. En cuanto á sus varias particularidades principales, indicaremos que son la oscilación, el salto, la periodicidad simple, doble, etc.
En esta teoría pueden darse previamente las singularidades de una función, para obtenerla, como ha hecho M. Mittag-Leffler.
Hoy lo culminante de esta teoría es el estudio de las transcendentes, ya dadas por series, por integrales ó por ecuaciones diferenciales.
Un procedimiento general, en la teoría de Weierstrass, es la prolongación analítica.
El medio hoy empleado para la representación de las funciones es la superficie de Riemann; y, en general, el Analysis situs, con el extenso dominio de las variedades, da el fondo sobre que se constituyen las funciones, de un orden superior al reducido plano de Cauchy ó á la superficie de n hojas de Riemann.
En este orden de ideas, el problema de la integración ha cambiado de carácter. Ya Clebsch en sus Vorlesungen ü Geometrie, dio una integración geométrica de las ecuaciones diferenciales.
En la actualidad, á la integración clásica de las integrales se ha sustituido la integración analítica, fundada en el cálculo de las series enteras, en que obtuvo importantes resultados Fuchs, principalmente, y que se hallan desarrollados en las obras Konisberger, Painlevé, Forsyth, Schlessinger y otros.
§ 3.º Síntesis geométrica
Geometría elemental. Esta puede conservar su calificativo, porque se funda en la identificación ó superposición; pero se podría llamar natural, porque no dispone de ningún otro artificio.
Podemos concebir todas las figuras de la Geometría elemental por deformaciones sucesivas. Partiendo de un solo triángulo, se pueden, deformándolo, enunciar multitud de teoremas. El postulado de Euclides equivale á admitir la traslación de una recta; la suma angular será la misma que la de su paralela; y el teorema de la suma angular de un triángulo quedará establecido; y, por consiguiente, todos los teoremas relativos á ángulos entre paralelas, incluído el postulado de Euclides que es una variante del teorema de la suma angular; y al mismo tiempo quedarán establecidas todas las proposiciones relativas á los triángulos homotéticos, extensivas, por un giro, á los semejantes y, también, las relaciones fundamentales de la Trigonometría, establecidas, lo mismo por semejanza que por proyecciones, ya que una proyección equivale á un cateto.
Se ve como dice M. Poincaré, que la Geometría es el estudio de un grupo.
Estas consideraciones son extensivas inmediatamente al espacio.
Podemos considerar ahora el plano como un fondo común de todas las combinaciones posibles de figuras que, traducidas al len guaje ordinario, serán expresiones de cuantos problemas queramos.
En la constitución de estos problemas, solo será necesario hacer la combinación de las condiciones que han de quedar como incógnitas y las que han de ser los datos. Los enunciados de las relaciones de coexistencia serán otros tantos problemas.
La Geometría del triángulo ofrece el ejemplo de la creación de un número indefinido de identidades, por combinaciones variadas, en las condiciones ó datos.
Correspondencias geométricas. La construcción de las entidades depende de una idea generadora.
La Geometría cartesiana ya tiene una idea fundamental, que se reduce á la correspondencia entre una fórmula y el sistema de puntos representativos de las variables. Constituye un método indirecto. Es una especie de cálculo gráfico que determina, punto por punto, una función.
La geometría de Monge es una geometría sintética. No es más que una correspondencia inmediata entre figuras planas y figuras en el espacio, una determinación y construcción de éstas por aquéllas.
Las demás geometrías son meramente proyectivas. Su objeto es el estudio de sistemas de elementos (puntos, rectas y planos) correspondientes á otros elementos numéricos ó geométricos.
Geometría descriptiva. Esta geometría es la continuación de la elemental. El procedimiento de la superposición queda en la descriptiva reemplazado por una correspondencia inmediata entre figuras planas y figuras en el espacio, entre estas figuras y sus proyecciones. Se determinan aquéllas por éstas. Cada figura se define por su generación. El instrumento de ésta es el movimiento, sometido á condiciones dadas.
Geometría cartesiana. Es una de las analíticas. Su instrumento consiste en las coordenadas, intermediarios entre las ecuaciones y las figuras.
Geometría infinitesimal. Es una geometría intrínseca, es decir, que procede por la consideración inmediata de las figuras, sin intermediarios ó coordenadas.
Recapitulación. La Geometría es un organismo, cuyo carácter depende del método. Todas llegan al mismo fin, más ó menos directamente.
La Geometría elemental depende del método más sencillo, consistente en la superposición. Debe su nombre á su carácter primitivo, y á su método deficiente, el haberse detenido en las primeras determinaciones de las figuras. Sin embargo, los porismas de Euclides manifiestan la tendencia á elevarse á un grado superior, mediante el empleo de la doble razón; empresa que realizó Chasles en su Geometría superior, aprovechando los indicios de la obra de Euclides, en los fragmentos conservados de la obra de Pappus.
Las demás geometrías tienden al mismo fin, por procedimientos distintos. La Geometría descriptiva es eminentemente práctica, es la Aritmética de la Geometría. El arte de formar ú obtener las figuras.
Las otras geometrías son analíticas ó sintéticas; mejor sería decir: algorítmicas ó gráficas.
También son intrínsecas ó extrínsecas, según que estudien el objeto directamente ó empleando el elemento intermediario de las coordenadas.
La Geometría cinemática es una geometría infinitesimal intrínseca.
Aparte de las geometrías proyectivas, existen varias geometrías analíticas, tales son: La Cartesiana que comprende las coordenadas cartesianas y las polares y las Geometrías vectoriales de Bellavitis, Hamilton y Grassmann.
La Geometría diferencial comprende todas estas geometrías analíticas, después que Hamilton y Grassmann (hijo) introdujeron el elemento infinitesimal.
La Geometría diferencial, propiamente dicha, es la que introduce el elemento infinitesimal en el sistema cartesiano. Consta de dos procedimientos. Por el primero se traduce un problema en el lenguaje del cálculo diferencial. Por el segundo, integración, se pasa á la ecuación finita. Esta segunda operación es como el cálculo aritmético en la Algoritmia, que transforma en la realidad del número las expresiones del análisis.
La ecuación primitiva de una ecuación diferencial establece la realidad geométrica representada por ella.
Estas interpretaciones llevan á la teoría de las funciones modulares, de que trata Herr Klein en sus extensas obras Vorl. ü d. Theor. d. elliptisch. Modul funct. (1890) y Vorlesungen über die automorfen Functionen (1897), y hace una representación gráfica de los ideales.
Por último, esta utilización de las concepciones geométricas en la Aritmética se ha realizado, de un modo en extremo original, por el profesor de la universidad de Kanisberg, Hermann Minkowski, en su Geometrie Zählen (1896) y en Diophantische Approximationen (1907).
§ 4.° Los sistemas matemáticos
Sistemas combinatorios. Ya se vió cómo la lógica algorítmica de Leibnitz, partiendo de los supremos conceptos que constituyen las categorías matemáticas, había establecido el fundamento más ideal de la Matemática; y que Boole y Jevons, por otra parte, ha bían fundado el Álgebra de la Lógica y el Cálculo simbólico, al que también contribuyó Morgan. Esta era la síntesis más general, puesto que parte directamente de los conceptos de la inteligencia. Es eminentemente subjetiva.
Á esta primera síntesis sigue otra de carácter objetivo. La combinatoria aplicada á objetos, en general, lleva á la teoría de los grupos, los cuales dominan todas las ramas de la Matemática, sean algorítmicas ó geométricas.
Descendiendo nuevamente de la teoría abstracta de los grupos, que solo se refiere á la combinación y al orden, llegamos á los sis temas algorítmicos, que son entidades más concretas, puesto que su materia es la cantidad, ó especialmente el número. Aquí hemos llegado á las proyecciones de los conjuntos, y á las que se realizan en los sistemas de los ideales de Dedekind.
Más particularmente, el Álgebra de las formas, por medio de las transformaciones lineales, nos da el amplio desarrollo de las teorías de invariantes, covariantes, etc., que conduce á innumerables combinaciones de proyecciones algorítmicas.
Descendiendo á los últimos grados, la teoría de funciones da lugar á muchas transformaciones, que llevan á sustituir unas cuestiones por otras más sencillas ó adecuadas para un fin propuesto. Vemos pues, que la transformación es el método más general de la Matemática.
Sistemas geométricos en el orden objetivo. Ya hemos visto cómo se realizan estas transformaciones, características de la Matemática, desde las cuestiones de la Geometría elemental, hasta las de las Geometrías proyectivas; y, ascendiendo de las transformaciones proyectivas, por sustituciones lineales, llegamos á otras tales, como las de Hirst y Cremona, á las correspondencias de Chasles, etc.
Ya se vió cómo la cuestión del postulado dió origen á las geometrías de Lobatschewsky y de Riemann. Éstas, juntamente con la de Euclides dan tres sistemas de relaciones geométricas, con igual valor lógico, igualmente ciertos. Todo depende de un coeficiente, el de la curvatura del espacio, de igual manera que al aplicarse la Matemática al orden físico, pueden resultar multitud de coeficientes ó parámetros, que expresan lo que discrepa el mundo ideal del real. Y se sabe que, en estas aplicaciones, lo importante es calcular el coeficiente, para armonizar el mundo ideal de la Matemática con el mundo real externo, análogamente á cómo la integral general de una ecuación diferencial da un sistema de valores arbitrarios, en el origen, á todas las variables dependientes, para valores dados de las independientes.
Sistemas geométricos en el orden subjetivo. Si de las simples transformaciones de sistemas de figuras, pasamos á los sistemas que resultan de diversos modos de concebir la inteligencia ó de los juicios que forma, al aplicarse al estudio de las figuras ó de la extensión, llegamos á sistemas distintos de los geométricos, según el sistema de axiomas que se toma como punto de partida que estableció Herr Hilbert (Grund. d. Geom.)
Sistemas algorítmicos. a) El primer sistema algorítmico que consideramos, es el de los números enteros contenidos en una forma cuadrática. El problema de más importancia, resuelto en la teoría de las formas respecto á este sistema, es el de la equivalencia de las formas.
b) Pero, elevándonos en la teoría de los números, hallamos el concepto superior de cuerpo finito; y tomando cada uno de éstos como un sistema de objetos ó elementos, llegamos á obtener, mediante sustituciones, las imágenes de dicho sistema que son diversos modos de ser del mismo, dependientes de las sustituciones efectuadas en sus elementos; y tenemos, según la representación de Dedekind, la expresión de las leyes fundamentales
Esta teoría trasciende al dominio geométrico, sirviendo para caracterizar individualmente las figuras, sus sistemas y las transformaciones de unos y otros, confirmando, con suma eficacia, esa compenetración del número y de la extensión que fija el doble aspecto de la Matemática, correspondiente á nuestra doble naturaleza.
d) La teoría de los grupos continuos es la exposición más amplia de transformaciones matemáticas, algorítmicas ó geométricas.
Las transformaciones lineales son tan solo una especie del conjunto de transformaciones tales, como las transformaciones puntuales, ó correspondencia entre un punto y otro punto, las transformaciones prolongadas, que consideran el elemento lineal, las transformaciones de contacto, que llevan á considerar las multiplicidades de elementos; las cuales se transforman mutuamente por dichas últimas transformaciones.
La consideración de n parámetros da una gran variabilidad á las funciones y á las figuras, que establecen el sumo de relaciones algorítmico-geométricas.
Pero otra importancia capital hay que admitir en esta superior rama de la Matemática: el tránsito á las cantidades finitas, por medio de los elementos infinitesimales, ó sea, la integración de las ecuaciones diferenciales, que resulta de la teoría de los grupos.
El problema de la integración de una ecuación de primer orden se reduce á obtener cierta transformación de contacto. Y además Lie hace ver, cómo las transformaciones infinitesimales influyen en el problema de la integración.
En esta teoría puede considerarse incluida la teoría de los co exos de Clebsch, sistemas, en los cuales, existen relacionados los puntos con las rectas de una figura, por la que se llega á las curvas integrales. Lo que constituye el método de integración geométrica de Clebsch.
Compenetración de los conceptos. En cuanto á la forma, tenemos las leyes de inclusión (que engendra los silogismos, lógicos ó matemáticos) que subordina los conceptos entre sí, por series de subsunciones; y produce la red ideal, que constituye la Ciencia.
La ley de sustitución, que en su acepción más abstracta conduce á la teoría combinatoria y á la de los grupos de sustituciones. De una manera más concreta, en el orden objetivo, conduce á la sustitución de condiciones en los teoremas. Así por ejemplo, en la Geometría, la sustitución de una recta por todas las que forman todos los ángulos posibles con ella (incluso el ángulo cero que reproduce la misma recta ó su paralela), da lugar á teoremas que son casos particulares de un teorema fundamental.
La ley de cambio ó de permanencia. Esta rige todas las transformaciones continuas ó discontinuas de los sistemas. Comprende toda clase de transformaciones, lineales, cremoniana, continuas, etc., é incluye como caso particular la invariación. Al transformase, de una manera continua, un sistema (Grupos continuos), algo queda invariante. Y en este caso origina la llamada Álgebra de las formas, que se compenetra con la Teoría de los grupos.
Y puesto que la teoría de los grupos comprende por igual la Geometría y el Análisis; de igual manera interviene la teoría de los invariantes, covariantes, etc., según la naturaleza de la cuestión que se trate.
La Geometría cartesiana y la de Staudt, examinan la misma cuestión, de distinto modo ó con distinto procedimiento. Son en esencia una. Aunque la primera, con recursos más poderosos, que le presta el Análisis; pues el número es siempre entidad más ideal y evoluble que el punto, la recta ó cualquiera otra figura geométrica.
Tenemos pues, que la invariación interviene directamente en el Álgebra de las formas é, indirectamente, en la Geometría, cuyos la variantes son los puntos en el infinito y los puntos circulares ó una cónica, y también en la teoría de las formas y en la de los grupos.
El concepto de grupo invade todos los dominios de la matemática.
La combinatoria, en general, sirve para dar elementos de expresión á las fórmulas, que están constituidas por los elementos cuantitativos y los representativos de orden ó de combinación.
El concepto de integral penetra también en todos los dominios, con su carácter analítico.
La diferencial es el elemento generador de todo, tanto en el orden algorítmico como en el geométrico.
Las curvas y superficies tienen una doble generación geométrica y analítica.
Así como, en la Naturaleza, un ser tiene un número indefinido de cualidades ó atributos, en las cuestiones matemáticas, intervienen conceptos varios, correspondientes á diversas teorías. Las categorías matemáticas, cuya concepción primera se debe á Leibnitz, rige los varios modos de concebir los objetos matemáticos y fijan cada teoría.
La distribución de las varias teorías de la Matemática no puede, por lo tanto, ser hoy la misma que hace medio siglo. Aquellas divisiones provisionales y sencillas que hacían consistir esta ciencia en ramas, en cierto modo independientes y de carácter muy distinto, tales como la Aritmética, el Álgebra, la Geometría, etc., se desvanecen en un fondo común que las absorbe, desmenuzándolas, para agrupar nuevamente los restos, formando elementos armónicos de un todo homogéneo. Hoy, solo por un esfuerzo de abstracción, puede separarse el número del fondo ó sustratum de la extensión. El punto se compenetra con el elemento infinitesimal ó es signo de un valor numérico; los números son etiquetas de los puntos ó lugares (Stelle). Un sistema algorítmico ó geométrico, es uno de los estados ó una proyección de los que tiene aquél en su indefinido mudar.
Según el espíritu actual de la ciencia, se hace depender todo sistema de un número finito de elementos fundamentales; pudiéronse, por lo tanto, establecer escalas ó graduaciones de entidades, desde los sistemas de unidades abstractas, hasta los ideales de Dedekind, desde los sistemas puntuales hasta los complejos y variedades.
Los grupos discontinuos, con su estructura propia, son como el esqueleto sobre el que luego se forman variados organismos, cuya materia está dada por números ó elementos geométricos, y permiten representar, tanto las funciones en sus reproducciones periódicas, en las fases de su variación, como figuras geométricas, aptas siempre para servir de sosten á nuevas relaciones algorítmicas. Y así el matemático se encuentra siempre dentro de un mundo de doble aspecto, según el modo de contemplarlo.
Resumen. Tenemos en cuanto al a) (pág. 54). Objeto: Espacio puntual ó analítico, que es el sustratum de la teoría de los números y de las funciones analíticas.
Espacios geométricos: Los espacios Euclídeos, que comprenden los: reglado, circular y esférico. Los espacios no-Euclídeos, que comprenden los de Lobatschewsky, de Riemann de Cayley y Klein. Los espacios de n dimensiones, que comprenden el estudio de las variedades.
b) Procedimientos. Las transformaciones, que son analíticas y geométricas. Las primeras comprenden el cambio de variables, y constituyen el instrumento más precioso del análisis, no hallándose sujetas á reglas generales, pues dependen de la cuestión á que se aplican. Su objeto es la simplificación de las expresiones; y por consiguiente, de los procedimientos.
Las transformaciones geométricas son numerosas, entre ellas las más importantes son: Transformación lineal, por radios vectores recíprocos, la Cremoniana, etc.
c) Principios subjetivos. Estos son: 1.º Principios lógicos, que comprenden los criterios, distintivos de las operaciones lógicas, que se refieren al sujeto. En este caso, se trata de los modos de actuar la inteligencia en la formación de los juicios lógicos, con subordinación á las categorías matemáticas, lo que ha originado el Álgebra de la lógica.
2.º Principios de las operaciones algorítmicas ó principios combinatorios de las operaciones, referidas al objeto, sea el número ó la extensión.
3.º Ideografía. Según el pensamiento de Leibnitz, la ideo grafía es un sistema de signos que representan inmediatamente las cosas y no las palabras [7].
El carácter eminentemente abstracto de la Matemática permite realizar, en esta ciencia, mejor que en ninguna otra el ideal de Leibnitz, que le conducía á fundar una lengua racional.
Los matemáticos, dedicados al Álgebra de la Lógica, han hecho progresar esta tendencia, cuya expresión más perfecta es el lenguaje simbólico, que se expresa en la Matemática por el cálculo simbólico, á cuyo desarrollo han contribuido Poisson, con sus paréntesis, Cauchy con sus claves algebraicas, Grassmann con su cálculo formal, y finalmente, Boole, Morgan, Peirce, Cayley y otros al fundar varias especies de Álgebra, etc.
Pero lo importante en la Ciencia no son estas consecuencias, cuyo número no tiene límite; sino los puntos culminantes que, á distintas alturas, son principios fecundos de multitud de verdades, á ellos subordinadas.
Así, lo llamado Geometría elemental, entre las geometrías, es la Determinativa elemental cuantitativa. La medida es su primera aplicación, ó la determinación cuantitativa (que es como la Aritmética en la Algoritmia) [8].
Y sobre ellas está la Geometría sistemática, aplicación de la teoría de los grupos, y que estudia las especies de grupos, proyectivo, de rotación, traslación, de los movimientos euclídeos etc.
La Algoritmia tiene la determinación elemental: suma, multiplicación, potenciación, con sus inversas, correspondiendo á la segunda la radicación y logaritmación, que originan las cantidades irracionales y trascendentes.
La Aritmética trata de los Algoritmos elementales, desde el punto de vista práctico. Es como un tratado de resolución de problemas ó ejecución, que lleva á la realidad del número el Tratado general de la Algoritmia finita ó el Álgebra.
El Álgebra resuelve, en su totalidad, el problema del Cálculo, correspondiente á la determinación geométrica, en sus dos fases, que constituyen el problema directo ó generación de las cantidades, por medio de los algoritmos elementales, y el problema inverso, ó resolución de ecuaciones. Como la Geometría, está subordinada á la teoría de los grupos, en la que se funda la resolubilidad de las ecuaciones.
Los sistemas de ecuaciones no deben considerarse como for mando sección aparte con el estudio de una sola ecuación. En Geometría se dan varias figuras, que determinan otras. En Álgebra lo mismo, respecto al número.
El problema general de la Matemática se reduce á determinar una cantidad ó varias por medio de otras dadas, ó establecer la coexistencia de elementos dados arbitrariamente, con otros determinados por los primeros.
La determinación es siempre posible (cuando no hay contradición), mediante la adjunción de nuevos elementos (imaginarios ó infinitos), cuya definición y determinación es objeto de los sistemas de Algebra que originan.
Pero en Geometría, como en la Algoritmia, la influencia de unos elementos en otros se deja sentir de varias maneras. Unos fluyen ó varían, determinando, al variar, objetos diversos, ya sean cantidades numéricas, ya líneas, superficies, etc.; y otros permanecen invariantes; de lo que resultan las relaciones expresadas por los invariantes y covariantes de diversas especies.
Las series, los productos infinitos y las integrales definidas, son las formas generales de las funciones que, en su último caso, son las trascendentes, comprendiendo dentro de esta extensión las funciones enteras y racionales, los dominios más reducidos, á las que siguen las irracionales; pues tenemos, sobre éstas, las funciones logarítmicas, las circulares é hiperbólicas, las eulerianas, las elípticas, etc.
Y sobre este cálculo de las diferencias finitas existe el cálculo infinitesimal. La derivada en éste es como la unidad en Aritmética. Mediante las derivadas, las funciones se relacionan unas con otras. La derivada señala la ley de crecimiento de cada función, al mismo tiempo que por su representación geométrica, da el modo de generación de las curvas que se extiende al de las superficies.
Innumerables son las memorias publicadas acerca de estos nuevos descubrimientos, que se enlazan desde luego con las representaciones de Cauchy y más tarde con la de Riemann, que se aplican á las nuevas funciones como á las demás. Especialmente las transcendentes abelianas han exigido, para su desarrollo y fácil exposición todo el contingente importado por Riemann con el Analysis situs, y aun los recursos de la Geometría numerativa, que parten de las formulas de Plücker. Y basta, para formarse una idea de tan inmenso desarrollo, leer Die Entwicklung der Theor. d. Algebr. Funct., de los Sres. Brill y Nöther.
Por otra parte, la teoría de las funciones analíticas se desarrolla, sobre los materiales que aún permanecen fijos del edificio clásico. Sus tres bases actuales son las singularidades, los conjuntos y los grupos.
Como la teoría de las ecuaciones diferenciales, con la que se asimila, constituyendo su antecedente necesario, ó su aspecto complementario, en la relación según la que se hallan la existencia explícita ó implícita de un ser, tal como existen los simples en los compuestos de la Naturaleza, la teoría de las funciones analíticas presenta inagotables dificultades. La Ciencia ofrece siempre campo para la exploración; se renueva constantemente; su aspecto cambia, su esfera se dilata. Cuanto más parece estar hecha, más está por hacer.
De ello dan testimonio los muchos trabajos que se publican en Revistas y obras especiales. Debe consignarse especialmente la serie de monografías (Collection de monographies sur la théorie des fonctions) que se publican bajo los auspicios de M. Borel.
Además, según la dirección de los descubrimientos de Fourier, citaremos las últimas publicaciones de los Sres. Harnack, Klein y Neumann, en Alemania, de Niels Nielsen, en Dinamarca y, en Italia, del Sr. Dini; en la dirección de Lie y Fuchs, colaboran espléndidamente Herr Klein, así como los discípulos Engel y Scheffers, de Lie, etc.; los trabajos de Brill y Nöther, las obras de Fricke, Hilbert, Hansen y Landsberg en direcciones varias, etc.
Stolz en su Vorl. ü Allgem. Arithm., llevó hacia la teoría de los números estos desarrollos en que se nota preferentemente la influencia de Weierstrass, así como los profesores Hilbert, Pringsheim, Weber, etc., en varias direcciones.
Por último, como en las teorías anteriores, sobre el cálculo integral, que engendra directamente, calcula y determina las propiedades de las funciones, se halla el cálculo general de las ecuaciones diferenciales. Esta álgebra de lo infinito, que en vez de hacer explícito un valor, transporta á una cantidad de una región del quantum á otra incomparable con ella, de orden distinto, ha de hacer explícita una cantidad finita, de entre las relaciones infinitesimales que la envuelven, por relaciones impuestas en cada ecuación; aspirando, por consiguiente, á resolver el problema de mayor dificultad en él dominio de la cantidad. Y así, como en las ecuaciones algebraicas, no siempre es posible expresar por los signos del Álgebra, mediante un número finito de términos, la incógnita, oculta bajo la forma de una ecuación finita, en la teoría de las ecuaciones diferenciales esta dificultad se halla complicada con la de transportar la cantidad de un dominio infinitesimal á otro finito.
La teoría de las ecuaciones diferenciales, que constituye el problema general de la obtención de las funciones, comprende la rama superior de la Matemática, que envuelve bajo su indefinida extensión y comprende, como dominios subalternos todas las de más ramas que se refieren al número y á la extensión, constituyendo la superior síntesis en que se funden estas, dos manifestaciones de la cantidad. Y, en efecto, desde su origen, al formularse el problema inverso de las tangentes, nace el cálculo integral y por consiguiente, la teoría de las ecuaciones diferenciales con un carácter eminentemente geométrico. Las integrales vienen representadas por curvas, las soluciones singulares se presentan bajo la forma de envolventes, las integrales definidas se esquematizan por medio de áreas. Y más tarde, bajo la influencia de Cauchy, las integrales tienen por sosten contornos dados; y sucesivamente, los puntos singulares se contienen en contornos infinitesimales, y llegan á ocupar líneas ó cortaduras y aún espacios lagunares.
Lo imaginario interviene de un modo sistemático para dar una representación geométrica á las funciones; y complicándose las circunstancias especiales en que éstas existen, según su propia naturaleza ó según las condiciones impuestas para formarlas, es necesario que los principios de la Combinatoria concurran á determinar y clasificar dichas circunstancias. Las fórmulas de Plücker son un fundamento necesario, como las características de Chasles, como las conexiones de Riemann para ordenar las afecciones varias de cada función; para estudiarlas y seguirlas en todos sus detalles.
Por otra parte, el empleo de las desigualdades que rigen la continuidad de las funciones, permitiendo la prolongación analítica y seguirlas en sus desarrollos, por series, productos infinitos, integra les definidas y, cuantas maneras de expresarlas se conocen, completan desde el punto de vista numérico, aquellas determinaciones geométricas que rigen su multiplicidad, sus singularidades, su periodicidad, etc. Todo lo que hoy conduce á dar su representación, por medio de sus ceros, sus polos y sus puntos esenciales.
Pero estos problemas, á pesar del inmenso avance de la Matemática en el siglo xix, aún presentan dificultades, y dejan amplísimo campo á la investigación, justificando ese incremento de la Matemática por intus-susception, por desarrollo interno de ciertos conceptos ó puntos especiales que la dilatan de dentro á fuera, á pesar de su carácter eminentemente sintético y deductivo; lo que resulta de la identificación de los dos procesos analítico y sintético en todo el curso del encadenamiento ideal.
No hay más que recorrer las conferencias dadas por M. Picard, bajo el título, Sur le développement de l'Analyse, para formarse una idea del trabajo titánico que requiere el ir conquistando las posiciones que el campo de la Matemática ofrece á la inteligencia. Pues si el mundo de la materia ofrece variedad de hechos sin cuento, las relaciones del número y la extensión tan solo, se mueven en el campo de la inteligencia, y originan un mundo ideal, no menos extenso que el contemplado al través de nuestros sentidos.
M. Picard recorre algunos de los puntos culminantes de la teoría desde que Cauchy comenzó la serie de investigaciones que se han sucedido, para establecer el teorema de la existencia de las integrales de las ecuaciones diferenciales, señalando algunos resultados paradojales que habían sorprendido á los matemáticos, cuyos esfuerzos han contribuido lentamente á disiparlos y hacer brotar de ellos la luz. Los conceptos de la integral de las ecuaciones de derivadas parciales se han depurado por las investigaciones de varios de los actuales matemáticos, especialmente de M. Darboux, el más caracterizado representante de aquella evolución clásica y M. Goursat; y aun debe citarse al mismo M. Picard, cuyo método de las aproximaciones sucesivas es hoy uno de los fundamentos capitales de la moderna teoría, á la que han contribuido actualmente los señores Poincaré, Painlevé, en Francia, Mittag-Leffler, en Suecia, y Forsyth, en Inglaterra, etc.
La Algoritmia y la Geometría se edifican sobre cada uno de sus dos objetos propios: el número y la extensión. Y desde este momento se ejerce la acción combinatoria de nuestra inteligencia para formar los diversos algoritmos ó sistemas geométricos.
La acción provechosa de la Filosofía, sirve para producir una reacción en la Matemática; que siempre queda encerrada en sus dominios, conservando su completa independencia de los cambios de sistemas filosóficos, de los exclusivismos de éstos. Pero en el desenvolvimiento de la inteligencia humana, el resplandor de las ideas más abstractas ha iluminado el mundo concreto, que se modela siempre bajo la forma que le dan aquéllas. El análisis, fija, robustece y depura esta correspondencia.
La aspiración constante de Poncelet, respecto al principio de continuidad se realiza. La Matemática forma con ideas una trama continua y sólida, que nada puede quebrantar, pues aquéllas por su generalidad, se oponen á las contingencias de lo individual, cuya multiplicidad en su contenido conduce á lo eternamente discutible y difícilmente determinable. Los hiperespacios y los conjuntos son dominios ficticios que constituyen sistemas completos.
Este alejamiento de la intuición en las definiciones y conceptos matemáticos, se compensa ó neutraliza, sin embargo, con representaciones tales como las de Riemann y Klein, y en genera!, con un procedimiento complementario, á saber, los sistemas de transformaciones. Por éstos se pasa de un sistema de objetos á otro sistema de mayor sencillez.
Así se pasa, por ejemplo, de la Geometría sobre una superficie á la Geometría sobre un plano. Las transformaciones lineales constituyen el procedimiento mas generalizado. Á éste siguen las transformaciones isogonales ó representación conforme; y otras muchas pudieran citarse, como las transformaciones Cremonianas, etc.
Estas transformaciones hoy constituyen la vasta Teoría de los grupos de transformaciones, que comprende dentro de su generalidad el Álgebra de las formas. El rígido enlace suple á la intuición en estas sustituciones de unos sistemas por otros, más convenientes para nuestros fines, hacia la demostración de las verdades ó hacia la simplificación de las cuestiones.
Puede afirmarse que el método matemático, consiste en una serie de sustituciones, que siempre reducen el estudio de las teorías más complejas a las mas simples y fundamentales, cuya verdad queda así incluída en la de las fundamentales, establecidas de un modo directo.
↑ Aunque en otro sentido más práctico, pueden citarse las Integraltafeln oder Sammlung von Integralformeln de Meier Hirsch (1810), y Nouvelles Tables d' integrales définies de Bierens de Haan (1867), que contienen 8.359 integrales. El Formulario del Sr. Penno, tiene esta tendencia de clasificación, basada en un análisis lógico de las proposiciones y su expresión esquemática
↑ Les définitions en mathématiques (L' Enseign math., 1904, p. 267).
↑ Couturat, La Logique de Leibniz. p. 61.
Obtenido de «https://es.wikisource.org/w/index.php?title=Algunas_consideraciones_sobre_filosofía_y_enseñanza_de_la_matemática/Libro_I_Capítulo_II&oldid=872465»
Esta página se editó por última vez el 14 ago 2017 a las 13:25.

References: resolución 
 resolución 
 resolución 
 resolución 
 resolución 
 resolución 
 resolución 
 resolución 
 resolución