DEL NEOHUMANISMO AL ORGANICISMO: GAUSS, CANTOR Y LA MATEMTICA PURA.

Jos Ferreirs
Universidad de Sevilla

1. Introduccin Los nombres de Gauss y Cantor se cuentan entre los ms clebres de la matemtica moderna y contempornea. Se trata de dos figuras seeras, que imprimieron su sello en el avance de la matemtica moderna de finales del XIX y principios del XX. El nombre de Gauss identifica un punto de inflexin en el que las viejas tradiciones de la aritmtica, el lgebra y el anlisis se redefinen en un sentido ms abstracto, reformulndose en un contexto de matemtica pura y dando lugar a desarrollos que prefiguran una parte importante de la matemtica moderna. El nombre de Cantor aparece siempre como sinnimo de la teora de conjuntos,1 que vino a constituir el nuevo lenguaje, la metodologa y el marco general en el que termin por formularse esa matemtica moderna y abstracta. Pero, si esos nombres se identifican plenamente con la nueva matemtica, resultar extrao a muchos encontrarlos asociados al movimiento romntico. Con respecto a Cantor, esa reaccin slo puede deberse a la ignorancia, ya que las resonancias romnticas se encuentran en lugares muy significativos de su obra y su correspondencia. En cambio, la figura de Gauss parecer a casi todos, incluyendo conocedores expertos, demasiado serena, clsica y conservadora como para tolerar la compaa del adjetivo romntico.

1 En otro lugar he argumentado que esa presentacin simplifica demasiado: Ferreirs [1999].

166

jos ferreirs

En lo que sigue mostrar que, a pesar de las apariencias, el trasfondo romntico contribuye mucho a iluminar la direccin de los trabajos matemticos de ambos autores. Pero la relacin es ms compleja, lo que quiz hubiera complacido a un Schelling: la relacin entre estas dos figuras y su trasfondo es orgnica o, como diramos hoy, interactiva. En realidad, mi propsito ms inmediato ser contribuir a una comprensin ms rica del periodo romntico por la va de la reflexividad. Documentarse y analizar la historia del periodo romntico invita a una reflexin crtica sobre la propia visin historiogrfica que nos leg. El romanticismo suele concebirse como una era impregnada de nuevas concepciones histricas, progresistas y evolucionistas de la humanidad, y, en el caso alemn, como un periodo empapado de idealismo. Curiosamente, buena parte de la historia de la ciencia en esa era parece estar demasiado influenciada por la idea romntica del Zeitgeist [espritu del periodo]. Muy a menudo la discusin sobre la ciencia y el romanticismo en Alemania se reduce al problema de hasta qu punto la Natrphilosophie idealista influy sobre los cientficos alemanes y hasta qu punto dej huellas en las nuevas orientaciones de la ciencia decimonnica. Este planteamiento da por supuesto que el idealismo absoluto es un elemento nuclear del Zeitgeist romntico y define en buena medida la esencia del romanticismo alemn. Aqu enfatizaremos la idea de que es un error que los historiadores tendamos a identificar el romanticismo (en su dimensin filosfica) con el idealismo absoluto. La era romntica fue un periodo cultural complejo y multiforme, marcado por tensiones entre tendencias en conflicto, y bien puede suceder que no haya una esencia simple del periodo. Sobre todo, el movimiento romntico es anterior y posterior al idealismo absoluto, de manera que lo desborda por delante, por detrs, e incluso por los flancos: an en el momento lgido del idealismo hubo autores muy influyentes entre los cientficos, como Fries y Herbart, que se desligaron explcitamente del idealismo absoluto. Anteriormente, encontramos el Neohumanismo, una nueva tendencia cultural, intelectual y educativa; con posterioridad, aparecen varias tendencias que cabe calificar de romanticismo tardo, entre ellas diversas reacciones al materialismo. Son estos fenmenos culturales los que veremos ligados al desar rollo de la matemtica pura. As pues, si estoy en lo cierto, pueden establecerse lazos importantes entre la nueva matemtica y el romanticismo, pero slo a condicin de que nos liberemos de la imagen romntica del Zeitgeist. Los historiadores de la ciencia que han buscado el impacto del romanticismo idealista se han centrado tpicamente en las ciencias naturales, sobre todo en la biologa (caso paradigmtico sera la embriologa, pero tambin la teora celular) y en menor medida en la fsica (el electromagnetismo, Oersted y Faraday, la fsica de la energa). Para esa tradicin historiogrfica el caso de la matemtica habra sido una excepcin, en la medida en que su continuidad con la tradicin clsica y moderna fue mucho mayor, y los matemticos se mostraron en general refractarios a las ideas especulativas de la Natrphilosop -

del neohumanismo al organicismo: gauss, cantor y la matemtica pura

167

hie. En mi opinin, por el contrario, el impacto de las concepciones romnticas sobre las matemticas fue grande, y su caso mucho menos excepcional de lo que se ha pensado.

2. Romanticismo pre-idealista: el Neohumanismo A juzgar por mis exploraciones superficiales de algunos manuales, el fenmeno cultural del movimiento neohumanista es bastante desconocido entre los historiadores de la filosofa. Sin embargo, es todo un clsico en la historial cultural de los pases alemanes, y bien conocido entre los historiadores de la ciencia que se han ocupado de este perodo. El Neohumanismo fue un movimiento educativo, y ms que eso: cultural, que liga la Ilustracin alemana tarda y el romanticismo temprano. Se trat de una renovacin de los ideales educativos que, como indica el nombre, pretenda ser una vuelta a lo mejor del humanismo renacentista. Se intent alcanzar una formacin integral o Bildung del hombre: el objetivo de la educacin no deba ser una simple meta utilitaria o profesional, sino la plenitud de las facultades fsicas, mentales y espirituales del hombre. Y para ello, el mejor medio era pensaban la frecuentacin de los arquetipos clsicos, un conocimiento profundo del griego y del latn, de la literatura, el arte y la historia antiguas. Igual que el humanismo renacentista, los neohumanistas estaban fuertemente influidos por las ideas educativas de Platn. Las disciplinas antes mencionadas (las humanidades), junto con la matemtica,2 constituiran la preparacin esencial del hombre que le ayudara a madurar y florecer hasta alcanzar la sabidura filosfica y aqu nos separamos de Platn, no en vano hablamos de la Alemania protestante las verdades de la fe cristiana. Neohumanistas importantes fueron los grandes fillogos Heine y Wolf, el filsofo Kant, escritores como Herder, Goethe o Schiller, por supuesto los hermanos Humboldt, etc. El movimiento tuvo un enorme impacto en toda la cultura alemana del XIX, y en los cientficos a travs de la reforma universitaria. Tuvo, por supuesto, un gran impacto tambin sobre los idealistas Fichte, Schelling y Hegel, pero no hay que tomar la parte por el todo: si bien idealismo implica Neohumanismo, la conversa no es vlida.3 Los ideales neohumanistas se mencionan siempre que se habla de las grandes reformas educativas del norte de Alemania: la refundacin de las
El papel pedaggico de la matemtica (como escuela del intelecto) se vea mucho ms claro que el de las ciencias naturales, y esto se reflej enseguida tanto en la enseanza media como en la universitaria. Cf. Jungnickel & McCormmach [ 1986]. 3 De la pluma de Gauss han salido comentarios como el siguiente, en referencia a Hegel: No se le ponen a Usted los pelos de punta con sus definiciones? (carta a Schumacher, Werke XII, 6263), y tambin Cantor se expres en trminos muy crticos y humorsticos (vanse sus Abhandlungen, 391).
2

