Divulgaciones Matemticas 3(1/2) (1995), 115120 a

La Controversia entre L. Kronecker y G. Cantor acerca del Innito

The L. Kronecker - G. Cantors Controversy about Innite
Mar Cristina Solaeche Galera a
Departamento de Matemticas. Facultad de Ingenier a a. Universidad del Zulia. Maracaibo. Venezuela. Resumen En este art culo se expone la Controversia del Innito suscitada entre L. Kronecker y G. Cantor. El innito perturb a la Greo cia Antigua que intent someterlo a la intuicin natural: el peio o a ron de Pitgoras y Platn, las apor de Zenn y las antinomias a o as o de Demcrito y Aristteles. Rechazado por Galileo. De carcter o o a pluralista y mensurable para Leibniz. Soporte del Anlisis Ina nitesimal de Newton en tiempos de la Ilustracin. Desvanecedor o de todo nitismo en el materialismo de Spinoza. Idea central del idealismo trascendental de Kant, Fichte, Hegel y Schelling en poe ca de revoluciones. Tema de Bolzano en sus paradojas del innito. Repugna el sentido comn segn Du Bois-Reymond fundador u u de la moderna Electrosiolog Cuestionado exhaustivamente en a. el siglo de las tecnolog por Klein, Poincar, Gdel y Cohen. as e Fervientemente defendido por Hilbert y Russell. La polmica ha e recogido argumentos mtemticos, lgicos, metaf a a o sicos y teolgio cos, pero ninguno tan envuelto en un denso fanatismo como el de L. Kronecker. A todo ello, Cantor especic exactamente lo que o se debe hacer para denir el innito. Abstract In this paper we expound the controversy about innite raised between L. Kronecker and G. Cantor. The innite perturbed ancient Greece, which tried to subdue it to natural intuition: the

apeiron of Phytagoras and Plato, Zenos aporias and the antinomies of Democritus and Aristotle. It was rejected by Galileo. Of pluralistic and measurable character for Leibniz. Support of Newtons innitesimal analysis in times of the Illustration. Vanisher of every nitism in Spinozas materialism. Central idea in the transcendental idealism of Kant, Hegel and Schelling in epoch of revolutions. Theme of Bolzanos paradoxes about innite. Disgusting to common sense according to Du Bois-Reymond, founder of modern electrophysiology. Exhaustively questioned by Klein, Poincare, Gdel and Cohen in the century of technologies. Fervently defended by Hilbert and Russell. The polemic has gathered mathematical, logical, metaphysical and theological arguments, but none of them are so involved in a dense fanaticism as Kroneckers. Regarding all this Cantor specied exactly what must be done to dene innite.

Desde la antigua e idealista Grecia de Pitgoras y Platn hasta nuesa o tros d diversas opiniones sobre la Matemtica se han mantenido al as, a ritmo de los vaivenes del pensamiento humano. Algunos matemticos opinan, que la Matemtica es una verdad absoa a luta independiente del hombre, al que corresponde descubrirla partiendo de la fuente del conocimiento que existe en los recuerdos de su alma inmortal, por lo tanto, los conceptos matemticos tambin son indepena e dientes de la experiencia y poseen una realidad propia; se descubren, no se les crea o inventa. Se considera la abstraccin como parte de la prepao racin para ese conocimiento del Universo Ideal que atraviesa el camino o de la deduccin, analizando lo que considera existente y deduciendo una o verdad que se acepta o demuestra, o una contradiccin que se rechaza o para poder llegar a la conclusin deseada. o Otros matemticos sostienen, que slo parte de la Matemtica est prea o a a determinada. Que el Intuicionismo basado en la intuicin como la faculo tad de diferenciar e identicar con claridad el objeto del pensamiento, al llenar de contenidos el juicio y conferirle sentido sirviendo como criterio de verdad, desempea un destacado papel en esta corriente constructivisn ta la cual posee signicacin real cuando los conceptos emitidos pueden o ser construidos por la mente, admitindose solamente aquellos que no e slo denen un objeto sino que tambin inducen la manera de encono e trarlo. Gran parte de este grupo son nitistas que niegan el contenido real y objetivo de la categor del innito basndose en que la innitud a a no existe en el Universo, ni en el microcosmos, ni en el pensar mismo del ser humano. Un tercer grupo opina que la Matemt es una creacin humana a ca o 116