168

jos ferreirs

Universidades a partir de la nueva universidad de Berlin (1810) y la creacin de lo que nosotros llamamos bachillerato (los Gymnasien ).4 Mencionaremos rpidamente tres rasgos asociados al movimiento neohumanista que, para nuestros propsitos, conviene enfatizar: (1) el espritu contemplativo, purista y anti-utilitario, que tuvo su reflejo en el ideal de la ciencia pura, la ciencia por la ciencia (esto, dicho sea de paso, muestra que el Neohumanismo tuvo mucho de reaccin contra ciertas tendencias ilustradas); (2) asociado a ello, la reivindicacin de un estatus de igualdad entre la Facultad de Filosofa y las Facultades profesionales (asunto en el que Kant tuvo una intervencin notable), lo cual signific reivindicar la filosofa y las ciencias naturales y humanas como asuntos fundamentales de la Universidad, no meras siervas de la educacin profesional; y (3) la creacin de instituciones como los seminarios (introducidos por los fillogos: Heine en Gttingen y Wolf en Halle, hacia 1790, imitados luego por los cientficos) a travs de los cuales se promovi la unidad de enseanza e investigacin. Contra la tradicin, todo profesor deba ser investigador, y todo alumno deba tener contacto con la investigacin en el seminario. No es difcil advertir que algunos temas de las grandes reformas alemanas siguen resonando en los debates recientes de la Universidad espaola.

3. Carl F. Gauss, el Neohumanismo y la matemtica pura5 Qu tiene que ver Gauss con el Neohumanismo? Aparentemente nada: fue director de un Observatorio astronmico, es decir, un profesional ms que un cientfico puro en la jerga de la poca; se ocup de problemas de cartografa y geodesia al servicio del rey de Hannover; invent instrumentos de precisin para la fsica, e incluso uno de los primeros telgrafos. Parece pues un personaje de la Ilustracin, ms que un romntico. Sin embargo, todo indica que Gauss se vio a s mismo como un Arqumedes moderno, un Arqumedes al estilo platnico, como lo pint Plutarco en las Vidas parale las: sus actividades prcticas y sus mquinas, por importantes que fueran, no tenan ms relevancia que las mquinas de guerra del siracusano comparadas con sus joyas matemticas. No me resisto a citar el poema de Schiller Arqumedes y el aprendiz, un poema al que hizo alusin el propio Gauss en su leccin inaugural de 1808. Como Gauss, Schiller fue un marcado representante del Neohumanismo y un hombre influido por la filosofa de Kant:

Sobre este tema y otros relacionados, un estudio muy recomendable es McClelland [1980]. En conexin ms directa con las ciencias, Jungnickel & McCormmach [1986]. 5 Otros trabajos que hablan de neohumanismo y matemtica, sin analizar el caso de Gauss, son los de Pyenson [ 1983] y Jahnke [ 1990].

del neohumanismo al organicismo: gauss, cantor y la matemtica pura

169

Vino a Arqumedes un joven deseoso de saber; Inciame, le dijo, en ese arte divina, Que tan magnficos frutos dio a nuestra patria, Y protegi los muros ciudadanos frente a los sambuca.6 Divina dices que es el arte! Y lo es, replic el sabio, Mas ya lo era, hijo mo, antes de servir al estado. Si quieres frutos, puede drtelos tambin una mortal; El que aspira a la diosa, no busque en ella a la doncella.7

Este texto refleja a la perfeccin el espritu que anim a los cultivadores alemanes de la matemtica pura, y es que el Neohumanismo guarda una clave para entender la transformacin sufrida por la matemtica como disciplina, reflejo en el mundo de las instituciones cientficas efecto pero tambin causa renovada de una atmsfera cultural como la que se fragu hacia 1800. Encontraremos al Gauss neohumanista en la leccin inaugural sobre astronoma que pronunci a su entrada como director del Observatorio astronmico de la Universidad de Gttingen en 1808 (leccin que sigui repitiendo en sus cursos al menos hasta 1815 y probablemente ms all).8 Aquella leccin ofrece un magnfico cuadro general de la astronoma tal como la concibi el gran especialista que fue Gauss. Nos ofrece reflexiones sobre el cuerpo de los conocimientos astronmicos, pero tambin sobre la imagen que de esa disciplina matemtica tiene Gauss. Recordemos que este hombre joven se haba hecho clebre en 1801 al calcular con precisin la rbita de un asteroide, magnfica hazaa prctica y de clculo que simultane con una hazaa puramente terica de calibre todava mayor: la publicacin de las Disquisitiones arithmeticae , primer gran tratado moderno de teora de nmeros. En su leccin inaugural, un Gauss de 31 aos traza los objetivos principales de su primer curso universitario sobre astronoma, define el campo de esta ciencia y sus partes principales, y aborda la pregunta (tpicamente ilustrada) de qu provecho nos ofrece esta ciencia. Me encantara aqu darle la palabra a l mismo, porque el texto es inmejorable, pero debo resumir. Gauss conoce muy bien las ventajas que la astronoma ha aportado a la humanidad, y las expone magnficamente. Pero lo primero que nos dice es que preguntas como sa, si se formulan demasiado a menudo, no son un buen signo del espritu de los tiempos. Ese utilitarismo es mezquino y estrecho, fro e indiferente a lo que es grande y honra a la humanidad: revela la disposicin a medir la recompensa de cada esfuerzo, por pequeo que sea, y a condicionar todo a nuestro bienestar fsico. Semejan-

Mquinas de guerra que los romanos emplearon en el asedio de Siracusa, la ciudad de Arqumedes. 7 Citado en Ferreirs [ 1999], 6. 8 Astronomische Antrittsvorlesung [Gauss 1808].

170

jos ferreirs

te mezquindad no es en absoluto ajena dice Gauss a las catstrofes que hemos experimentado, sin duda en alusin a la Revolucin Francesa, la invasin napolenica y la derrota alemana en Jena (1806), donde por cierto muri el duque de Brunswick, benvolo protector de Gauss en sus aos juveniles. Ciencias como la teora de nmeros nunca habran surgido a la sombra de esa disposicin utilitaria, y tambin el desarrollo de la astronoma ha dependido de felices grandes espritus que fueron en pos de la verdad por s misma, encontrando su recompensa y su felicidad en el propio xito de sus esfuerzos. En este punto, Gauss rememora la figura de Arqumedes, tal como la describiera Plutarco, y hace referencia al poema de Schiller dndolo por bien conocido antes de decir: Consideremos tambin la sublime astronoma, ante todo, desde este bello punto de vista.9 Las respuestas ms dignas a la cuestin del provecho no son aspectos de utilidad material, sino la satisfaccin peculiar que nos ofrece la contemplacin de la verdad cientfica, su grandeza intrnseca como blsamo frente a los aspectos desagradables de la vida diaria, y tambin las huellas de la sabidura eterna que encontramos en el maravilloso orden del cosmos. Un punto de vista hermoso, sin duda, que habr recordado al lector la quintaesencia del purismo acadmico que caracteriz a los profesores alemanes en dcadas posteriores del siglo XIX y principios del XX, hasta la dcada de 1930. Aos del ascenso de Hitler al poder, lo que nos debe recordar, tambin, los peligros de ese aristocrtico amor a la contemplacin y su concomitante desdn por las cosas de la vida diaria, de la poltica, de los problemas sociales. Ese discurso marcadamente neohumanista fue pronunciado por Gauss, en 1808, en la pequea ciudad y la gran Universidad de Gttingen. La caracterstica ( 1) mencionada en la seccin anterior queda claramente ilustrada, y tambin se presenta en muchos otros lugares de la obra y la correspondencia de Gauss, por ejemplo sus conocidos comentarios sobre la teora de nmeros. En cuanto al aspecto (2), toda la carrera de Gauss, pero en especial sus esfuerzos por promover a otros como Dirichlet, W. Weber, Eisenstein, dan claro ejemplo de su fidelidad a las nuevas ideas. Slo el aspecto (3) es en parte extrao a la vida de Gauss: aunque fue un grandsimo investigador, y aunque las generaciones posteriores lo tomaron como modelo del nuevo cientfico alemn, vino al mundo demasiado pronto para vivir como protagonista el periodo en que se abord la enseanza de temas de investigacin. Esto llegara con admiradores y discpulos suyos como Jacobi o Dirichlet, pero Gauss nunca explic en Gttingen sus resultados originales en matemtica pura.

9 Gauss [1808], 191192. Gauss no olvida citar (en latn) un pentmetro de Ovidio, y luego una bonita frase de Jean Paul, su escritor preferido, antes de pasar por fin a la utilidad prctica de la astronoma.

del neohumanismo al organicismo: gauss, cantor y la matemtica pura

171

En el caso de Gauss, la nueva orientacin dio lugar a toda una serie de resultados y propuestas importantes en anlisis, fsica matemtica, geometra, teora de nmeros, etc. Comenz a apuntar un nuevo estilo abstracto de hacer matemticas, que los contemporneos designaron como enfoque conceptual, y que se consolidara con autores como Dirichlet y sobre todo Riemann, profundamente marcados por Gauss. Ms an, en el contexto del nuevo purismo y del enfoque conceptual, pero marcado tambin por influencias filosficas, Gauss avanz hacia una concepcin aritmetizante de la matemtica. Naca as tambin otro aspecto clave de la matemtica alemana del XIX: la aritmetizacin; como dijo Hilbert al final del siglo, la matemtica de aquel tiempo se desarroll bajo el signo del nmero. Gauss acu su nueva visin de los fundamentos y la organizacin del saber matemtico por medio de una frase griega: ho theos arithmetidsei , el dios aritmetiza. La historia de esta frase es, de nuevo, tpicamente neohumanista, como lo indica el mismo hecho de que se escriba en griego: se inspira en un dicho que Plutarco (otra vez Plutarco) atribuy nada menos que a Platn, el dios geometriza eternamente. Gauss corrige al divino Platn, y al hacerlo expresa un cambio importante en la concepcin del saber matemtico: la milenaria dominancia de la geometra da paso al triunfo del nmero. Esto tiene tambin una relectura filosfica, porque segn Gauss el conocimiento del nmero es puro, a priori , necesario y absoluto, mientras que la geometra fsica no queda determinada a priori, sino que contiene inevitablemente un elemento emprico.10 El auge de la matemtica pura en Alemania no fue una casualidad, sino un aspecto ms de las nuevas tendencias culturales y educativas que se originaron con el Neohumanismo de fines del XVIII. El ambiente neohumanista marc la situacin en las principales universidades del norte de Alemania: el Gttingen de Gauss y Riemann, el Knigsberg de Jacobi, el Berln de Dirichlet, Kummer y Weierstrass. Marc tambin las actividades de Alexander von Humboldt como promotor de las matemticas en Prusia, y las de Leopold Crelle como fundador de una revista fundamental, el Journal fr die reine und angewandte Mathematik. (Tngase en cuenta que Gttingen estaba en el reino de Hannover, bajo la influencia de Gran Bretaa, y que la dominancia del espritu neohumanista fue mucho mayor en Prusia.) La idea principal que estoy exponiendo es, por tanto, un argumento estilo Forman.11 Los matemticos se convirtieron en los profesionales que hoy conocemos a principios del XIX, en el contexto de las universidades alemanas, y ms concretamente en el ambiente neohumanista que se respiraba en la zona norte de Alemania. Esto les forz a adaptarse a un nuevo entorno,

Werke VIII, 201; citado en Ferreirs [1999], 15. En el lenguaje y las categoras que emplea en estas reflexiones, queda patente la influencia de Kant sobre Gauss, quien haba ledo sus obras con detenimiento en sus aos mozos. 11 Cf. Forman [1971].

10

172

jos ferreirs