y a medida que avanza proporciona y aclara con mayor rigor, profundidad y plenitud las propiedades y relaciones entre los elementos de la Naturaleza, a travs de los modelos matemticos creados al desechar e a unas hiptesis y conrmar otras. En su formalismo, aspira resolver los o problemas recurriendo a construcciones axiomticas y formales que ina terpreten la veracidad de las teor obtenidas como lo no contradictorio as a las mismas, aceptando sin reservas la innitud potencial y actual. En el girar del mundo del pensamiento, dos matemticos del siglo a XIX protagonizaron la llamada Controversia del Innito: Leopold Kronecker (1823-1891) y George Cantor (1845-1918). L. Kronecker con su epigrama: Dios ha creado los nmeros natuu rales, el resto es trabajo del hombre y su pitagorismo meticuloso que insiste en descartar el innito, edicando toda la Matemtica a partir de a los nmeros Naturales y realizando operaciones constructivas en nmero u u nito, se coloca entre uno de los representantes ms radicales del Finia tismo al rechazar el innito como: . . . futilidad perniciosa heredada de losof anticuadas y teolog confusas, pudiendo llegar sin l tan lejos as as e como se quiera. . . En su tiempo, se consider uno de los fundadores del Operacionao lismo, en el cual, un concepto puede denirse unicamente mediante la descripcin de las operaciones utilizadas y, cobra signicacin si es aplio o cado y comprobado, mientras, los no vinculados a operaciones de ningn u tipo se consideran sin sentido. Leamos sus propias palabras entresacadas de una misiva dirigida al matemtico Hermann von Helmholtz, con a motivo de los estudios que ste ultimo realizaba sobre la caracterizacin e o de las Geometr en las que son posibles los movimientos r as gidos: La riqueza de su experiencia prctica con problemas sanos e interesantes, a dar un nuevo sentido y un nuevo a mpetu a las Matemticas. La especua laci6n matemtica unilateral e introspectiva conduce a campos estriles. a e Al mismo tiempo, G. Cantor escrib La Matemtica es completamena: a te libre en su desarrollo, y sus conceptos slo se ven restringidos por la o necesidad de ser no contradictorios y estn coordinados con los concepa tos previamente introducidos mediante deniciones precisas. La esencia de la Matemtica es su libertad, preriendo siempre utilizar el trmino a e Matemtica libre, al ms generalizado Matemtica pura. a a a Para Euclides, la nocin de innito potencial se puede resumir en su o expresin: . . . para toda l o nea larga, siempre existe otra ms larga. . . , a razonamiento que resultaba de extrapolar la experiencia natural. Sin embargo, el concepto de innito actual o completo, urg en el siglo a 117

XIX de alguna mente osada que se atreviera a dar el salto que lo deniera por vez primera libre de esquivamientos. Recordemos, que por innito actual se entiende en Matemtica un conjunto sin n, acabado a y ya realizado; por innito potencial, un conjunto sin n susceptible de incremento o disminucin ilimitados, hacindose mayor o menor que o e cualquier magnitud establecida de antemano. Ya en el pasado, las paradojas de Zenn provocaron el alejamiento o del pensamiento griego de la categor de la innitud que slo lograba a o abrumarlos y confundirlos. Pero, en el siglo XIX la obra de G. Cantor dota de contenido matemtico al concepto del innito actual, demosa trando con rigor y formalismo que es una nocin indiferenciada. Su o creacin de la Teor de Conjuntos introdujo denitivamente el innito o a actual y otras ideas igualmente revolucionarias que le hicieron concluir: . . . la cardinalidad de los conjuntos innitos puede variar y ciertos conjuntos son ms innitos que otros. As de un conjunto numerablemente a , innito se pueden generar innitos conjuntos innitos. . . Las paradojas cantorianas quebraron la hasta el momento slida cono anza de los matemticos en las concepciones del innito, al demostrarse a rigurosamente que existe una jerarqu de innitos, cada uno mayor que a su precedente. En 1874, paralela al nacimiento de la Teor de Conjuntos de Cantor, a nace una infeliz oposicin a ella a cargo de L. Kronecker, quien fervieno temente se dedic a contradecir y desterrar en lo posible toda idea cano toriana. Se hicieron clebres estas disputas generadas por L. Kronecker e y centradas en el concepto de innito potencial como opuesto al innito actual; atac duramente la, a su parecer, atrevida postura matemtica o a de Cantor; se basaba para ello en un Intuicionismo y un Constructivismo que le proporcionaban resultados muy diferentes en un nmero u nito de etapas. A pesar, de que esta animosidad de L. Kronecker hacia C. Cantor se fundamentaba en diferencias cient cas muy fuertes y posturas loscas al parecer irreconciliables para l, con el tiempo o e degener en una vituperante invectiva personal al calicar a Cantor de o renegado, charlatn, corruptor de la juventud estudiosa. . . , en a una postura doctrinal inexible, que aunada a la dbil fortaleza de Cane tor, provoc o al menos contribuy en l a crear fuertes desasosiegos, o o e temores y angustias que lo forzaron a recluirse en un sanatorio. Cantor sol publicar sus resultados en el Journal de Crelle, del cual Kronecker a era uno de sus editores y, con el poder que este cargo le confer detuvo a, intencionalmente en 1877 toda publicacin de quien aos antes fuera su o n ms excelente alumno. a 118