enemigo de algunos de los rasgos que clsicamente haban definido al matemtico. En el siglo XVIII, la palabra matemtico tena ciertas resonancias negativas: se refera a un practicn, un tcnico, y sufra as la carga negativa que la tradicin occidental vena otorgando a todas las cosas corpreas frente a las del alma. Como en la tradicin antigua y medieval, toda una serie de temas mixtos o aplicados se consideraban partes de la matemtica. Abramos un manual de aquel entonces, por ejemplo el de Toms Vicente Tosca, y encontraremos captulos enteros dedicados a fortificaciones, balstica, etc. Esto contrasta mucho con lo que se poda encontrar en las universidades prusianas hacia 1850, porque aqu se haba efectuado una depuracin, separando la matemtica pura nica digna de representacin en la Universidad neohumanista de los temas tecnolgicos y aplicados.12 Estos tuvieron que encontrar acomodo en otros lugares: otros manuales, otras revistas (no la de Crelle), otras instituciones (las Technische Hochschulen, no las Universidades). Tal fue el espritu que anim a la reforma acadmica del XIX en Alemania y el contexto en el que los matemticos se convirtieron en un grupo importante de profesionales investigadores. Si pensamos por un momento en los efectos de semejante reforma, comprenderemos que los matemticos no podan integrarse plenamente en la universidad sin adaptar su actividad y su escala de valores al patrn imperante. Tngase en cuenta, especialmente, que en aquella poca el lugar de la matemtica y todas las ciencias no era otro que la Facultad de Filosofa, un entorno institucional especialmente refractario a todo lo que fuera utilitario o ingenieril.13 Esto nos da una clave para entender mejor el discurso inaugural que Gauss dio en 1808. Los matemticos tenan que estar a la altura de las expectativas neohumanistas, platonizantes, tenan que probar que su ciencia mereca la dignidad de figurar entre las disciplinas contemplativas de la Facultad de Filosofa. El proceso de adaptacin al nuevo entorno impuls a los matemticos a suprimir y abandonar aquellos aspectos de su actividad que haban estado asociados a actividades tcnicas y profesionales (recogidos por los ingenieros y los profesores de Escuelas Tcnicas), para centrarse en el cultivo cada vez ms exclusivo de problemas puramente matemticos, de los aspectos teorticos y contemplativos de su disciplina. Para cuando lleg el tiempo (mediados de siglo) en que la versin puramente romntica del Neohumanismo comenz a declinar y a combinarse con nuevas tendencias culturales, como el positivismo, la reorientacin purista haba tomado tanto impulso y se haba institucionalizado de tal modo, que su continuidad qued asegura-

12 La separacin se apunta ya en autores de fines del XVIII como Kant, lo cual favorece a la tesis que presento. 13 Buena muestra de ello son las dificultades que encontraron los qumicos de Prusia para instalar laboratorios y conseguir financiacin para ellos. Vase Turner [1982] y tambin Jungnickel & McCormmach [ 1986].

del neohumanismo al organicismo: gauss, cantor y la matemtica pura

173

da hasta el punto de expandirse a otros pases. El Neohumanismo es una tendencia cultural que no slo fue anterior al idealismo absoluto, sino tambin posterior a l: su impacto result muy profundo y perdur a travs de cambios notables en la configuracin del ambiente intelectual alemn (positivismo, neo-romanticismo, modernismo, historicismo). Ahora bien, el proceso que he descrito no debe interpretarse en trminos causales y unidireccionales, al gusto de los partidarios de la construccin social de la ciencia. Si la orientacin purista triunf, fue porque el cuerpo del conocimiento matemtico previamente disponible ofreca material ms que suficiente para suministrar problemas concretos y estimular refundaciones y reorganizaciones. Adems, la versin triunfante de la matemtica pura fue el resultado de un proceso de negociacin, no entre actores sociales, sino entre los matemticos promotores del purismo acadmico y las posibilidades y necesidades que ofreca el cuerpo de las matemticas. Tambin en este sentido fue de capital importancia la figura de Gauss, por su extraordinaria capacidad matemtica y creativa, unida a una notable sensibilidad filosfica. Tan puristas como Gauss fueron autores como Hindenburg y Martin Ohm, hermano del clebre fsico; si el nombre del primero se hizo mtico, mientras los otros dos eran cada vez ms ridiculizados, es por factores que desbordan el escenario social y cultural, por factores que cabe llamar cognitivos.

4. Georg Cantor: el organicismo en los orgenes de la teora de conjuntos Tambin la obra de Cantor se entiende mucho mejor en el contexto intelectual, cientfico y filosfico de su tiempo, pero en este caso hablamos de la influencia de ciertas corrientes post-idealistas, y de manera especial la influencia del organicismo. Resulta difcil desentraar la trama de las inspiraciones de Cantor, porque este hombre creativo y muy original elabor una filosofa propia a la medida de sus creencias pero tambin de sus matemticas, y, a la inversa, forj una matemtica nueva a la medida de su filosofa y sus convicciones ontolgicas y cientficas. Veamos de qu se trata. Lo primero que hay que decir y es una tesis polmica, pero que puedo argumentar en detalle sobre la base un prolongado estudio de la obra de Cantor14 es que la dedicacin de Cantor a problemas de la teora de conjuntos de puntos y la teora de conjuntos transfinitos no se puede explicar satisfactoriamente teniendo en cuenta slo los grandes problemas abiertos en

Vase mi artculo The motives behind Cantors set theory Physical, biological and philosophical questions, de prxima publicacin en el Festschrift para Sabetai Unguru que editar la revista Science in Context . Para una exposicin de las ideas de Cantor y sus motivaciones estrictamente matemticas puede verse mi libro Ferreirs [ 1999].

14

174

jos ferreirs

Fig. 1. En La contienda entre las Facultades ( 1798), Kant reivindi c la autonoma de la filosofa y las ciencias respecto al Estado y a la educacin profesional. Su moderado nfasis en la razn, la libertad, la verdad y la ciencia tena, aun as, implicaciones sub versivas.

Fig. 2. Retrato de Carl F. Gauss a la edad de 26 aos (18 03), momento en que ya gozaba de gran fama como matemtico y astrnomo.

del neohumanismo al organicismo: gauss, cantor y la matemtica pura

175

Fig. 3. En sus Fundamentos para una teora general de conjuntos (1883), Cantor introduce los nmeros transfinitos y con ello da el paso hacia la teora abstracta de conjuntos. Se trata de una de sus principales contribuciones, mezcla extraordinaria (como indica el subttulo) de matemti ca, ciencia y filosofa.

Fig. 4 Carta manuscrita de Can tor a otro profesor de Halle, Frie drich Loos, en la cual alaba la obra de ste y critica fieramente los ataques de Haeckel famoso evolucionista que formul una doctrina monista de corte materialista a la metafsica y la religiosidad tradicional.

176

jos ferreirs

la matemtica de su tiempo. Como dijo Poincar (un claro simpatizante) en 1883, eran desarrollos prematuros para el estado de la matemtica en aquel momento, o, como haba dicho su maestro Hermite, eran resultados para los que no se vea ningn inters real y presente. La teora de conjuntos de Cantor pertenece sin duda a la matemtica pura, y en este sentido nuestro hombre estaba plenamente inserto en la direccin que hemos visto inaugurar a Gauss. Pero, contra lo que parece a primera vista, la motivacin tras esa teora no era puramente matemtica. Haba grandes motivos matemticos, sin duda, pero haba tambin otros motivos cientficos y filosficos de peso. Para advertirlo, basta con atender a lo que nos dice el propio Cantor en su artculo ms importante, Grundlagen einer allgemeinen Mannichfaltig keitslehre [Cantor 1883]. Conviene resaltar que este artculo es sumamente peculiar, una pieza nica en la historia de la matemtica moderna por la rica y compleja mezcla de elementos matemticos y filosficos que ofrece. Cantor lo public enseguida como libro, y le puso por ttulo Fundamentos para una teora general de conjuntos. Una investigacin matemtico-filosfica sobre la teora del infinito. En esta obra es donde introdujo los clebres nmeros transfinitos, que sirven para el anlisis abstracto de los diversos tipos de conjuntos bien ordenados y de sus cardinalidades. El paso era radical, y Cantor se sinti obligado a defenderlo de manera especial en el frente filosfico, respondiendo a las viejas crticas de Aristteles, de los escolsticos y de muchos otros filsofos, replicando a las nuevas crticas de Kronecker, y exponiendo ciertas tesis epistemolgicas y metafsicas que relaciona explcitamente con los sistemas de Platn, Spinoza y Leibniz. Por primera vez en su carrera, Cantor hizo confesin pblica de convicciones filosfico-cientficas que albergaba desde diez o ms aos antes.15 En los Grundlagen [1883, 8, 181182] abraz una combinacin de realismo e idealismo (estos dos tipos de realidad [inmanente o ideal y transiente o externa] siempre se dan a la vez) cuyo fundamento sita en la unidad del todo al que nosotros mismos pertenecemos y que basa en ideas teolgicas inspiradas por Spinoza, Leibniz y los telogos catlicos y en una epistemologa de inspiracin neoplatnica. No se piense que la conexin entre estos elementos y sus matemticas es forzada o extrnseca: Cantor discuta lo que acabamos de indicar en la seccin 8 de la obra, dedicada precisamente a justificar la metodologa propia de la matemtica moderna. Utiliza esas ideas especulativas precisamente para defender una idea clave que luego hara famosa Hilbert: que en relacin a los objetos matemticos, para considerarlos legtimos y existentes, basta con que estn bien definidos y que formen un sistema lgicamente consistente (o sea, basta su realidad inmanente o ideal, vase arriba).

15 Ya durante su carrera y tras el doctorado en teora de nmeros (1867) estudi muy a fondo la filosofa de Spinoza, y de nuevo en el invierno de 187172, cuando escriba sus artculos ms famosos sobre anlisis matemtico (series de Fourier).

del neohumanismo al organicismo: gauss, cantor y la matemtica pura

177

Pero el pasaje que nos interesa ms, por las revelaciones que ofrece a propsito de las motivaciones de la teora de conjuntos cantoriana, se encuentra algo antes, al final de la seccin 5 de su escrito. Aqu manifiesta Cantor su esperanza en que los nuevos mtodos de la teora de conjuntos contribuyan a resolver las dificultades que encontraron los sistemas de Spinoza y Leibniz, poniendo de nuevo en pie su aproximacin a la realidad fsica y mental. Dichas dificultades, contina, condujeron a la filosofa crtica de Kant, pero ni esta doctrina ni sus sucesoras han logrado dar un sustituto adecuado a las teoras de Spinoza y Leibniz. Cito ahora textualmente:
Pues junto a (o en lugar de) la explicacin mecnica de la Naturaleza que en su dominio propio ha contado con todas la ayuda y las ventajas del anlisis matemtico, pero cuya unilateralidad e insuficiencia han sido expuestas magnficamente por Kant, no ha habido hasta ahora ni siquiera el inicio de una explicacin orgnica de la Naturaleza, que tratara de ir ms all y que estuviera armada con idntico rigor matemtico. Una tal explicacin orgnica slo podr iniciarse, segn creo, retomando de nuevo y desarrollando la obra y los esfuerzos de aquellos dos pensadores.16

La crtica al mecanicismo se haca ms explcita en una carta de 1886 a Valson,17 donde Cantor llegaba a afirmar que la gran obra de Newton, Princi pia, se haba convertido en la causa real del positivismo y el materialismo actuales, que se han convertido en una especie de monstruo y se pavonean con el brillante ropaje de la ciencia. Y ello, a pesar de las buenas intenciones del propio Newton, pero a causa de los graves defectos metafsicos y las perversiones de su sistema. Dos aos antes, en 1884, Cantor haba confesado a Mittag-Leffler el influyente matemtico sueco que fund la gran revista Acta Mathematica que desde 1870 vena trabajando en el proyecto de una profundizacin rigurosa en la esencia de todo lo orgnico, lo que haba requerido la creacin de herramientas matemticas completamente nuevas: la teora de conjuntos.18 Precisamente entre 1882 a 1885, aos clave por la riqueza y profundidad de las nuevas ideas que public, Cantor elabor algunas hiptesis sobre la constitucin de la materia y del ter, explotando su nuevo anlisis conjuntista del continuo, e introduciendo ideas novedosas en teora de conjuntos de puntos. Su pretensin era desarrollar una gran teora unificada de las fuerzas fsicas y qumicas, con vistas a aplicarla al reino biolgico y as avanzar en el proyecto organicista. Estas hiptesis, publicadas en un artculo que apareci en Acta Mathe matica en 1885,19 se nos antojan hoy muy pintorescas. Convencido de que

Cantor [ 1883], 177. Francs que, significativamente, era autor de biografas de Ampre y Cauchy. La carta, sin fecha, aparece en Purkert & Ilgauds [ 1987], 208209. 18 Carta del 22 Sep. 1884, en Cantor [ 1991].
17

16

178

jos ferreirs