Kronecker abogaba por la construccin de una Matemtica fundada o a en los nmeros enteros y combinaciones nitas de ellos; por su parte, u Cantor aduc que aceptar esa r a gida postura era equivalente a anular prometedores desarrollos y gravar todo avance matemtico. La Teor a a de Cantor sobrevivi a los amargos aos iniciales de dudas, denuncias y o n acorralamientos, fortalecindose vigorosamente y revolucionando el pene samiento cient co de la Matemtica durante los siglos XIX y XX. a Posteriormente, D. Hilbert convirti las demostraciones de pura exiso tencia en potentes herramientas que produjeron valiosos resultados remitiendo constantemente la violenta objecin a sus mtodos; su esfuerzo o e es plasmado en su frase: Nadie puede expulsarnos del para de los so pensamientos de Cantor. Pero, el tiempo transcurre. . . y en 1931, K. Gdel demuestra que el formalista est condenado al fracaso al probar a que no existe ningn sistema de axiomas adecuado para la Matemtica, u a porque ser incompleto. a Sin embargo, estas y otras posturas no han logrado an establecer u un planteamiento de la Matemtica aceptable universalmente. Podemos a atenernos si lo deseamos al grupo N. Bourbaki, optimista en su armacin: Hace veinticinco siglos que los matemticos vienen practicando la o a costumbre de corregir sus errores, viendo as su ciencia enriquecida y no empobrecida; esto les da derecho a contemplar el futuro con serenidad o quizs en la opinin de H. Weyl: El problema de los fundamentos ultia o mos y del signicado ultimo de la Matemtica sigue abierto; no sabemos a en qu direccin hallar su solucin nal, ni siquiera si cabe esperar en e o a o absoluto una respuesta nal objetiva. El matematizar muy bien pudiera ser una actividad creativa del hombre, como el lenguaje y la msica, u de una originalidad primaria, cuyas decisiones histricas desaf una o en racionalizacin objetiva completa. o Pero dejemos al lector una serie de preguntas que tal vez lo motiven acerca de cualesquiera de las posturas matemticas presentadas y a encaucen sus juicios sobre la controversia planteada y sus consecuencias. Acaso la intuicin es manipulada por los lenguajes de la losof y o a la ciencia? La experiencia, proporciona siempre conceptos que pueden expresarse claramente en trminos formalistas? e Hasta dnde el formalismo limita el conocimiento? o Intuicionismo, Constructivismo, Formalismo y Axiomatizacin obeo decen a leyes externas o al conocimiento? El Innito: Tentacin del pensamiento humano, trmino que nos o e remite al misterio consolador, categor que exige explicacin cient a o ca, 119

concepto denible loscamente, evidente en su existencia, inalcanzable o en su concretacin, razn suciente para la unidad matemtica, concepto o o a anrquico de un anarquista de esta ciencia, ideal que se pretende alcanzar a o utop irrealizable? a

120