una teora satisfactoria de la Naturaleza deba partir de elementos simples de la materia y el ter, rigurosamente puntuales y dados en nmero infinito, Cantor postulaba por ejemplo que el conjunto de elementos corpreos es enumerable (del tamao del infinito ms pequeo, 0 en la conocida notacin de 1895) mientras que el conjunto de los elementos que forman el ter tiene la cardinalidad del continuo (la segunda cardinalidad infinita, 1, segn la clebre Hiptesis del Continuo). Pero aqu no podemos entrar en un anlisis detallado de estas ideas. Lo que ms nos interesa es que esas cuestiones tenan, segn Cantor, ramificaciones en la explicacin de los fenmenos orgnicos. Un ejemplo lo da en carta al filsofo y psiclogo Wundt de octubre de 1883: el conjunto de todas las clulas orgnicas que hay en el cosmos en un tiempo dado es infinito y precisamente enumerable, esto es, de la cardinalidad 0.20 Efectivamente, sobre la base de ciertos supuestos, que para Cantor eran obviamente correctos, este resultado de biologa matemtica se reduce a un teorema de la teora de conjuntos de puntos que haba publicado en 1882. Las hiptesis fsicas que hemos mencionado y sus aplicaciones biolgicas quedaron sin desarrollo, infructuosas. Lo ms interesante de ellas es precisamente la nueva luz que arrojan sobre las motivaciones extra-matemticas que guiaron a Cantor en su extraordinaria investigacin del continuo y el infinito. El contexto de las especulaciones organicistas de Cantor ayuda a entender cmo se plante y logr demostrar ciertos resultados muy importantes en la poca ms creativa de su carrera. Me limitar a mencionar algunas que aparecen a una luz nueva, como el mencionado teorema de 1882 sobre la cardinalidad de los conjuntos de infinitos subdominios sin interseccin en el espacio R 3, o el teorema del mismo ao sobre movimiento continuo en espacios lacunarios a los que se ha sustrado un conjunto infinito enumerable de puntos.21 Tambin las condiciones que establece Cantor en su definicin abstracta de conjunto continuo publicada en 1883, para la adecuacin de la misma, resultan ms comprensibles teniendo en cuenta su intencin de aplicar el concepto al mundo biolgico. Y la propia va por la que Cantor lleg a su conjetura ms famosa, la Hiptesis del Continuo durante dcadas el primer motor de la teora de conjuntos, emerge a una luz nueva. Juzgada a la distancia, con la perspectiva que dan muchas dcadas, la teora de conjuntos fue un puntal muy importante en la consolidacin y potenciacin de la nueva matemtica pura y abstracta. En este sentido, se trat de un avance ms en la senda de la nueva profesin matemtica universitaria que hemos visto iniciarse con Gauss. Pero no slo Cantor contri-

Abhandlungen , 275276. Vase tambin la carta a Mittag-Leffler en Purkert & Ilgauds [1987], 203205. 20 Cantor [1991], 142. 21 Vase el artculo de 1882 en Abhandlungen , 139144.

19

del neohumanismo al organicismo: gauss, cantor y la matemtica pura

179

buy al desarrollo del enfoque conjuntista, y en otros casos notablemente el de Dedekind las motivaciones para el empleo de los conceptos y mtodos conjuntistas fueron en buena medida intra-matemticas y puristas.22 En todo caso, creo inevitable la conclusin de que en el caso de Cantor las motivaciones matemticas se conjugaron y entrelazaron de un modo rico y sorprendente con otros motivos filosficos, fsicos y biolgicos.

5. El organicismo de Cantor en su contexto histrico Si observamos estas motivaciones extra-matemticas de Cantor y tratamos de describirlas en general, nos encontramos con caractersticas como las siguientes: la bsqueda de una concepcin orgnica de la Naturaleza, contrapuesta al mecanicismo; el inters por conciliar la teora cientfica con convicciones metafsicas y teolgicas asociadas al cristianismo, a Spinoza y a Leibniz; y, en la vertiente negativa, el horror frente al positivismo, el sensualismo, el escepticismo, y sobre todo el materialismo. Todos ellos son rasgos caractersticos de corrientes culturales del siglo XIX, y reflejan buena parte de los debates y las polmicas intelectuales y existenciales de aquel tiempo. Vemoslas en contexto. Las convicciones idealistas de Schelling y Hegel, que haban llenado de entusiasmo a los jvenes universitarios alemanes durante los aos 1820 y 1830, fueron perdiendo terreno por una compleja combinacin de factores. Entre ellos podemos mencionar los triunfos de la fsica matemtica y la nueva qumica, pero tambin el conservadurismo poltico de Hegel en una poca revolucionaria, y no en ltimo lugar el giro materialista que imprimieron a su filosofa los que (con Feuerbach y Marx) quisieron corregir dicho conservadurismo invirtiendo la dialctica hegeliana. Las dcadas intermedias del XIX fueron un momento de cientificismo y positivismo, pero en Alemania result especialmente notable la polmica en torno al materialismo de Carl Vogt y otros. Este materialismo vulgar, como lo llam Marx, era hijo por un lado de la nueva ciencia (muy especialmente la fisiologa mecanicista cultivada en Berln) y por otro de los movimientos polticos revolucionarios. 23 Los burgueses profesores de Universidad, educados en la tradicin religiosa y en el culto romntico al espritu, y bien establecidos como funcionarios intelectuales en la sociedad de la poca, se enfrentaron horrorizados a aquellos materialistas que hablaban del pensamiento como una secrecin del cerebro y que pretendan contribuir a la subversin del

22 Si exceptuamos aspectos ms epistemolgicos ligados al proyecto logicista: cf. Ferreirs [1999]. 23 Cf. Gregory [ 1977].

180

jos ferreirs

orden social. En este ambiente tan caldeado tuvo lugar la primera recepcin del darwinismo en Alemania, durante los aos 1860, precisamente cuando estudiaba el joven Cantor.24 Ernst Haeckel fue el bilogo que ms se hizo notar como defensor del darwinismo y hostigador de las ideas tradicionales. En un escrito muy posterior, de 1900, Cantor habla de los desvergonzados ataques de Haeckel a la Cristiandad y felicita a un colega de su Universidad por la publicacin de su Anti-Haeckel.25 Esos ataques desvergonzados, fanticamente materialistas y evolucionistas, haban empezado justamente en los aos 1860. Resulta muy tentador suponer que los proyectos filosfico-cientficos de Cantor estuvieron marcados por la experiencia de aquella atmsfera intelectual tan inflamable que vivi en sus aos de estudiante.26 Si es as, su reaccin frente a la metafsica radical y la poltica socialista del materialismo fue bastante tpica de la burguesa y el profesorado alemanes. Lo atpico es la seriedad y la radicalidad, dignas de un filsofo, con las que Cantor emprendi la tarea de elaborar una nueva concepcin matemtico-cientfica del mundo fsico y biolgico. Pero hay algo ms: Cantor pudo encontrar en su mismo entorno intelectual, en las Universidades y las clases a las que asisti, muchos temas clave que inspiraron sus reflexiones filosfico-cientficas. Hacia 1860, en la situacin polmica (marcada por las crticas al idealismo y las amenazas del materialismo) que hemos descrito brevemente, algunos filsofos reaccionaron en vena romntica tarda, replanteando problemas que haban sido tratados por filsofos como Kant y Schelling, pero con variaciones inspiradas en los viejos autores Spinoza y Leibniz, los maestros del racionalismo especulativo tantas veces mencionados por Cantor. Cantor asisti a los cursos de dos de estos filsofos: en Berln, las clases de F. A. Trendelenburg, notable por sus ideas de filosofa poltica y sus trabajos como historiador; en Gttingen, las lecciones de Hermann Lotze, recordado sobre todo por haber introducido la filosofa de los valores. Hemos visto antes que Cantor defenda en 1883 una combinacin de idealismo y realismo, y precisamente las amalgamas de este tipo fueron caractersticas de los filsofos tardorromnticos que trataron de superar a un tiempo el idealismo absoluto y el materialismo. Ante todo, hay que decir que el debate sobre el mecanicismo era un tema capital de la filosofa alemana desde que fuera tratado por Kant en su doctrina del juicio teleolgico contenida en la Kritik der Urtheilskraft (1790). Como Leibniz mucho antes,27 Kant quiso conciliar el orden mecBuen testimonio de la ideologa y sentimentalidad de Cantor en esta poca lo dan las cartas que escribi a su padre, cf. Dauben [1979]. 25 Carta a F. Loos, profesor de historia de la iglesia en Halle, en Meschkowski [1983], 292293. 26 Pero debo confesar que no he encontrado evidencia histrica directa para esta suposicin. Lo mejor que encontramos es evidencia indirecta, como la citada carta de 1900 o las declaraciones de los aos 1880 que he citado en la seccin anterior.
24

del neohumanismo al organicismo: gauss, cantor y la matemtica pura

181

nico de las cosas corpreas con un orden teleolgico del mundo de las almas. En su opinin, slo la consideracin mecnica es objetiva, aunque es radicalmente incompleta, mientras que la concepcin teleolgica slo puede ser subjetiva, pero incorpora un ingrediente ideal que es imprescindible a la razn humana. Poco despus, Schelling defendi la tesis especulativa de que Alma y Naturaleza son idnticas, de modo que el alma es naturaleza interior y la naturaleza alma exteriorizada. Como corolario de esta doctrina present la idea de que el enfoque mecnico, identificado para entonces con el nombre de Newton, era necesariamente incapaz de dar cuenta de los fenmenos orgnicos, y no slo de ellos, sino tambin de los fsicos y qumicos. Se impona con esto la necesidad de avanzar hacia una concepcin orgnica de la Naturaleza. Vemos que las preocupaciones de Cantor tienen orgenes en la filosofa alemana del cambio de siglo, pero conviene advertir que esos temas haban sido retomados de varios modos por quienes fueron sus maestros de filosofa. Cantor asisti a diversos cursos de Trendelenburg, influyente filsofo que estaba profundamente influido por el tesmo y la tica de Spinoza. Trendelenburg defenda una cosmovisin orgnica [organische Weltanschauung] postulando un paralelismo entre lo fsico y lo mental, dominados ambos por la finalidad y el pensamiento creativo. Esto recuerda un tanto a la filosofa de Schelling, aunque renunciando al postulado de identidad schellingiano para volver a un mero paralelismo ms en lnea con Spinoza y Leibniz. Pero la principal diferencia de facto es que Trendelenburg renunci completamente a influir en el terreno cientfico: su organicismo no pretenda ser biolgico o cientfico, sino que fue ms bien una cosmovisin religiosa.28 Durante un semestre que pas en Gttingen, Cantor tuvo tambin ocasin de escuchar al gran filsofo Lotze, que haba ofrecido ideas relevantes sobre todo en su famoso libro Microcosmos. Es muy digno de nota que Lotze era mdico, y como tal fue el primer promotor pblico del mecanicismo fisiolgico, que segn vimos se cuenta entre las influencias del materialismo de Vogt y otros. Pero en su filosofa recogi las enseanzas de Leibniz y Kant,29 e intent mostrar cmo el reinado omnipresente de las causas mecnicas est estrictamente subordinado a la teleologa: la causalidad y el mecanicismo son los fieles siervos encargados de realizar las ideas espirituales que circundan y dan fundamento a todos los fenmenos naturales. Se ha dicho de la filosofa de Lotze que es una modificacin espinozista del leibnizianismo, lo que no deja de resultar significativo en el conPero eliminando un supuesto tan especulativo de Leibniz como el de la armona perfecta. La insistencia en los lmites es el elemento escptico que quisieron superar los idealistas y que segua poniendo tan nervioso a Cantor: probablemente nunca se ha hecho ms por desacreditar la razn humana y sus facultades, escribi en referencia a las Antinomias de la Kritik der reinen Vernunft. 28 Como la llam otro discpulo suyo famoso, Dilthey, en una recensin de 1860. 29 Aunque abandonando Lotze las restricciones crticas tan esenciales en su filosofa.
27

182

jos ferreirs

texto de nuestra historia, aunque el recurso a este tipo de etiquetas no ayuda en nada a la comprensin filosfica. Como vemos, Cantor encontr en las Universidades a las que asisti, y probablemente en las discusiones intelectuales de sus aos mozos, los temas clave que inspiraron sus reflexiones filosfico-cientficas. A travs de Trendelenburg se encontr con Spinoza, a travs de Lotze con Leibniz; como buen estudiante y serio aprendiz de filsofo, no se content con conocer esas ideas de segunda mano, sino que dedic gran parte de su tiempo a leer directamente a los maestros del XVII, y de este modo pudo avanzar hacia ideas originales. Como habra dicho Marx, las filosofas de Trendelenburg y Lotze (para lo que nos interesa aqu, y sin negar su posible inters en otros aspectos) no eran ms que reacciones ideolgicas de la burguesa alemana frente a las amenazas del materialismo y el socialismo. Cantor quiso ir ms all, quiso ser el Newton del organicismo: desarrollar la herramienta conceptual y matemtica necesaria (como hizo Newton con el clculo infinitesimal) y proceder a su aplicacin cientfica. Cantor no sigui a Trendelenburg en su resignacin a no hablar del mundo fsico, para centrarse en lo psicolgico, la moral y la poltica; tampoco sigui a Lotze en su resignacin a aceptar el triunfo del mecanicismo en el terreno cientfico. Quiso, como Schelling, elaborar un organicismo que entrara plenamente en la discusin cientfica, y que complementara o incluso reemplazara al mecanicismo. Pero, a diferencia de Schelling, intent hacerlo con todo el rigor conceptual y metdico de las matemticas: abandon la lgica dialctica y profundiz en el concepto matriz del continuo y en el estudio de los conjuntos de puntos y el infinito. Sus logros matemticos son evidentes, y no tienen nada que envidiar a un Newton. Pero en lo relativo al aprovechamiento cientfico de esos logros se qued muy lejos de sus altas expectativas.

6. Conclusin Los dos casos que hemos analizado son muy distintos entre s, pero ambos muestran maneras en que el contexto cultural, intelectual y social puede contribuir de modo importante a conformar la investigacin matemtica o, ms en general, cientfica. El ejemplo de Gauss nos ensea cmo los ideales culturales y educativos del Neohumanismo tendencia inaugurada por fillogos, poetas e historiadores, pero tambin por filsofos como Kant dejaron una huella muy profunda en la concepcin de la ciencia propia de la Alemania decimonnica. Actuaron nada menos que redefiniendo el ethos de la ciencia y los valores caractersticos de semejante empresa, en un proceso que afect a la profesionalizacin de los matemticos y, con ello, a la orientacin de toda una disciplina. (Proceso que, por cierto, no cabe en el esquema de las revolucio-

del neohumanismo al organicismo: gauss, cantor y la matemtica pura

183

nes cientficas de Kuhn, ya que los cambios valorativos de que hablamos no vinieron inducidos por un cambio de paradigma interno a la disciplina, sino por transformaciones institucionales que afectaron a todo el conjunto de las disciplinas cientficas). El caso de Cantor nos plantea la influencia de una problemtica cientfico-filosfica de corte tardorromntico, que buscaba superar el materialismo y lograr una comprensin organicista del universo, como motivacin impulsora de su extraordinario trabajo sobre el infinito y el continuo. Entindase bien que tambin existieron motivaciones puramente matemticas, muy importantes y profundas, pero la cuestin es que stas no bastan, por s solas, para entender el desarrollo de las ideas cantorianas (como tampoco bastaran las motivaciones filosfico-cientficas por s mismas). Una leccin comn, central en conexin con los temas de reflexin propuestos para el congreso Ciencia y Romanticismo, es que las simplificaciones de manual difcilmente ayudan a entender el curso de la historia y sus meandros. El Romanticismo fue un movimiento amplio, complejo y contradictorio, como probablemente todos los movimientos culturales. No supuso la muerte de la Ilustracin, ni se entiende bien en trminos de formaciones culturales excluyentes y absolutamente dominantes, de un Zeit geist o una esencia inmutable. Desborda por delante, por detrs y por los flancos al idealismo filosfico, no slo en otros contextos nacionales, sino tambin en la misma Alemania. Por delante hemos encontrado una nueva tendencia cultural, intelectual y educativa como fue el Neohumanismo, hija de la Ilustracin en cierto sentido, pero madre del Romanticismo en otro. Por detrs, nos hemos topado con las polmicas del positivismo y el materialismo, y con reacciones filosficas que caen bajo rtulos como los de post-romanticismo y organicismo. 30 Para terminar, no quiero dejar de sealar una diferencia muy importante entre el argumento acerca de la teora de conjuntos y el otro argumento estilo Forman. La historia que he contado a propsito de Cantor podra perfectamente encorsetarse en la vieja idea filosfica de un contexto de descubrimiento que no afecta al proceso de recepcin, justificacin y posterior desarrollo. Slo factores extra-matemticos como los indicados nos pueden ayudar a entender por qu surgi la teora cantoriana en la dcada de 1880, y no bastante despus. Pero el impulso organicista muri con el propio Cantor: la teora de conjuntos de la dcada de 1900 no estaba en absoluto marcada por las seales de ese nacimiento. En el caso del Neohumanismo y el ethos de la ciencia alemana, la situacin es muy distinta: esto no puede reducirse a un mero contexto de descubrimiento sin grandes repercusiones ulteriores, porque estamos hablando de factores que determinaron en buena parte a la disciplina matemtica tal

30 Por los flancos, podramos haber hablado de Herbart y Riemann vase Ferreirs [2000] o tambin de Fries y los cientficos que le siguieron.

184

jos ferreirs

como la hemos conocido. Si estoy en lo cierto, el impacto de aquella tendencia en la conformacin de la profesin matemtica fue muy profundo, como lo fue ms en general en todo el contexto de la Universidad alemana, su ideal de la ciencia pura y su redefinicin de las disciplinas cientficas fundamentales. El rastro de ese impacto puede seguirse a lo largo de muchas dcadas, hasta llegar al enorme cataclismo cultural e institucional que supuso la poca nazi. Por muchas dcadas ha afectado a la produccin, la recepcin y la transmisin del conocimiento matemtico.

Referencias bibliogrficas
Cantor, G. Grundlagen einer allgemeinen Mannichfaltigkeitslehre, Leipzig 1883. Reimpreso en Abhandlungen, pp. 165208. Traduccin espaola de prxima publicacin en Mathesis. Briefe , ed. por H. Meschkowski y W. Nilson, Springer, Berlin 1991. Gesammelte Abhandlungen mathematischen und philosophischen Inhalts , Springer, Berlin 1932. Reimpreso por G. Olms Verlag, Hildesheim 1966. Dauben, J. Georg Cantor. His mathematics and philosophy of the infinite , Harvard University Press, 1979. Ferreirs, J. Labyrinth of Thought. A history of set theory and its role in modern mathematics, Birkhuser, Basel/Boston/Berlin 1999. Riemanniana selecta , CSIC (Clsicos del Pensamiento), Madrid 2000. Forman, P. Cultura en Weimar, causalidad y teoria cuntica, 1918-1927: adaptacin de los fsicos y matemticos alemanes a un ambiente intelectual hostil, Alianza, Madrid 1984 [=1971]. Gauss, C. F. Astronomische Antrittsvorlesung, en Werke, vol. 12, Gttingen 1808, pp. 17798. Werke, 12 vols., Dieterich Gttingen 18631929. Reimpreso por G. Olms Verlag, Hildesheim 1973. Gregory, F. Scientific materialism in nineteenth century Germany, Reidel, Dordrecht/Boston 1977. Jahnke, H. N. Mathematik und Bildung in der Humboldtschen Reform, Vandenhoeck & Ruprecht, Gttingen 1990. Jungnickel, C., McCormmach, R. Intellectual Mastery of Nature. Theoretical phy sics from Ohm to Einstein, Vol. 1. University of Chicago Press, 1986. McClelland, J. State, Society, and University in Germany, 17001914. Cambridge University Press, 1980. Meschkowski, H. Georg Cantor: Leben, Werk und Wirkung, Bibliographisches Institut (1 edicin como Probleme des Unendlichen en 1967), Mannheim 1983. Purkert, W., Ilgauds, H. J. Georg Cantor 18451918, Birkhuser, Basel/Boston/Berlin 1987. Pyenson, L. Neohumanism and the Persistence of Pure Mathematics in Wilhelmian Germany , American Philosophical Society, Philadelphia 1983. Turner, R. S. Justus Liebig versus Prussian chemistry: Reflections on early institute building in Germany, Historical Studies in the Physical Sciences 13 (1982), pp. 129162.