Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
INTRODUCCIN
lo anterior, una pequea reflexin demostrar las contradicciones a las que estas
personas estn expuestas.
Las cuestiones concernientes a los mtodos de instruccin son importantes,
primero, por cuenta propia, y segundo, porque uno no puede reflexionar sobre el mejor
mtodo para inculcar nuevas nociones en cerebros vrgenes sin, al mismo tiempo,
reflexionar sobre la manera en que estas nociones han sido adquiridas por nuestros
ancestros, y consecuentemente, sobre su verdadero origen, esto es, en realidad, sobre su
verdadera naturaleza. Por qu es que, en la mayora de los casos, las definiciones que
satisfacen a los cientficos no significan nada para los nios? Por qu resulta necesario
ofrecerles otras definiciones? Esta es la cuestin que me he propuesto resolver en
algunos de los captulos que siguen, y su solucin podra sugerir, pienso, reflexiones
tiles a los filsofos interesados en la lgica de las ciencias.
Por otra parte, hay muchos gemetras que creen que las matemticas pueden
reducirse a las reglas de la lgica formal, y se han hecho innumerables esfuerzos en esta
direccin. Para conseguir su objetivo no han dudado, por ejemplo, en revertir el orden
histrico de la gnesis de nuestras concepciones, y se han empeado en explicar lo
finito a partir de lo infinito. Pienso que he tenido xito en demostrar - para todos
aquellos que se acercan al problema con una mente abierta - que en todo esto hay una
ilusin engaosa. Confo en que el lector comprenda la importancia de esta cuestin, y
perdone la aridez de las pginas que me he visto obligado a dedicar a este tema.
Los ltimos captulos, relativos a la mecnica y la astronoma, se encontrarn
mucho ms fciles de leer.
La mecnica parece estar a punto de experimentar una revolucin total. Las
ideas que parecan ms firmemente establecidas estn siendo destrozadas por osados
innovadores, aunque ciertamente sera prematuro posicionarse a su favor desde el
principio solamente por el hecho de que sean innovadores; no obstante, es interesante
exponer sus puntos de vista, y eso es lo que he intentado hacer. He seguido, en lo
posible, un orden histrico, y esto para que las nuevas ideas no parezcan demasiado
sorprendentes al no conocer la forma en la que nacieron.
La astronoma nos ofrece magnficos espectculos, y a su vez hace surgir
tremendos problemas. No podemos siquiera soar con aplicar mtodo experimental
alguno en esta ciencia, ya que nuestros laboratorios son muy pequeos. Pero los
laboratorios nos permiten hacer analogas con los fenmenos astronmicos y stas
pueden servir como gua al astrnomo. La Va Lctea, por ejemplo, es una coleccin de
4
soles cuyos movimientos podran parecer, a primera vista, caprichosos. Pero no podra
esta coleccin ser comparada con aquella de las molculas de gas cuyas propiedades
hemos aprendido de la teora cintica de los gases? As, el mtodo del fsico viene a
ayudar indirectamente al astrnomo.
Finalmente, he intentado bosquejar, en unas cuantas lneas, la historia del
desarrollo de la geodesia francesa. He mostrado a qu costo, y a partir de qu tipo de
esfuerzos e incluso peligros, los geodestas nos han asegurado las pocas nociones que
tenemos acerca de la forma de la Tierra. Es esta realmente una cuestin de mtodo? S,
porque esta historia ciertamente nos ensea qu tipo de precauciones deben circundar
cualquier operacin cientfica seria, y cunto tiempo y apuro estn involucrados en la
conquista de un nico decimal nuevo.
PARTE I
EL CIENTFICO Y
LA CIENCIA
CAPTULO I
LA SELECCIN DE HECHOS
Tolstoi explica en algn lugar de sus escritos por qu, en su opinin, la ciencia por la
ciencia misma es una concepcin absurda. No podemos conocer todos los hechos ya
que son prcticamente infinitos en nmero. Debemos, por tanto, hacer una seleccin, y
siendo as lo anterior, puede estar esta seleccin dirigida por el mero capricho de
nuestra curiosidad? No es mejor estar guiados por la utilidad, por nuestras necesidades
prcticas y, especialmente, por las morales? No tenemos una ocupacin mejor que
contar el nmero de aves que habitan este planeta?
Es claro que para l la palabra utilidad no tiene el mismo significado que para
los hombres de negocios y, despus de ellos, para la mayora de nuestros
contemporneos. Le importan poco las aplicaciones industriales de la ciencia, las
maravillas de la electricidad o del automovilismo, que considera ms bien como
obstculos al progreso moral. Para l, lo til slo es aquello que es capaz de hacer mejor
al hombre.
Apenas es necesario decir que, por mi parte, no puedo estar satisfecho con
ninguno de estos ideales. No tengo simpata alguna ni por una plutocracia codiciosa y
estrecha, ni por una democracia virtuosa y carente de aspiraciones, nicamente ocupada
en poner la otra mejilla, y en donde encontremos buenas personas vacas de curiosidad
quienes, evitando todo tipo de excesos, no se mueran por enfermedad alguna, sino por
aburrimiento. Pero todo esto es una cuestin de gustos, y ese no es el punto que deseo
discutir.
que tomsemos un guijarro habra una gran probabilidad de que estuviese compuesto
por alguna sustancia desconocida. Nada de lo que supiramos sobre otros guijarros nos
podra decir algo acerca de l, y ante cada objeto nuevo seramos como nios pequeos,
y como l, slo podramos obedecer a nuestros caprichos o a nuestras necesidades. En
tal mundo no habra ciencia, y quiz el pensamiento y la vida misma seran imposibles,
ya que la evolucin nunca hubiese desarrollado los instintos de la propia preservacin.
Providencialmente esto no es as, y esta bendicin, como todas aquellas a las que
estamos acostumbrados, no suele ser apreciada en su justo valor. Los bilogos estaran
igualmente desconcertados si hubiese slo individuos y no especies, y si la herencia no
hiciese que los nios se parezcan a sus padres.
Cules son, pues, los hechos que tienen la oportunidad de repetirse? En primer
lugar, los hechos simples. Es evidente que en un hecho complejo muchas circunstancias
estn unidas por casualidad, y que slo una casualidad an ms improbable podra
unirlas as de nuevo. Pero hay tales cosas como los hechos simples? Y si las hay,
cmo hemos de reconocerlas? Quin puede decir que lo que creemos como simple no
oculta una complejidad alarmante? Todo lo que podemos decir es que debemos preferir
hechos que parecen ser simples sobre aquellos en donde nuestra tosca visin detecte
elementos disimilares. Slo hay, entonces, dos alternativas posibles: o bien esta
simplicidad es real, o bien los elementos estn tan ntimamente mezclados que no
admiten ser distinguidos. En el primer caso, tenemos la posibilidad de encontrarnos con
el hecho simple de nuevo, ya sea en toda su pureza o como el elemento de un todo ms
complejo. En el segundo caso la ntima mezcla tiene, similarmente, mayor probabilidad
de ser reproducida que lo que tiene una coleccin heterognea de serlo. La casualidad
puede mezclar, pero no deshacer una mezcla, y una combinacin de varios elementos en
un edificio bien ordenado en el cual algo pueda ser distinguido, slo puede hacerse
deliberadamente. Hay, por tanto, poca probabilidad de que una coleccin en donde
distintas cosas puedan ser distinguidas se reproduzca. Por otra parte, hay una gran
probabilidad de que una mezcla que parezca homognea a primera vista se reproduzca
varias veces. De acuerdo con lo anterior, los hechos que parecen simples, incluso
aunque no sean as en realidad, sern ms fcilmente producidos de nuevo por la
casualidad.
Es esto lo que justifica el mtodo instintivamente adoptado por los cientficos, y
lo que quiz lo justifica an mejor es que los hechos que ocurren frecuentemente nos
parecen simples slo porque estamos acostumbrados a ellos.
8
sobre la curva, de tal forma que algunos estn hacinados en ciertas partes y son escasos
en otras, y resulta imposible conectarlos por una lnea continua, a la vez que resultaran
intiles para cualquier otra aplicacin. El cientfico procedera de otra manera. Ya que
desea estudiar la curva por s misma, distribuira los puntos para ser observados de
forma regular, y tan pronto como conoce algunos de ellos, los unira por una lnea
regular, y entonces tendra la curva completa. Pero cmo es que consigue esto? Si ha
determinado un punto extremo sobre la curva, no permanecer cerca de este extremo,
sino que se mover al otro extremo. Despus de las dos extremidades, el punto central
ser el ms instructivo, y as sucesivamente.
As, cuando ha sido establecida una regla, debemos primero buscar los casos en
donde se presente la mejor oportunidad para que tal regla falle. Esta es una de las
muchas razones del inters por los hechos astronmicos y por las eras geolgicas. Al
hacer grandes excursiones en el espacio o en el tiempo, podemos encontrar
completamente alteradas nuestras reglas ordinarias, y estas grandes alteraciones nos
darn una visin ms clara y una mejor comprensin de tales cambios pequeos de lo
que podran drnoslas lugares ms cercanos a nosotros, de lo que podra drnoslas el
rincn ms pequeo de este mundo en el que estamos llamados a vivir y a movernos.
Conoceremos mejor este rincn por los viajes que habremos hecho a lugares distantes
en donde no tenemos asunto alguno.
Pero a lo que debemos aspirar no es tanto a comprobar semejanzas y diferencias,
sino a descubrir similitudes ocultas bajo discrepancias aparentes. Las reglas individuales
parecen, al principio, discordantes, pero al observar ms cerca podemos, generalmente,
detectar una semejanza. Aunque difieran materialmente, se aproximan en la forma y en
el orden de sus partes. Cuando las examinamos desde esta perspectiva, las veremos
ampliadas y tendientes a abarcarlo todo. Esto es lo que da valor a ciertos hechos que
vienen a completar un todo, y muestran que ste es la viva imagen de otros todos
conocidos.
No puedo detenerme ms en este punto, pero estas pocas palabras resultarn
suficientes para demostrar que el cientfico no hace una seleccin al azar de los hechos a
ser observados. No cuenta el nmero de aves, como dice Tolstoi, porque el nmero de
estos animales, interesantes como son, est sujeto a caprichosas variaciones. Ms bien
intenta condensar una gran cantidad de experiencia y una gran cantidad de pensamiento
en un pequeo volumen, y esto es por lo que un pequeo libro de fsica contiene tantos
10
experimentos pasados, y mil veces tantos como sea posible, y cuyos resultados son
conocidos de antemano.
Pero hasta ahora slo hemos considerado una parte de la cuestin. El cientfico
no estudia la naturaleza porque resulte til hacerlo, sino la estudia porque encuentra
placer en ello, y encuentra placer en ello porque la naturaleza es bella. Si la naturaleza
no fuese bella no valdra la pena conocerla, y tampoco valdra la pena vivir. Por
supuesto que no estoy hablando de esa belleza que impresiona a los sentidos, de la
belleza de las cualidades y las apariencias. Me encuentro lejos de despreciarla, pero no
tiene nada que ver con la ciencia. A la que me refiero es a esa belleza ms ntima que
surge del armonioso orden de sus partes, y que puede ser comprendida por una
inteligencia pura. Esto es lo que da un esqueleto al cuerpo, por decirlo de alguna
manera, de las brillantes visiones que adulan nuestros sentidos, y sin este soporte la
belleza de estos fugaces sueos sera imperfecta, porque sera indefinida e incluso
elusiva. La belleza intelectual, por el contrario, es autosuficiente, y es por ella - quiz
ms que por el buen futuro de la humanidad - que los cientficos se condenan a s
mismos a largas y dolorosas labores.
Es, pues, la bsqueda de esta belleza especial, el sentido de la armona del
mundo, lo que nos hace seleccionar los hechos ms adecuados para contribuir a tal
armona, as como el artista selecciona aquellas caractersticas de su modelo que
completen el retrato y le den carcter y vida. Y no hay miedo alguno de que esta
instintiva y no reconocida preocupacin desve al cientfico de la bsqueda de la verdad.
Podemos soar con un mundo armonioso, pero qu tan lejos estar del mundo real! Los
griegos, los mayores artistas que haya habido jams, construyeron un cielo para s
mismos, y qu cosa tan pobre es al lado del cielo tal como lo conocemos!
Es porque la simplicidad y la vastedad son bellas que preferimos buscar hechos
simples y hechos vastos, que nos deleitamos ahora en seguir los gigantes caminos de las
estrellas, ahora en escrutar - con un microscopio - la prodigiosa pequeez que tambin
resulta vasta, y ahora en buscar - en las eras geolgicas - los rastros de un pasado que
nos atrae debido a su lejana.
Ahora vemos que la atencin por lo bello nos conduce a la misma seleccin que
la atencin por lo til. De manera similar la economa del pensamiento, aquella
economa del esfuerzo que, de acuerdo con Mach, es la tendencia constante en la
ciencia, es una fuente de belleza como tambin una ventaja prctica. Las construcciones
que admiramos son aquellas en donde el arquitecto ha conseguido adecuar los medios
11
con el fin, en donde las columnas parecen llevar las cargas impuestas sobre ellas de
manera ligera y sin esfuerzo alguno, como las elegantes caritides del Erectein.
De dnde surge esta concordancia? Es simplemente que las cosas que nos
parecen bellas son aquellas que mejor se adaptan a nuestra inteligencia, y que
consecuentemente son, al mismo tiempo, las herramientas que mejor maneja la
inteligencia? O se debe ms bien a la evolucin y a la seleccin natural? Han
exterminado las personas cuyo ideal se conforma mejor con sus propios intereses,
propiamente entendidos, a otros y han tomado su lugar? Tanto unos como otros
persiguieron su ideal sin considerar las consecuencias, pero mientras que a unos esta
persecucin los llev a su destruccin, a otros les permiti construir Imperios. Estamos
tentados a creer esto, ya que los griegos triunfaron sobre los brbaros, y si Europa,
heredera del pensamiento griego, domina el mundo, es por el hecho de que los salvajes
adoraban los colores llamativos y el estridente ruido de los tambores que apelaban a sus
sentidos, mientras que los griegos amaban la belleza intelectual oculta detrs de la
belleza sensible, y es esta belleza la que da certeza y fuerza a la inteligencia.
Si duda Tolstoi estara horrorizado ante tal triunfo, y se resistira a admitir que
podra resultar realmente til. Pero esta bsqueda desinteresada de la verdad por su
propia belleza es tambin saludable, y puede hacer mejor al hombre. S muy bien que
hay decepciones, que el pensador no siempre encuentra la serenidad que debe, y que
incluso algunos cientficos han tenido temperamentos completamente malos.
Debemos entonces decir que la ciencia debe abandonarse, y que slo debe
estudiarse la moral? Puede alguien suponer que los moralistas estn por encima de
todo reproche una vez bajados del plpito?
12
CAPTULO II
Poincar habla de las distintas formas para resolver ecuaciones de ciertos grados. Nota del Traductor.
13
El lego se refiere a aquellas personas que no son especialistas en una materia, o que carecen de los
conocimientos y procedimientos tcnicos de tal o cual tema. Nota del Traductor.
14
el enlace que une varios hechos que presentan una profunda aunque oculta analoga. La
ancdota de la manzana de Newton probablemente no es cierta3, pero es simblica, de
tal suerte que la trataremos como si fuese cierta. Pues bien, debemos suponer que antes
de Newton muchos hombres haban visto manzanas caer, pero ninguno fue capaz de
sacar conclusin alguna de eso. Los hechos seran estriles si no hubiese mentes capaces
de seleccionar entre ellos y distinguir aquellos que ocultan algo y reconocer qu es lo
que ocultan, mentes que, detrs del hecho desnudo, pueden detectar su alma.
En matemticas hacemos exactamente lo mismo. De los distintos elementos a
nuestra disposicin, podemos formar millones de combinaciones diferentes, pero
cualesquiera de estas combinaciones, siempre que est aislada, carece absolutamente de
valor. A menudo tales combinaciones conllevan mucho trabajo para su construccin,
pero carecen de todo valor a menos que, quiz, puedan suministrar algn tema para un
ejercicio en escuelas secundarias. Sera muy distinto si esta combinacin tiene lugar en
una clase de combinaciones similares cuya analoga hemos reconocido; ya no
estaramos ante la presencia de un hecho, sino de una ley. Y entonces el verdadero
descubridor no es el obrero que pacientemente ha construido algunas de estas
combinaciones, sino el hombre que ha llevado a cabo su relacin. El primero slo ha
visto al mero hecho, el ltimo ha detectado el alma de tal hecho. La invencin de una
nueva palabra a menudo ser suficiente para subrayar la relacin, y entonces la palabra
ser creativa. La historia de la ciencia nos proporciona una serie de ejemplos que a
todos nos son familiares.
El clebre filsofo viens Mach ha dicho que el papel de la ciencia es
economizar el pensamiento, tal como una mquina economiza el esfuerzo. Creo que
esto es muy cierto. El salvaje calcula con sus dedos o juntando guijarros. Al ensear a
los nios la tabla de multiplicar los salvamos de innumerables operaciones que tendran
que hacer juntando guijarros. Una vez reconocido, ya sea por guijarros o por otra forma,
que 6 veces 7 es 42, y registrando en la mente tal resultado, no es necesario repetir la
operacin. El tiempo empleado en este clculo no fue en vano, incluso si fue slo para
un regocijo propio. La operacin slo tom dos minutos, pero hubiese tomados dos
millones si un milln de personas tuvieran que repetirla.
As, la importancia de un hecho se mide por el rendimiento que nos da, esto es,
por la cantidad de pensamiento que nos permite economizar.
Al parecer, tal ancdota fue inventada por Voltaire. Nota del Traductor.
15
En la fsica, los hechos que dan un gran rendimiento son aquellos que ocupan su
lugar en leyes muy generales, porque nos permiten prever un gran nmero de otros
hechos, y sucede exactamente lo mismo en las matemticas. Supongamos que me
dedico a un clculo muy complicado y que, despus de mucho trabajo, llego a un
resultado. No habr ganado nada si este resultado no me permitiese prever los resultados
de otros clculos anlogos, y dirigirlos con certeza, evitando el ciego tanteo con el que
me tuve que contentar la primera vez. Por el contrario, no habr perdido el tiempo si
este mismo tanteo me permitiese revelar la profunda analoga que existe entre el
problema recin tratado y una clase mucho ms extensa de otros problemas, si me
mostrase, en seguida, sus semejanzas y sus diferencias, si, en pocas palabras, me
permitiese percibir la posibilidad de una generalizacin. Entonces ya no ser
simplemente un nuevo resultado que he conseguido, sino una nueva fuerza.
Una frmula algebraica que nos da la solucin para un tipo de problema
numrico, si finalmente remplazamos las letras por los nmeros, constituye un ejemplo
simple que tiene lugar, en seguida, en la mente de uno. Gracias a esta frmula, un solo
clculo algebraico nos ahorra la molestia de repetir constantemente clculos numricos.
Pero este es slo un tosco ejemplo: todo mundo percibe que hay ciertas analogas que
no pueden ser expresadas por una frmula, y que son las ms valiosas.
Si un nuevo resultado debe tener algn valor, debe unir elementos conocidos
desde hace tiempo, pero hasta entonces dispersos y aparentemente extraos unos con
otros, y de pronto introducir orden donde reinaba la apariencia del desorden. Entonces
ser posible dilucidar, de un vistazo, cada uno de estos elementos en el lugar que
ocupan en el todo. No slo es el nuevo hecho valioso por cuenta propia, sino que por s
mismo da un valor a los viejos hechos que logra unir. Nuestra mente es tan frgil como
nuestros sentidos, y se perdera en la complejidad del mundo si sta no fuese armoniosa.
Tal como el miope, slo vera los detalles, y estara obligada a olvidar cada uno de estos
detalles antes de examinar al siguiente, porque sera incapaz de considerarlo en el todo.
Los nicos hechos dignos de nuestra atencin son aquellos que introducen orden en
esta complejidad y que de esta forma la hacen accesible para nosotros.
Los matemticos conceden una gran importancia a la elegancia de sus mtodos y
de sus resultados, y esto no es simple diletantismo. Qu es lo que nos da la sensacin
de elegancia en una solucin o en una demostracin? Es la armona de las distintas
partes, su simetra, y su feliz ajuste; es, en una palabra, todo lo que introduce orden,
todo lo que otorga unidad, lo que nos permite obtener una clara comprensin tanto del
16
todo como de las partes. Pero esto es precisamente lo que causa que nos d un gran
rendimiento y, en realidad, mientras ms claro y de un solo vistazo observemos este
todo,
mejor
percibiremos
las
analogas
con
otros
objetos
colindantes
y,
no es slo el orden, sino el orden inesperado, lo que tiene valor. Una mquina puede
apoderarse del hecho desnudo, pero el alma de ste siempre se le escapar.
Desde mediados del siglo pasado, los matemticos se han vuelto cada vez ms
ansiosos por alcanzar una exactitud absoluta. Sin duda tienen toda la razn, y esta
tendencia cada vez ser ms marcada. En matemticas, la exactitud no lo es todo, pero
sin ella no hay nada: una demostracin sin exactitud no es nada en absoluto. Esta es una
verdad que creo no est en disputa, pero si la tomamos literalmente nos conduce a la
conclusin de que antes de 1820, por ejemplo, no haba tal cosa como las matemticas,
y esto claramente es una exageracin. Los gemetras de aquel da estaban dispuestos a
asumir lo que nosotros explicamos a partir de prolijas disertaciones. Esto no significa
que ellos no vieran absolutamente nada de esto, sino que lo pasaban un poco por alto y,
para poder haberlo visto claramente, hubieran tenido que tomarse la molestia de
declarar tal problema.
Slo que, es necesario declararlo tantas veces? Aquellos que fueron los
primeros en prestar una atencin especial a la exactitud nos han dado razones que
hemos intentado imitar; pero si las demostraciones del futuro han de construirse sobre
este modelo, los trabajos matemticos sern excesivamente largos, y si temo a esta
longitud no es slo por la congestin de las bibliotecas, sino porque, a medida que tales
trabajos sean cada vez ms grandes, nuestras demostraciones perdern la apariencia de
armona que desempea, como ya vimos, un papel sumamente til.
Nos debemos dirigir hacia la economa del pensamiento, y por tanto no es
suficiente con dar modelos a ser copiados. Debemos permitir a los que vengan despus
de nosotros trabajar sin modelos, y no repetir razonamientos previos, sino resumirlos en
unas cuantas lneas. Y esto ya se ha hecho con xito en algunos casos. Por ejemplo,
haba toda una clase de razonamientos parecidos unos con otros, y que se encontraban
por todas partes; eran perfectamente exactos, aunque demasiado largos. Un da alguien
pens en el trmino uniformidad de convergencia, y este trmino por s mismo hizo
que todos esos razonamientos fueran tiles; ya no era necesario repetirlos, ya que ahora
podan asumirse. As, los que gustan de controversias nos prestan un doble servicio,
primero al ensearnos a hacer las cosas como ellos si es necesario, pero ms
especficamente al permitirnos, tanto como sea posible, no hacer las cosas como ellos
sin sacrificar exactitud alguna.
Un solo ejemplo nos ha mostrado la importancia de los trminos en las
matemticas, aunque hay muchos ms. Es casi imposible de creer lo que la economa
18
del pensamiento, tal como Mach deca, puede llevar a cabo gracias a un trmino bien
escogido. Creo haber dicho en algn lado que las matemticas son el arte de dar el
mismo nombre a distintas cosas. Es suficiente con que estas cosas, aunque distintas en
materia, sean similares en forma para permitir que su ser, por as decirlo, se maneje en
el mismo molde. Cuando el lenguaje ha sido bien escogido, uno puede quedar
asombrado al encontrar que todas las demostraciones hechas para un objeto conocido
inmediatamente aplican para muchos nuevos objetos: nada requiere ser cambiado, ni
siquiera los trminos, ya que los nombres se han vuelto los mismos.
Un trmino bien escogido es a menudo suficiente para eliminar las excepciones
permitidas por las reglas establecidas en la fraseologa anterior. Esto explica la
invencin de las cantidades negativas, de las cantidades imaginarias, de los decimales al
infinito, y no s qu tantas cosas ms. Y no debemos nunca olvidar que las excepciones
son perniciosas, ya que encubren a las leyes.
Esta es una de las caractersticas por la cual reconocemos hechos que nos dan
una gran ganancia: son los hechos que permiten estas afortunadas innovaciones del
lenguaje. El simple hecho, por lo tanto, puede carecer de inters: pudo haber sido
notado muchas veces sin prestar servicio alguno a la ciencia, y slo adquiere un valor
cuando algn pensador ms cuidadoso percibe la conexin que conlleva, y lo simboliza
con un trmino.
Los fsicos proceden justamente as. Han inventado el trmino energa, y ste
ha sido enormemente fructfero, ya que tambin crea una ley al eliminar excepciones,
porque da el mismo nombre a cosas que difieren en materia, pero que son similares en
forma.
Entre los trminos que han ejercido la influencia ms afortunada de todas estn
el de grupo y el de invariable. Nos han permitido percibir la esencia de muchos
razonamientos matemticos, y nos han mostrado en cuntos casos los antiguos
matemticos trataban con grupos sin saberlo y cmo, creyndose lejos un razonamiento
del otro, de pronto se encontraron juntos sin comprender por qu.
Hoy debemos decir que se estaban examinando grupos isomorfos. Ahora
sabemos que, en un grupo, la materia tiene poca importancia, que slo importa la forma,
y que cuando conocemos bien un grupo, conocemos tambin, por ese simple hecho,
todos los grupos isomorfos. Gracias a los trminos grupo e isomorfismo, que
resumen esta sutil regla en unas pocas slabas y en seguida la hacen familiar para todas
las mentes, el paso es inmediato y puede hacerse sin dedicar mucho esfuerzo mental. La
19
20
ms placer en haber economizado un da de trabajo para nuestros nietos que una hora
para nuestros contemporneos.
A menudo por tantear, por as decirlo, empricamente, llegamos a una frmula lo
suficientemente convergente. Qu ms quieres?, dir el ingeniero y, a pesar de todo, no
estamos satisfechos, porque hubisemos querido ser capaces de predecir la
convergencia. Y por qu? Porque si hubisemos sabido cmo predecirla en un caso,
sabramos cmo predecirla en otro. Hemos tenido xito, es cierto, pero eso es poco ante
nuestros ojos si carecemos de una esperanza real en repetir nuestro xito.
A medida que la ciencia crece, se vuelve ms difcil considerarla en su
totalidad. Entonces se hace un intento por cortarla en piezas y satisfacerse con una de
estas piezas; en pocas palabras, por especializarse. Un movimiento muy grande en esta
direccin constituira un serio obstculo al progreso de la ciencia. Como he dicho, es a
partir de las inesperadas concurrencias entre sus distintas partes que puede haber un
progreso, y demasiada especializacin hara imposibles tales concurrencias. Esperemos
que los congresos, como los de Heidelberg y Roma, al ponernos en contacto unos con
otros, abran una ventana al territorio de nuestros vecinos y nos obliguen a comparar tal
territorio con el nuestro, y as escapemos, en cierta medida, de nuestra pequea aldea.
En este sentido, sern el mejor remedio contra el peligro del que he hablado.
Pero me he detenido mucho en las generalidades, y es tiempo de entrar a
considerar los detalles.
Echemos un vistazo a las distintas ciencias particulares que vienen a constituir
las matemticas; veamos qu ha hecho cada una de ellas, a qu direccin tiende, y qu
podemos esperar de ella. Si las visiones precedentes son correctas, veremos que el gran
progreso del pasado ha sido posible cuando dos de estas ciencias se han unido, cuando
los hombres fueron conscientes de la similitud de su forma a pesar de la disimilitud de
su materia, cuando se han modelado una sobre la otra de tal forma que cada una se
beneficia de los triunfos de su compaera. Al mismo tiempo, debemos fijarnos en las
concurrencias de naturaleza similar para el progreso futuro.
ARITMTICA
alguna manera, su propia individualidad; cada uno de ellos es una especie de excepcin,
y esa es la razn por la cual los teoremas generales siempre sern menos comunes en la
teora de nmeros, y tambin la razn por la cual aquellos que existen estarn siempre
ms ocultos y escaparn a la deteccin.
Si la aritmtica est retrasada en comparacin con el lgebra y el anlisis, lo
mejor que puede hacer es intentar modelarse a partir de estas ciencias para poder
beneficiarse de su avance. El aritmtico debe guiarse, pues, por las analogas con el
lgebra. Estas analogas son numerosas, y si en muchos casos no han sido lo
suficientemente estudiadas como para ser servibles, s han sido por lo menos
prefiguradas, y el propio lenguaje de estas dos ciencias muestra que stas han sido
percibidas. As, hablamos de nmeros trascendentales, y tomamos consciencia del
hecho de que la futura clasificacin de estos nmeros ya tiene un modelo en la
clasificacin de las funciones trascendentales. Sin embargo, no est muy claro cmo es
que debemos pasar de una clasificacin a otra; pero si fuese claro ya se hubiese hecho, y
ya no sera el trabajo del futuro.
El primer ejemplo que viene a mi mente es la teora de los congruentes, en la que
encontramos un paralelismo perfecto con la teora de las ecuaciones algebraicas. Sin
duda conseguiremos completar este paralelismo, que debe existir, por ejemplo, entre la
teora de las curvas algebraicas y la de los congruentes con dos variables. Cuando los
problemas relativos a los congruentes con varias variables hayan sido resueltos,
habremos dado el primero paso hacia la solucin de muchas cuestiones concernientes al
anlisis indeterminado.
LGEBRA
con el polinomio entero con coeficientes indefinidos, o con el polinomio entero con
coeficientes enteros.
GEOMETRA
convocar continuamente en nuestra mente al espacio visible, sin duda slo una imagen
imperfecta de aqul, pero aun as una imagen. Otra vez aqu, como en los ejemplos
precedentes, es la analoga con lo que es simple lo que nos permite comprender aquellos
que es complejo.
Esta geometra de ms de tres dimensiones no es una simple geometra analtica,
y tampoco es puramente cuantitativa, sino tambin cualitativa, y es principalmente
sobre esta base que se vuelve interesante. Hay una ciencia llamada geometra de
posicin que tiene por objeto el estudio de las relaciones de posicin de los distintos
elementos de una figura, despus de haber eliminado sus magnitudes. Esta geometra es
puramente cualitativa, y sus teoremas seguiran siendo ciertos si las figuras, en lugar de
ser exactas, fuesen trazadas por un nio. Tambin es posible construir una geometra de
posicin de ms de tres dimensiones. La importancia de esta geometra es inmensa, y no
puedo insistir demasiado en ello. Lo que Riemann - uno de sus principales creadores ha ganado de ella resulta suficiente para demostrar lo anterior. Debemos conseguir
construirla completamente en los espacios superiores, y entonces tendremos un
instrumento que realmente nos permitir ver el hiperespacio y complementar nuestros
sentidos.
Los problemas de la geometra de posicin quiz no se habran presentado si
nicamente hubiese sido usado el lenguaje del anlisis. O quiz me equivoque, porque
ciertamente se hubieran presentado, al ser su solucin necesaria para una multitud de
cuestiones relativas al anlisis, aunque se hubiesen mostrado aislados, uno despus de
otro, y sin ser nosotros capaces de percibir su vnculo comn.
CANTORISMO
solamente define, como decan los escolsticos, per genus proximum et differentiam
specificam. De ah el horror que ha producido en ciertas mentes, tal como la de Hermite,
cuya idea favorita consista en comparar lo matemtico con las ciencias naturales. Para
la mayora de nosotros estos prejuicios se han disipado, pero ha resultado que nos
hemos encontrado con ciertas paradojas y aparentes contradicciones, que sin duda
hubiesen regocijado el corazn de Zenn de Elea y a la escuela de Megara. Entonces
toca buscar un remedio, y cada hombre por su propio camino. Por mi parte pienso, y no
soy el nico que as lo hace, que lo importante es nunca introducir cualesquiera
entidades, sino slo aquellas que puedan ser completamente definidas en un nmero
finito de palabras. Sea cual sea el remedio adoptado, podemos prometernos la alegra
que experimenta un doctor al intentar remediar un sutil caso patolgico.
LA BSQUEDA DE POSTULADOS
Se han hecho varios intentos, desde otro punto de vista, para enumerar los axiomas y
postulados ms o menos ocultos que conforman las bases de las distintas teoras
matemticas, y en esta direccin el seor Hilbert ha obtenido los resultados ms
brillantes. Al principio parece que este dominio debe estar estrictamente limitado, y que
ya no habr ms que hacer cuando haya sido completado el inventario, cosa que no
puede tomar mucho tiempo. Pero cuando todo haya sido enumerado, habr muchas
formas de clasificarlo. Un buen bibliotecario siempre encuentra trabajo que hacer, y
cada nueva clasificacin resultar instructiva para el filsofo.
Concluyo aqu esta revisin, que no puedo siquiera soar con hacerla completa.
Pienso que estos ejemplos han sido suficientes para mostrar el mecanismo por el cual
las ciencias matemticas han progresado en el pasado, y la direccin en la que deben
avanzar en el futuro.
26
CAPTULO III
DESCUBRIMIENTO MATEMTICO
darn un paso en falso en un argumento pequeo tal como los que debemos hacer en las
acciones ordinarias de la vida, pero que son incapaces de seguir o repetir, sin error, las
demostraciones matemticas que sin duda son ms largas, pero que son, despus de
todo, solamente acumulaciones de pequeos argumentos exactamente anlogos a
aquellos que en principio resultan tan fciles. Es necesario aadir que los mismos
matemticos no son infalibles?
La respuesta me parece bastante obvia. Imaginemos una larga serie de
silogismos en donde las conclusiones de aquellos que preceden forman las premisas de
aquellos que les siguen. Deberamos ser capaces de comprender cada uno de los
silogismos, y no es en el paso de las premisas a la conclusin en donde estamos en
peligro de ir por mal camino, sino entre el momento en que nos encontramos por
primera vez con una proposicin como la conclusin de un silogismo, y el momento en
que la encontramos una vez ms como la premisa de otro silogismo, porque quiz habr
transcurrido mucho tiempo y habremos roto muchos eslabones de la cadena. De acuerdo
con lo anterior, bien puede suceder que hayamos olvidado tal silogismo o, lo que es
peor, olvidado su significado, de tal forma que podemos intentar remplazarlo por una
proposicin algo dismil, o preservar la misma declaracin pero otorgndole un
significado ligeramente distinto, y es as como estamos en peligro de caer en un error.
Un matemtico debe a menudo usar una regla y, naturalmente, comienza por
demostrarla. En el momento en que la demostracin est fresca en su memoria,
comprende perfectamente su sentido y su significado, y no est en peligro de cambiarla.
Pero ms tarde se encomienda a la memoria, slo aplica tal demostracin
mecnicamente, y entonces, si su memoria falla, puede cometer un error. Es as como,
tomando un simple y casi vulgar ejemplo, a veces cometemos errores en el clculo
porque hemos olvidado la tabla de multiplicar.
Segn esta visin, las aptitudes especiales de los matemticos se deberan a una
memoria muy certera o a una tremenda capacidad de atencin, y sera una cualidad
anloga a la del jugador de whist que puede recordar las cartas jugadas, o, subiendo un
escaln ms, a la del jugador de ajedrez que es capaz de imaginar un gran nmero de
combinaciones y de retenerlas en su memoria. Todo buen matemtico debe ser tambin
un buen jugador de ajedrez y viceversa, y similarmente tambin debe ser un buen
calculador. Ciertamente esto sucede a veces, y as Gauss era, al mismo tiempo, un
gemetra genial y un calculador muy precoz y certero.
28
hablado ms o menos desarrollada, y no slo pueden comprender las matemticas incluso cuando su memoria no sea tan extraordinaria - sino que tambin pueden ser
creadores, e intentar hacer un descubrimiento con una mayor o menor probabilidad de
xito, de acuerdo con el desarrollo de esta intuicin.
Qu es, en realidad, el descubrimiento matemtico? No consiste en hacer
nuevas combinaciones con entidades matemticas ya conocidas. Eso puede hacerlo
cualquiera, y las combinaciones que as surgen pueden ser infinitas en nmero, adems
de que la mayor parte de ellas estaran desprovistas de todo inters. El descubrimiento
consiste precisamente en no construir combinaciones intiles, sino en construir aquellas
que resulten tiles, y que son una minora infinitamente pequea. El descubrimiento es,
pues, discernimiento, seleccin.
He explicado antes cmo debe hacerse esta seleccin. Los hechos matemticos
dignos de ser estudiados son aquellos que, dada su analoga con otros hechos, son
capaces de conducirnos hacia el conocimiento de una ley matemtica, en la misma
forma que los hechos experimentales nos conducen al conocimiento de una ley fsica.
Son aquellos que nos revelan relaciones insospechadas entre otros hechos, desde hace
tiempo conocidos, pero errneamente credos como inconexos entre s.
Entre las combinaciones que elegimos, las ms fructferas son comnmente
aquellas formadas por elementos trados de dominios ampliamente separados. No estoy
diciendo que para el descubrimiento sea suficiente con traer objetos tan incongruentes
como sea posible, ya que la mayor parte de las combinaciones as formadas sera
completamente infructfera, no obstante que algunas entre ellas, aunque sean muy raros
los casos, son las ms fructferas de todas.
El descubrimiento, como he dicho, es seleccin. Pero quiz esta no es la palabra
correcta, porque sugiere la idea de un comprador al que se le ha mostrado un gran
nmero de muestras, y examina una despus de otra para hacer su seleccin. En nuestro
caso, las muestras seran tan numerosas que una vida entera no alcanzara para
examinarlas. Las cosas no suceden as. Las combinaciones infructferas no se presentan
tanto en la mente del descubridor. En la esfera de su consciencia nunca aparecen sino
combinaciones realmente tiles, y algunas que rechaza que, no obstante, participan en
cierta medida del carcter de las combinaciones tiles. Todo sucede como si el
descubridor fuese un examinador secundario que slo tiene que interrogar candidatos
declarados elegibles despus de pasar una prueba preliminar.
30
Estas funciones toman su nombre del matemtico alemn Lazarus Fuchs. Nota del Traductor.
31
aunque nada en mis pensamientos anteriores me haba preparado para ella - de que las
transformaciones que haba utilizado para definir las funciones fuchsianas eran idnticas
a las de la geometra no euclidiana. No hice verificacin alguna, y no tena tiempo para
hacerlo, ya que retom de nuevo la conversacin tan pronto como me sent en el
descanso, pero sent una certeza absoluta a la vez. Cuando regres a Caen, verifiqu el
resultado en mi tiempo libre para satisfacer mi consciencia.
Entonces empec a estudiar cuestiones aritmticas sin conseguir un gran
resultado aparente, y sin sospechar que pudieran tener la menor conexin con mis
estudios previos. Disgustado por mi falta de xito, me retir para pasar unos das en la
playa, y para pensar en cosas distintas. Un da, mientras caminaba sobre el acantilado,
vino la idea a m - de nuevo con las mismas caractersticas de concisin, brusquedad, y
certeza inmediata - de que las transformaciones aritmticas de formas cuadrticas
ternarias indefinidas son idnticas que las de la geometra no euclidiana.
Regresando a Caen, reflexion sobre este resultado y deduje sus consecuencias.
El ejemplo de las formas cuadrticas me mostr que hay otros grupos fuchsianos
adems de aquellos que corresponden a las series hipergeomtricas; observ que poda
aplicar a ellos la teora de la serie de Theta-Fuchsiana y que, consecuentemente, hay
otras funciones fuchsianas adems de aquellas que se derivan de las series
hipergeomtricas, las nicas que conoca en ese entonces. Naturalmente, me propuse
formar todas estas funciones. Les puse sistemticamente un cerco y captur todos los
accesorios uno por uno. Haba uno, sin embargo, que todava se mantena fuera, y cuya
cada llevara consigo la de la fortaleza principal. Pero todos mis esfuerzos no sirvieron,
en un principio, de nada, excepto para hacerme comprender mejor la dificultad de todo
esto, que ya era algo. Todo este trabajo era perfectamente consciente.
Luego part hacia Mont-Valrien, donde tena que servir mi tiempo en el
ejrcito, y entonces mi mente estuvo ocupada en cosas muy distintas. Un da, mientras
cruzaba la calle, la solucin de la dificultad que me haba llevado a estar paralizado me
vino de golpe. No intent desentraarla inmediatamente, y fue slo despus de mi
servicio termin que regres a la cuestin. Tena todos los elementos, y solamente
necesitaba ensamblarlos y organizarlos. Como corresponde, compuse mi tratado
definitivo de una sentada y sin mucha dificultad.
Es intil multiplicar los ejemplos, y me contento con este. En cuanto a mis otras
investigaciones, las cuentas que dara seran muy similares, y las observaciones
32
casi siempre ser el caso. Pero debemos tener cuidado de pensar que esta es una regla
sin excepciones. A menudo la sensacin nos engaa sin ser menos distinta por ese
motivo, y solamente detectamos tal engao cuando intentamos establecer las
demostraciones. He observado este hecho ms notablemente con respecto a ideas que
han llegado a m en la maana o en la noche cuando estoy en la cama en un estado
semi-somnoliento.
Tales son los hechos del caso, y sugieren las siguientes reflexiones. El resultado
de todo lo que precede es demostrar que el ego inconsciente, o como es llamado, el ego
subliminal, desempea un papel sumamente importante en el descubrimiento
matemtico. Pero el ego subliminal es generalmente pensado como puramente
automtico. Ahora hemos visto que el trabajo matemtico no es un simple trabajo
mecnico, y que no podra ser confiado a una mquina, sin importar el grado de
perfeccin que supongamos haberle dado. No es slo cuestin de aplicar ciertas reglas,
de fabricar tantas combinaciones como sea posible de acuerdo con ciertas leyes fijas.
Las combinaciones as obtenidas seran extremadamente numerosas, intiles, y
estorbosas. El verdadero trabajo del descubridor consiste en escoger entre estas
combinaciones con miras a eliminar aquellas que resulten intiles, o en otro caso a no
molestarse en escoger en absoluto. Las reglas que deben guiar esta eleccin son
extremadamente sutiles y delicadas, y es prcticamente imposible establecerlas en un
lenguaje preciso; deben ser sentidas y no tanto formuladas. Bajo estas condiciones,
cmo podemos imaginar a un tamiz capaz de aplicarlas mecnicamente?
Lo siguiente se presenta, pues, como una primera hiptesis. El ego subliminal no
es de ninguna manera inferior al ego consciente; no es puramente automtico; es capaz
de discernir; tiene tacto y ligereza de tacto; puede seleccionar y puede adivinar. Ms que
eso, puede adivinar mejor que el ego consciente, ya que tiene xito ah donde el ltimo
falla. En pocas palabras, no es el ego subliminal superior al ego consciente? La
importancia de esta cuestin ser fcilmente comprendida. En una conferencia reciente,
el seor Boutroux mostr cmo este ego ha surgido en ocasiones completamente
distintas, y que consecuencias traera responder afirmativamente a la pregunta hecha
anteriormente. (Vase tambin, del mismo autor, Science et religion, pp. 313 et seq.).
Estamos forzados a dar una respuesta afirmativa a esto dados los hechos que he
expuesto? Confieso que, por mi parte, me encuentro poco dispuesto a aceptarlo.
Regresemos, pues, a los hechos, y veamos si no admiten otras explicaciones.
34
sensibilidad especial que todos los matemticos conocen, pero que es tan ignorada por
los hombres legos que a menudo slo pueden sonrer ante ella.
Qu sigue, entonces? Del gran nmero de combinaciones que ciegamente
forma el ego subliminal, casi todas carecen de inters y de utilidad. Pero precisamente
por esto no ejercen accin alguna sobre la sensibilidad esttica, y entonces la
consciencia nunca llega a conocerlas. Slo unas pocas son armoniosas, y
consecuentemente tiles y bellas a la vez, y sern capaces de afectar a la sensibilidad
especial del gemetra. Una vez surgidas, dirigiremos nuestra atencin sobre ellas, y
entonces tendrn la oportunidad de volverse conscientes.
Esto es nicamente una hiptesis, pero hay una observacin que tiende a
confirmarla. Cuando una iluminacin sbita invade la mente del matemtico, casi nunca
lo engaa. Pero tambin sucede a veces que, como ya he dicho, no soporte la prueba de
la verificacin. Pues bien, casi siempre se ha de observar que esta falsa idea, si hubiese
sido correcta, habra adulado a nuestro instinto natural para la elegancia matemtica.
De esta forma, es esta sensibilidad esttica especial la que desempea el papel
del delicado tamiz del que ya he hablado, y esto hace lo suficientemente claro el porqu
el hombre que carece de ella nunca ser un verdadero descubridor.
Sin embargo, no han desaparecido todas las dificultades. El ego consciente est
estrictamente limitado, pero en cuanto al ego subliminal, no conocemos sus
limitaciones, y de aqu que no estemos muy reacios a suponer que, en un corto periodo
de tiempo, pueda formar ms combinaciones distintas de las que pueda comprender toda
la vida de un ser consciente. Estas limitaciones, no obstante, existen. Es concebible que
[el ego inconsciente] pueda formar todas las combinaciones posibles, cuyo nmero haga
tambalear a la imaginacin? Con todo, esto parecera ser necesario, porque si slo
produjese una pequea porcin de las combinaciones, y eso por casualidad, habra muy
poca probabilidad de que la correcta - aquella que debe ser seleccionada - se encuentre
entre ellas.
Quiz debamos buscar la explicacin en aquel periodo de trabajo consciente
preliminar que siempre precede todo trabajo inconsciente fructfero. Si se me permite
una comparacin vulgar, representemos a los futuros elementos de nuestras
combinaciones como algo parecido a los ganchudos tomos de Epicuro. Cuando la
mente est en completo reposo, estos tomos estn inmviles; estn, por decirlo de
alguna manera, unidos a la pared. Este reposo completo puede continuar
36
de estas inspiraciones, que son los frutos del trabajo inconsciente, es obtener puntos de
partida para tales clculos. En cuanto a los clculos por s mismos, stos deben hacerse
en el segundo periodo de trabajo consiente que sigue a la inspiracin, y en donde se
verifican los resultados de tal inspiracin y se deducen sus consecuencias. Las reglas de
estos clculos son estrictas y complejas; demandan disciplina, atencin, voluntad, y,
consecuentemente, consciencia. En el ego subliminal, por el contrario, reina lo que he
llamado libertad, si uno pudiese dar este nombre a la mera ausencia de disciplina y al
desorden que nace de la casualidad. Slo que este mismo desorden permite uniones
inesperadas.
Har una ltima observacin. Cuando antes relat algunas observaciones
personales, habl de una noche de agitacin, en la que trabaj a pesar de m mismo. Los
casos de lo anterior son frecuentes, y no es necesario que la actividad cerebral anormal
sea causada por un estimulante fsico, como en el caso citado. Pues bien, parece que, en
estos casos, asistimos a nuestro propio trabajo inconsciente, que se vuelve parcialmente
perceptible a la consciencia sobreexcitada, pero que no cambia, por ese motivo, su
naturaleza. Entonces nos volvemos vagamente conscientes de lo que distingue ambos
mecanismos o, si se prefiere, de los mtodos de trabajo de los dos egos. Las
observaciones psicolgicas que he hecho parecen confirmar, en sus caractersticas
generales, los puntos de vista que he venido enunciando.
Ciertamente hay una gran necesidad de esto, porque, a pesar de todo, son y
permanecen [las observaciones] como hipotticas. El inters de la cuestin es tan grande
que no me arrepiento de haberlas presentado al lector.
38
CAPTULO IV
CASUALIDAD
I
Poincar habla de un mundo inorgnico que para nosotros en realidad sera lo que llamamos o
llamaramos mundo natural o naturaleza. Nota del Traductor.
39
slo la medida de nuestra ignorancia, y los fenmenos fortuitos son, por definicin,
aquellos cuyas leyes desconocemos.
Pero es satisfactoria esta definicin? Cuando los primeros pastores astrlogos
siguieron con sus ojos los movimientos de las estrellas, no conocan an las leyes
astronmicas, pero habran dicho que las estrellas se mueven por casualidad? Si un
fsico moderno est estudiando un nuevo fenmeno y descubre su ley un martes, habra
dicho el lunes anterior que el fenmeno era fortuito? Pero ms que esto, no recurrimos
frecuentemente a lo que Bertrand llama las leyes del azar para predecir un fenmeno?
Por ejemplo, en la teora cintica de los gases, encontramos las bien conocidas leyes de
Mariotte y de Gay-Lussac, gracias a la hiptesis de que las velocidades de las molculas
gaseosas varan de manera irregular, es decir, por casualidad. Las leyes observables
seran mucho ms simples, dicen todos los fsicos, si las velocidades estuviesen
reguladas por alguna ley simple y elemental, si las molculas estuviesen, como dicen
ellos, organizadas, si estuviesen sujetas, pues, a alguna disciplina. Es gracias a la
casualidad - esto es, gracias a nuestra ignorancia - que podemos llegar a conclusiones.
Entonces, si la palabra casualidad es simplemente sinnimo de ignorancia, qu
significa? Debemos traducirla como lo que sigue?:
Me pides predecir los fenmenos que tendrn lugar. Si tuviese la desgracia de
conocer las leyes de estos fenmenos, no podra predecirlos excepto a partir de clculos
inextricables, y tendra que renunciar al intento de responder; pero como soy lo
suficientemente afortunado como para ignorar sus leyes, te dar una respuesta
inmediata. Y, lo que es ms extraordinario an, mi respuesta ser correcta.
La casualidad debe ser, pues, algo ms que el nombre que damos a nuestra
ignorancia. Entre los fenmenos cuyas causas desconocemos, debemos distinguir entre
fenmenos fortuitos, sobre los cuales el clculo de probabilidades nos dar informacin
provisional, y aquellos que no son fortuitos, y sobre los cuales no podemos decir nada
en cuanto no hayamos determinado las leyes que los gobiernan. Y en cuanto a los
fenmenos fortuitos por s mismos, es claro que la informacin que el clculo de
probabilidades provee no dejar de ser cierta cuando los fenmenos sean mejor
conocidos.
El gerente de una compaa de seguros no sabe cundo morir cada uno de los
asegurados, pero se apoya en el clculo de probabilidades y en la ley de grandes
nmeros, y no comete error alguno, porque es capaz de pagar dividendos a sus
accionistas. Estos dividendos no desapareceran si un doctor muy previsor e indiscreto
40
llegase y, ya firmadas las plizas, diera al gerente informacin sobre las probabilidades
de vida del asegurado. El doctor disipara la ignorancia del gerente, pero no tendra
efecto alguno sobre los dividendos, que evidentemente no son el resultado de tal
ignorancia.
II
41
Asumimos que la aguja girar diez o veinte veces, pero que se detendr antes o ms
tarde dependiendo de la fuerza que le hayamos dado al giro del disco. Solamente una
variacin milimtrica o incluso menor en el impulso es suficiente para determinar si la
aguja se detendr en una seccin negra o en la siguiente seccin, que es roja. Estas son
diferencias que el sentido muscular no puede apreciar, y que eluden incluso a los
instrumentos ms delicados. Nos resulta, por tanto, imposible predecir qu har la
aguja, y es por eso que dejamos todo a la casualidad. La diferencia en la causa es
imperceptible, pero la diferencia en el efecto me resulta muy importante, ya que afecta a
mi juego entero.
III
Sobre esto, deseo hacer una reflexin un tanto ajena a nuestro tema. Hace algunos aos,
cierto filsofo dijo que el futuro estaba determinado por el pasado, pero no as el pasado
por el futuro; o, en otras palabras, que a partir del conocimiento del presente podamos
deducir el del futuro, pero no el del pasado porque, deca tal filsofo, una causa puede
producir slo un efecto, mientras que el mismo efecto puede ser producido por varias
causas distintas. Es obvio que ningn cientfico puede aceptar esta conclusin. Las leyes
de la naturaleza vinculan el antecedente con el consecuente de tal forma que el
antecedente est determinado por el consecuente tanto como el consecuente lo est por
el antecedente. Cul pudo haber sido, pues, el origen del error del filsofo? Sabemos
que, en virtud del principio de Carnot, los fenmenos fsicos son irreversibles y que el
mundo tiende hacia la uniformidad. Cuando dos cuerpos de distintas temperaturas estn
en conjuncin, el ms caliente da calor al ms fro y, a partir de esto, podemos predecir
que las temperaturas se igualarn. Pero una vez igualadas, si nos preguntamos acerca
del estado previo, qu podemos responder? Ciertamente podemos decir que uno de los
cuerpos estaba caliente y el otro fro, pero no podemos conjeturar cul de los dos estaba
caliente primero.
Y sin embargo, en realidad, las temperaturas nunca alcanzan una igualdad
perfecta. La diferencia entre las temperaturas slo tiende hacia cero de manera asntota.
De acuerdo con esto, llega un momento en que nuestros termmetros son incapaces de
revelar tal condicin. Pero aun cuando contsemos con termmetros mil veces o cien
mil veces ms sensibles, reconoceramos una pequea diferencia, y tambin que uno de
43
IV
44
Pero hay un tercer punto de vista, menos importante que los dos anteriores, y sobre el
que no pondr tanta atencin. Cuando tratamos de predecir un hecho y examinamos los
antecedentes, nos empeamos en indagar en la situacin anterior. Pero no podemos
hacer esto para cada parte del Universo, y nos contentamos con saber qu es lo que
sucede en la proximidad del lugar en donde tendr lugar el hecho, o con aquello que
parece tener alguna conexin con l. Nuestra indagacin no puede ser completa, y
debemos saber cmo seleccionar. Sin embargo, podemos pasar por alto circunstancias
que, a primera vista, parecen totalmente ajenas al hecho anticipado, y a las cuales nunca
hubisemos atribuido influencia alguna sobre tal hecho, pero que, contrario a toda
anticipacin, vienen a desempear un papel importante.
Un hombre camina por la calle camino a su trabajo. Alguien familiar con tal
trabajo podra decir las razones que este hombre tuvo para ir a tal hora y por tal calle.
Sobre uno de los techos de la calle, un albail est trabajando. El patrn que lo emplea
podra predecir, hasta cierto grado, lo que este trabajador har. Pero el hombre [que
pasea camino a su trabajo] no tiene consideracin alguna por el albail, ni ste por
aqul; parecen pertenecer a dos mundos completamente ajenos el uno del otro. Sea
como fuere, el albail deja caer una baldosa que mata al hombre que va camino a su
trabajo, y no dudaramos en decir que este hecho fue azaroso.
46
VI
Nada de lo que se ha dicho hasta ahora explica por qu la casualidad obedece ciertas
leyes. Es el hecho de que las causas sean pequeas, o de que sean complejas, suficiente
para permitirnos predecir, si no qu efectos habr en cada caso, s por lo menos cmo
sern en promedio? Para responder esta cuestin, ser mejor regresar a algunos de los
ejemplos anteriores.
Comenzar con la ruleta. Dije antes que el punto done se detiene la aguja
depender del impulso inicial dado a sta. Cul es la probabilidad de que este impulso
sea de cualquier intensidad particular? No lo s, pero resulta difcil no admitir que esta
probabilidad est representada por una funcin analtica continua. La probabilidad de
que el impulso est comprendido entre y + ser, por tanto, claramente igual a la
probabilidad de que est comprendido entre + y + 2, siempre que sea muy
pequea. Esta es una propiedad comn a todas las funciones analticas. Pequeas
variaciones de la funcin son proporcionales a pequeas variaciones de la variable.
Pero hemos asumido que una variacin muy pequea en el impulso es suficiente
para cambiar el color de la seccin opuesta a donde finalmente se detiene la aguja. De
a + es roja, y de + a + 2 es negra. La probabilidad de cada seccin roja es, por
consiguiente, la misma que la de la sucesiva seccin negra y, consecuentemente, la
probabilidad total de [secciones] rojas es igual a la probabilidad total de negras.
47
48
qu nmero sea n, porque los hbitos del jugador y su mtodo de barajar siguen siendo
los mismos.
Pero si el nmero de barajadas es muy grande, las cartas que ocupaban las
posiciones 1 2 3 antes de la primera barajada pueden ocupar, despus de la ltima, las
posiciones
1 2 3, 2 3 1, 3 1 2, 3 2 1, 1 3 2, 2 1 3,
y la probabilidad de cada una de estas seis hiptesis es claramente la misma e igual a
1
; y esto es cierto sin importar cules sean los nmeros p1 ... p6 , que no conocemos. El
6
gran nmero de barajadas, es decir, la complejidad de las causas, ha producido
uniformidad.
Esto aplica invariablemente si hubiese ms de tres cartas, pero incluso con tres la
demostracin sera complicada, as que me contentar con exponerla con slo dos
cartas. Ahora nicamente tenemos dos hiptesis
1 2, 2 1,
con las probabilidades p1 y p2 = 1 p1 . Asumamos que hay n barajadas, y que
ganaremos si las cartas se colocan finalmente en el orden inicial, y perderemos si
finalmente est invertido tal orden. Entonces mi expectativa matemtica ser
( p1 p 2 ) n
La diferencia p1 p 2 es ciertamente menor que 1, de tal suerte que si n es muy grande,
el valor de mi expectativa ser nulo, y no requeriremos conocer p1 y p2 para saber que
el juego es justo.
No obstante, habra una excepcin si uno de los nmeros p1 o p2 fuese igual a
1 y el otro igual a nada. Entonces lo anterior ya no se mantendra, porque nuestra
49
VII
Pero no hemos llegado al final de las paradojas. Justo antes relat la ficcin de
Flammarion, en donde el tiempo ha cambiado de signo para un hombre que viaja ms
rpido que la luz. Dije tambin que, para l, todos los fenmenos pareceran deberse a la
casualidad. Esto es verdad desde un cierto punto de vista y, sin embargo, en cualquier
momento dado todos estos fenmenos no estaran distribuidos en conformidad con las
leyes de la casualidad, ya que seran justo como son para nosotros quienes, vindolos
armoniosamente desplegados y no emergiendo de un caos primitivo, no los
consideramos como si estuviesen gobernados por la casualidad.
50
1
. Por qu? Porque, para
2
que esto sea as, la causa debe corresponder a un centmetro teniendo un nmero par.
Ahora bien, segn todas las apariencias, la probabilidad de que la causa vare entre
ciertos lmites es proporcional a la distancia de tales lmites, siempre y cuando tal
distancia sea muy pequea. Si no se admite esta hiptesis, ya no habra medio alguno
para representar la probabilidad a partir de una funcin continua.
Ahora, qu sucede cuando grandes causas producen pequeos efectos? Este es
el caso en donde no debemos atribuir el fenmeno a la casualidad, y en el que Lumen,
por el contrario, s lo atribuira a la casualidad. Una diferencia de un kilmetro en la
causa corresponde a una diferencia de un centmetro en el efecto. Ser la probabilidad
de que la causa est comprendida entre dos lmites separados por n kilmetros an
proporcional a n? No tenemos razn alguna para suponerlo as, ya que la distancia de n
kilmetros es grande. Pero la probabilidad de que el efecto est comprendido entre dos
lmites separados por n centmetros ser precisamente la misma y, por consiguiente, no
ser proporcional a n, y lo anterior a pesar del hecho de que esta distancia de n
centmetros es pequea. No hay, por tanto, medio alguno para representar la ley de
probabilidad de los efectos por una curva continua. Con esto no pretendo decir que la
curva no pueda permanecer continua en el sentido analtico de la palabra. A variaciones
Lumen es el ttulo de uno de los libros de este autor. Nota del Traductor.
51
VIII
52
ser uniforme para aquel que se vea obligado a observar tal mezcla desde lejos, pero no
ser as para el que la observe desde cerca. Incluso cuando se haya vuelto uniforme para
todas las vistas, podemos hacer retroceder al lmite empleando instrumentos. No hay
posibilidad de que algn hombre distinga la infinita variedad oculta bajo la apariencia
uniforme de un gas, si la teora cintica es cierta. No obstante, si adoptamos las ideas de
Gouy sobre el movimiento browniano, no est el microscopio a punto de mostrarnos
algo anlogo?
Este nuevo criterio es, pues, relativo al primero, y si conserva un carcter
objetivo es porque todos los hombres tienen los mismos sentidos, el poder de sus
instrumentos es limitado y, adems, hacen uso de ellos ocasionalmente.
IX
Unas palabras ms acerca de las paradojas a las que ha dado lugar la aplicacin
del clculo de probabilidades a las ciencias morales. Se ha demostrado que ningn
parlamento contendr solamente a un nico miembro de la oposicin, o por lo menos
que tal evento sera tan improbable que resultara muy seguro apostar contra l, y
apostar un milln a uno. Condorcet intent calcular cuntos jurados se requeriran para
hacer que un malogro de la justicia sea prcticamente imposible. Si utilizamos los
resultados de su clculo, ciertamente estaremos expuestos a la misma desilusin que
resultara de apostar al clculo que sostiene que la oposicin nunca tendr un nico
representante.
Las leyes de la casualidad no aplican a estas cuestiones. Si la justicia no siempre
decide con buenas razones, no hace mucho uso, como generalmente se supone, del
mtodo de Bridoye. Esto quiz es una desgracia, porque, si lo hiciera, el mtodo de
Condorcet nos protegera de los malogros de la justicia.
Qu significa esto? Estamos tentados a atribuir hechos de esta naturaleza a la
casualidad porque sus causas son oscuras, pero esto no es verdadera casualidad. Las
causas nos son desconocidas, es cierto, y tal vez hasta son complejas; pero no son lo
suficientemente complejas, ya que preservan algo, y ya hemos visto que esta es la marca
distintiva de las causas demasiado simples. Cuando los hombres se juntan, ya no
deciden por casualidad e independientemente unos de otros, sino que reaccionan unos
sobre otros. Muchas causas entran en accin, atormentan a los hombres y los hacen ir
por tal o cual lado, pero hay una cosa que no pueden destruir, a saber, y como las ovejas
de Panurge, los hbitos que tienen. Y es esto lo que se conserva.
Hay muchas otras cuestiones que podran surgir, si desease abordarlas antes de
responder la cuestin que especialmente me he propuesto. Cuando llegamos a un
resultado simple, cuando, por ejemplo, encontramos un nmero redondo, decimos que
tal resultado no puede deberse a la casualidad, y buscamos una causa no fortuita para
explicarlo. Y, en realidad, slo hay una probabilidad muy pequea de que, de 10,000
nmeros, nos toque un nmero redondo, el nmero 10,000, por ejemplo; solamente hay
una probabilidad en 10,000. Pero tampoco hay ms que una probabilidad en 10,000 de
que nos toque otro nmero en particular y, sin embargo, este resultado no nos asombra,
y no dudamos en atribuirlo a la casualidad, y eso slo porque es menos llamativo.
Es esto una simple ilusin de nuestra parte, o hay casos en donde este punto de
vista es legtimo? Debemos esperar que as sea, porque de otra forma toda ciencia sera
imposible. Cuando queremos verificar una hiptesis, qu es lo que hacemos? No
podemos verificar todas sus consecuencias, porque son infinitas en nmero. Nos
contentamos con verificar unas cuantas y, si tenemos xito, declaramos que la hiptesis
est confirmada, ya que tanto xito no podra deberse a la casualidad. En el fondo,
siempre est el mismo razonamiento.
No puedo justificar lo anterior completamente porque me llevara mucho tiempo,
pero s puedo decir por lo menos esto. Nos encontramos frente a dos hiptesis, ya sea
una causa simple, o bien tal agregado de causas complejas que llamamos casualidad.
Encontramos natural admitir que la primera debe producir un resultado simple y que, si
llegamos a ste, al nmero redondo por ejemplo, pensamos ms razonable atribuirlo a la
causa simple, que era casi seguro que nos dara tal resultado, que a la casualidad, que
slo nos lo podra dar una en 10,000 veces. No sera lo mismo si llegsemos a un
resultado que no es simple. Es cierto que la casualidad no podra drnoslo en ms de
una ocasin sobre 10,000, pero la causa simple tampoco podra hacerlo.
56
PARTE II
RAZONAMIENTO
MATEMTICO
CAPTULO I
57
en un da. En realidad, lo que quise decir fue: Maana observar una vez ms el domo
y el frontn del Panthon, y si no hubiese Panthon mi frase no tendra sentido y el
espacio desaparecera.
Esta es una de las formas ms comunes del principio de la relatividad del
espacio, pero existe otra sobre la que Delbouf9 ha puesto un nfasis especial.
Supongamos que una noche todas las dimensiones del Universo se vuelven mil veces
ms grandes. El mundo permanecera similar a s mismo, si damos a la palabra similitud
el significado que tiene en el tercer libro de Euclides. Slo que, lo que antes era un
metro ahora medir un kilmetro, y lo que antes era un milmetro, ahora ser un metro.
La cama en la que nos fuimos a dormir, y nuestro propio cuerpo, habrn crecido en la
misma proporcin. Cuando nos despertemos, cul ser nuestra sensacin en vista de tal
asombrosa transformacin? Bien, no notaremos nada en absoluto. Las medidas ms
exactas sern incapaces de revelar algo sobre este tremendo cambio, ya que las medidas
que utilizamos habrn variado exactamente en las mismas proporciones que los objetos
que intentamos medir. En realidad, el cambio solamente existe para aquellos que
argumentan que el espacio es absoluto. Si argument por un momento como ellos, slo
fue para hacer an ms evidente que su punto de vista implica una contradiccin. En
verdad, sera mejor decir que, como el espacio es relativo, nada ha sucedido, y es por
eso que no hemos notado nada.
Tenemos entonces algn derecho para decir que conocemos la distancia entre
dos puntos? No, porque la distancia puede experimentar enormes variaciones sin que
seamos capaces de percibirlas, siempre que otras distancias varen en las mismas
proporciones. Justo ahora vimos que el decir que estaremos aqu maana no significa
que estaremos en el punto en el espacio en donde nos encontramos hoy, sino que
maana estaremos a la misma distancia del Panthon de la que nos encontramos hoy. Y
ya esta declaracin no es suficiente, y debemos decir que maana y hoy nuestra
distancia con respecto al Panthon ser igual al mismo nmero de veces que la longitud
de nuestro cuerpo.
Pero eso no es todo. Acabamos de imaginar que las dimensiones del mundo
cambian, pero que - por lo menos - el mundo permanece similar a s mismo. Podemos ir
mucho ms all de lo anterior, y una de las teoras ms sorprendentes de la fsica
moderna nos permite hacerlo. De acuerdo con una hiptesis desarrollada por Lorentz y
Poincar se refiere a Joseph Delboeuf (1831-1896), matemtico y filsofo belga. Nota del Traductor.
58
11
Esto es,
59
60
propio cuerpo se deforma, estos instrumentos de medicin nos fallarn, y ser imposible
comprobar tal deformacin.
Imaginemos, de la misma manera, dos universos que son la imagen uno del otro.
A cada objeto P en el universo A corresponde, en el universo B, un objeto P1 que es su
imagen. Las coordenadas de esta imagen P1 son funciones determinadas de aquellas
[coordenadas] del objeto P; ms an, estas funciones pueden ser de cualquier tipo,
siempre que sean elegidas de una vez por todas. Entre la posicin de P y de P1 hay una
relacin constante, y poco importa qu relacin sea, es suficiente con que sea constante.
Pues bien, estos dos universos seran indistinguibles. Quiero decir que el primero
sera para sus habitantes lo que el segundo es para los suyos. Esto ser cierto siempre
que ambos universos permanezcan ajenos el uno al otro. Supongamos que nosotros
somos habitantes del universo A, y hemos construido nuestra ciencia y, particularmente,
nuestra geometra. Durante este tiempo, los habitantes del universo B tambin han
construido una ciencia, y como su mundo es la imagen del nuestro, su geometra
tambin ser la imagen de la nuestra o, ms preciso an, ser la misma. Pero si un da se
nos abre una ventana hacia el universo B, sentiramos desprecio por ellos, y tal vez
diramos: Estas miserables personas imaginaron haber construido una geometra, pero
lo que llaman tal cosa es slo una grotesca imagen de la nuestra; sus lneas rectas estn
todas retorcidas, sus crculos estn corcovados, y sus esferas tienen caprichosas
desigualdades. No tendramos sospecha alguna de que ellos diran lo mismo de
nosotros, y que ninguno sabra nunca quin tiene razn.
Podemos ver en qu sentido tan amplio debemos entender la relatividad del
espacio. El espacio es en realidad amorfo, y slo las cosas que hay en l le dan una
forma. Qu debemos pensar, entonces, de aquella intuicin directa que tenemos de una
lnea recta o de una distancia? Tenemos tan poca intuicin de la distancia que, en una
sola noche, tal como hemos dicho, una distancia puede volverse mil veces mayor sin
que seamos capaces de percibirlo, si todas las distancias han experimentado la misma
alteracin. Y en una noche el universo B podra ser sustituido por el universo A sin que
tengamos medio alguno para saberlo, y entonces las lneas rectas de ayer dejarn de ser
rectas, y no nos habremos dado cuenta de nada.
Una parte del espacio no es por s misma y en el sentido absoluto de la palabra
igual a otra parte del espacio, porque si as lo es para nosotros, no lo ser para los
61
habitantes del universo B, y ellos tienen tanto derecho para rechazar nuestra opinin
como nosotros tenemos de condenar la suya.
En otra parte he mostrado cules son las consecuencias de estos hechos desde el
punto de vista de la idea de que debemos construir geometras no euclidianas y otras
anlogas. No quiero regresar a esto, y adoptar un punto de vista algo distinto.
II
excita as a una corriente en uno de los cables centrfugos, y las cosas estn arregladas
de tal forma que varios cables centrpetos pueden actuar sobre el mismo cable
centrfugo si el mismo remedio es aplicable a varios males, y un cable centrpeto puede
perturbar varios cables centrfugos, ya sea de manera simultnea o uno a falta de otro
cada vez que el mismo mal pueda ser curado por varios remedios.
Este complejo sistema de asociaciones, este tablero de distribucin - por as
llamarle - es toda nuestra geometra, o, si se prefiere, todo lo que es distintivo en nuestra
geometra. Lo que llamamos nuestra intuicin de una lnea recta o de la distancia es la
consciencia que tenemos de estas asociaciones y de su imperioso carcter.
Es fcil dilucidar de dnde proviene este imperioso carcter. Cuanto ms vieja es
una asociacin, ms indestructible nos parecer. Pero estas asociaciones no son, en su
mayora, conquistas hechas por el individuo - ya que vemos rastros de ellas en los
infantes recin nacidos -, sino conquistas hechas por la especie. Cuanto ms necesarias
resultasen ser estas conquistas, ms rpido deben haber sido reproducidas por la
seleccin natural.
Considerando esto, aquellos de los que hemos estado hablando deben haber sido
de los primeros [en desarrollar todas las caractersticas anteriores], ya que sin ellos la
defensa del organismo resultara imposible. Tan pronto como las clulas ya no
estuvieron simplemente yuxtapuestas, tan pronto como fueron requeridas para asistirse
unas con otras, tal organismo que hemos descrito necesariamente tuvo que haberse
organizado para que la asistencia se enfrentara al peligro sin fracasar.
Cuando se corta la cabeza a una rana, y se pone una gota de cido sobre algn
punto de su piel, la rana intenta remover el cido con la pata ms cercana; y si tal pata es
cortada, lo remueve con la otra. Aqu tenemos, claramente, aquella doble obstruccin
sobre la que recin habl, que hace posible oponerse a un mal a partir de un segundo
remedio si el primero falla. Es esta multiplicidad de obstrucciones, y la coordinacin
resultante, lo que llamamos espacio.
Vemos hasta qu profundidades del inconsciente debemos descender para
encontrar los primeros rastros de estas asociaciones espaciales, ya que entran en juego
las partes ms bajas del sistema nervioso. Una vez conscientes de esto, cmo podemos
sorprendernos de la resistencia que oponemos a cualquier intento de desasociar lo
asociado por tanto tiempo? Es, pues, esta misma resistencia lo que llamamos la
evidencia de las verdades de la geometra. Esta evidencia no es otra cosa que la
64
repugnancia que sentimos al quebrantar hbitos sumamente aejos y con los que
siempre nos hemos llevado muy bien.
III
12
Poincar habla aqu del espacio en el que los cuerpos tienen movimiento. Nota del Traductor.
66
siempre sera el mismo, ya que siempre sera el nico sistema. No es lo mismo para
nosotros que poseemos, a cada momento, varios sistemas de entre los cuales podemos
elegir a voluntad, sobre la condicin de recordar.
Esto no es todo. El espacio restringido tampoco sera homogneo. Los distintos
puntos de este espacio no podran ser considerados como equivalentes, ya que algunos
slo podran alcanzarse a partir de grandes esfuerzos, mientras que otros podran
alcanzarse fcilmente. Por el contrario, nuestro espacio extendido nos parece
homogneo, y decimos que todos sus puntos son equivalentes. Qu significa todo esto?
Si partimos desde una cierta posicin A podemos realizar ciertos movimientos
M, caracterizados por un determinado complejo de sensaciones musculares. Pero,
partiendo desde otra posicin B, podemos ejecutar movimientos M 1 caracterizados por
las mismas sensaciones musculares. Sea a la situacin de un cierto punto en el cuerpo,
la punta del dedo ndice de la mano derecha, por ejemplo, en la posicin inicial A, y sea
b la posicin de este mismo dedo ndice cuando, partiendo de la posicin A, hemos
realizado los movimientos M. Sea entonces a 1 la situacin del dedo ndice en la
posicin B, y b1 su situacin cuando, partiendo de la posicin B, realizamos los
movimientos M 1 .
Pues bien, estoy en posicin de decir que los puntos a y b son, en relacin uno
con otro, como los puntos a 1 y b1 , y esto simplemente significa que las dos series de
movimientos M y M 1 estn acompaadas por las mismas sensaciones musculares. Y
como soy consciente de que, al pasar de la posicin A a la posicin B, mi cuerpo ha
seguido siendo capaz de hacer los mismos movimientos, s que hay un punto en el
espacio que es al punto a 1 lo que algn punto b es al punto a, de tal forma que los dos
puntos a y a 1 son equivalentes. A esto se le llama la homogeneidad del espacio y, al
mismo tiempo, es por esta razn que el espacio es relativo, ya que sus propiedades
continan siendo las mismas ya sea que se refieran a los ejes A o B. As que la
relatividad del espacio y su homogeneidad son una y la misma cosa.
Ahora bien, si quisiese pasar al gran espacio, que ya no slo es fructfero para mi
uso individual, sino por el cual puedo representar el Universo, tendra que
imaginrmelo. Podra imaginar qu experimenta un gigante capaz de alcanzar los
planetas con unos pocos pasos o, si se prefiere, qu sentira ante la presencia de un
mundo en miniatura, en donde estos planetas sean remplazados por pequeas pelotas en
una de las cuales viva y se mueva un liliputiense que no sera otro sino yo. Pero este
67
IV
Llegamos ahora a la cuestin de por qu todos estos espacios tienen tres dimensiones.
Refirmonos de nuevo al tablero de distribucin ya descrito antes. Tenemos, por un
lado, una lista de los distintos posibles peligros (a los que designaremos como A1, A2,
etc.) y, por el otro, la lista de los distintos remedios, a los que llamaremos, de igual
forma, B1, B2, etc. Despus tenemos las conexiones entre los botones de contacto de la
primera lista y aquellos de la segunda, de tal suerte que cuando se activa la alarma para
el peligro A3, por ejemplo, pone en movimiento - o puede poner en movimiento - el rel
correspondiente a la obstruccin B4.
Temo que todo lo que dije antes sobre los cables centrpetos o centrfugos pueda
ser tomado no como una simple comparacin, sino como una descripcin del sistema
nervioso. Esa no es mi intencin, y no lo es por varias razones. Primero, no me atrevera
a proferir una opinin sobre el sistema nervioso que no conozco, siendo adems que
aquellos que s lo conocen siempre hablan de l con prudencia. Segundo porque, a pesar
de mi incompetencia, me doy perfectamente cuenta de que este esquema sera
demasiado simple. Y ltimo porque, en mi lista de obstrucciones, aparecen algunas que
resultan demasiado complejas, y que incluso pueden consistir - en el caso del espacio
extendido, como ya vimos arriba - en varios pasos seguidos por un movimiento del
brazo. No se trata, pues, de una conexin fsica entre dos conductores reales, sino de
una asociacin psicolgica entre dos series de sensaciones.
Si A1 y A2, por ejemplo, estn ambas asociadas con la obstruccin B1, y si A1
est de igual manera asociada con B2, por lo general ser el caso que A2 y B2 tambin
estn asociadas. Si esta ley fundamental no fuese por lo general cierta, entonces slo
habra una confusin inmensa, y no habra nada que pudiese guardar alguna semejanza
con una concepcin del espacio o con una geometra. Cmo es que, en efecto, hemos
definido un punto en el espacio? Lo hemos definido de dos formas: por una parte,
constituye la totalidad de las alarmas A que se encuentran en conexin con la misma
obstruccin B; por otra, constituye la totalidad de las obstrucciones B que se encuentran
en conexin con la misma alarma A. Si nuestra ley no fuese cierta, nos veramos
obligados a decir que A1 y A2 corresponden al mismo punto, ya que ambas estn en
68
conexin con B1; pero igualmente estaramos obligados a decir que no corresponden al
mismo punto, ya que A1 estara en conexin con B2, y esto no sera cierto para A2, lo
cual supone una contradiccin.
Pero, visto desde otra perspectiva, si esta ley fuese rigurosa e invariablemente
cierta, el espacio sera muy diferente a lo que es. Tendramos categoras bien definidas,
entre las cuales estaran repartidas, por un lado, las alarmas A, y por el otro las
obstrucciones B. Estas categoras seran excesivamente numerosas, aunque estaran
completamente separadas unas de otras. El espacio estara formado por puntos muy
numerosos pero discretos, y sera, por tanto, discontinuo. No habra razn alguna para
acomodar estos puntos en un orden en lugar de otro, ni para, consecuentemente, atribuir
tres dimensiones al espacio.
Pero este no es el caso. Si se me permite, har uso, por un momento, del
lenguaje de aquellos ya familiarizados con la geometra. Es necesario que as lo haga, ya
que es el lenguaje mejor comprendido por aquellos a los que deseo aclarar mis puntos.
Cuando deseamos obstruir un golpe, intentamos alcanzar el punto de donde proviene, y
es suficiente con que nos acerquemos lo necesario para tal propsito. Entonces la
obstruccin B1 puede responder a A1 y a A2 si el punto que corresponde a B1 se
encuentra lo suficientemente cerca de aquellos que corresponden tanto a A1 como a A2.
Pero bien puede suceder que el punto que corresponde a otra obstruccin B2 est lo
suficientemente cerca del punto correspondiente a A1, y no lo suficientemente cerca del
punto correspondiente a A2. As, la obstruccin B2 puede responder a A1 y no ser capaz
de responder a A2.
Para aquellos que an no saben geometra, lo anterior puede ser traducido
simplemente al modificar la ley anunciada arriba. Entonces lo que sucede es lo
siguiente. Dos obstrucciones, B1 y B2, estn asociadas con una alarma A1 y con un gran
nmero de alarmas que pondremos en la misma categora que A1, y que haremos
corresponder con el mismo punto en el espacio. Pero podemos encontrar alarmas A2 que
estn asociadas con B2 pero no con B1 y que, por otra parte, estn asociadas con B3 y
no con A1, y as sucesivamente, de tal suerte que podemos escribir la siguiente
secuencia
B1, A1, B 2, A2, B3, A3, B 4, A4
en donde cada trmino est asociado con los trminos subsiguientes y precedentes, pero
no con aquellos que se encuentran retirados varios lugares.
69
No es necesario aadir que cada uno de los trminos de estas secuencias no est
aislado, sino que forma parte de una categora muy numerosa de otras alarmas o de otras
obstrucciones que tiene las mismas conexiones que l, y que puede ser considerada
como perteneciente al mismo punto en el espacio. De esta forma, la ley fundamental,
aunque admita excepciones, contina siendo casi siempre cierta. Slo que, como
consecuencia de estas excepciones, estas categoras, en lugar de estar completamente
separadas, se invaden parcialmente unas con otras y, hasta cierto punto, saltan
mutuamente unas por encima de otras, de tal suerte que el espacio se vuelve continuo.
Adems, el orden en el que deben acomodarse estas categoras ya no es
arbitrario, y una referencia a la secuencia precedente evidenciar que B2 debe ser puesto
entre A1 y A2 y, consecuentemente, entre B1 y B3, y que no puede ser puesto, por
ejemplo, entre B3 y B4.
De acuerdo con lo anterior, existe un orden en el que nuestras categoras se
acomodan por s mismas de manera natural, y que corresponde a los puntos en el
espacio. La experiencia nos ensea que este orden se presenta en la forma de un tablero
de distribucin de tres circuitos, y es por esta razn por la que el espacio tiene tres
dimensiones.
As, la propiedad caracterstica del espacio - la de tener tres dimensiones - es slo una
propiedad de nuestro tablero de distribucin, una que reside, por as decirlo, en la
inteligencia humana. La destruccin de alguna de estas conexiones, esto es, de estas
asociaciones de ideas, resultara suficiente para proporcionarnos un tablero de
distribucin distinto, y puede ser necesaria para dotar al espacio de una cuarta
dimensin.
Algunas personas quedaran perplejas ante tal resultado. El mundo exterior,
piensan ellos, sin duda debe contar para algo. Si el nmero de dimensiones proviene de
la forma en la que estamos hechos, podra haber seres pensantes viviendo en nuestro
mundo, pero hechos de manera distinta a nosotros, que piensen que el espacio tiene ms
o menos de tres dimensiones. No ha dicho el seor de Cyon que los ratones japoneses,
al tener nicamente dos pares de canales semicirculares, piensan que el espacio tiene
dos dimensiones? Entonces no podr este ser pensante, si fuese capaz de construir un
sistema fsico, hacer un sistema de dos o cuatro dimensiones que an as sera, en un
70
sentido, el mismo que el de nosotros, ya que describira el mismo mundo slo que en
otro lenguaje?
Parece ser, en efecto, que sera posible traducir nuestra fsica al lenguaje de la
geometra de cuatro dimensiones. Intentar tal traduccin equivaldra a esforzarse
demasiado por una recompensa menor, y me contentar con mencionar la mecnica de
Hertz, en donde se puede ver algo parecido. Sin embargo, parece que la traduccin
siempre sera menos simple que el texto, y que nunca perdera la apariencia de una
traduccin, ya que el lenguaje tridimensional es el que mejor encaja con la descripcin
de nuestro mundo, aun cuando tal descripcin pueda hacerse, en caso de necesidad, en
otro idioma.
Por otra parte, la formacin de nuestro tablero de distribucin no se debe a la
casualidad. Existe una conexin entre la alarma A1 y la obstruccin B1, es decir, una
propiedad que reside en nuestra inteligencia. Pero por qu existe esta conexin? Es
porque la obstruccin B1 nos permite defendernos contra el peligro que supone A1, y
ese es un hecho externo a nosotros, una propiedad, pues, del mundo exterior. Nuestro
tablero de distribucin es, entonces, solamente la traduccin de una coleccin de hechos
exteriores, y si tiene tres dimensiones es porque se ha adaptado a un mundo con ciertas
propiedades, y la ms importante de stas es que existen slidos naturales claramente
desplazados de acuerdo con las leyes que llamamos leyes del movimiento de los slidos
invariables. No debe sorprendernos, pues, que sea el lenguaje de tres dimensiones el que
nos permita describir al mundo de la manera ms fcil. Este lenguaje est fundado sobre
nuestro tablero de distribucin, y este tablero se ha establecido para permitirnos vivir en
este mundo.
He dicho que podemos concebir seres pensantes, viviendo en nuestro mundo,
cuyo tablero de distribucin tendra cuatro dimensiones y quienes, consecuentemente,
pensaran en trminos de un hiperespacio. No resulta cierto, sin embargo, que tales
seres, admitiendo que naciesen, seran capaces de vivir y defenderse en contra de los
miles de peligros que los asecharan.
VI
de la primera, y no slo de ella; requiri ser fertilizada por la facultad que tenemos para
construir conceptos matemticos como el de grupo, por ejemplo. Fue necesario
encontrar, entre estos conceptos puros, el que mejor se adaptase a este tosco espacio,
cuya gnesis he intentado explicar en las pginas precedentes, y el cual es comn a
nosotros y a los animales superiores.
La evidencia de ciertos postulados geomtricos se debe slo, como ya he dicho,
a nuestra indisposicin a renunciar a viejos hbitos. Pero estos postulados son
infinitamente precisos, mientras que los hbitos tienen sobre ellos algo esencialmente
fluente. Tan pronto como nos proponemos pensar, nos vemos obligados a tener
postulados infinitamente precisos, ya que este es el nico medio para evitar
contradicciones. Pero entre todos los posibles sistemas de postulados, hay algunos que
no nos veremos dispuestos a adoptar, porque no concuerdan lo suficiente con nuestros
hbitos. No obstante qu tan fluidos y elsticos puedan resultar, tienen un lmite de
elasticidad.
Se ver que, aunque la geometra no es una ciencia experimental, es una ciencia
surgida en conexin con la experiencia, y que hemos creado el espacio que estudia, pero
adaptndolo al mundo en el que vivimos. Hemos elegido el espacio ms conveniente,
pero la experiencia ha guiado esta eleccin. Como esta eleccin fue inconsciente,
parecera que est impuesta sobre nosotros. Algunos dicen que est impuesta debido a la
experiencia, y otros que nacemos con nuestro espacio ya confeccionado. Despus de las
consideraciones precedentes, se ver qu proporcin de verdad y de error hay en estas
dos opciones.
En esta educacin progresiva que ha resultado en la construccin del espacio, es
muy difcil determinar cul es el papel del individuo y cul el de la especie. Hasta qu
punto podra uno de nosotros, transportado desde el nacimiento a un mundo
completamente distinto en donde, por ejemplo, existiesen cuerpos desplazados en
concordancia con las leyes del movimiento de los slidos no euclidianos, ser capaz de
renunciar al espacio ancestral para construir uno completamente nuevo?
El papel de la especie parece ser el predominante, pero si es a ella a quien
debemos este espacio tosco (el espacio fluido del que recin habl, el espacio de los
animales superiores), no es a la experiencia inconsciente del individuo a quien
debemos el espacio infinitamente preciso del gemetra? Esta es una cuestin que no
tiene una solucin sencilla. Mencionar, no obstante, un hecho que muestra que el
espacio legado a nosotros por nuestros ancestros todava preserva una cierta plasticidad.
72
Ciertos cazadores aprenden a cazar peces bajo el agua, aun cuando la imagen de stos
sea refractaria; y, ms an, lo hacen instintivamente. De acuerdo con esto, han
aprendido a modificar su antiguo instinto de direccin o, si se prefiere, a sustituir, por la
asociacin A1, B1, otra asociacin A1, B2, porque la experiencia les ha mostrado que la
primera no resulta suficiente.
73
CAPTULO II
DEFINICIONES MATEMTICAS
Y EDUCACIN
1. Debo hablar aqu de definiciones generales en las matemticas. Por lo menos eso es
lo que dice el ttulo del captulo, pero me ser imposible confinarme al tema de manera
estricta. No ser capaz de considerar tal tema sin hablar, hasta cierto punto, de otras
cuestiones afines, y debo pedir una disculpa si a veces me veo obligado a desviarme un
poco del asunto que nos ocupa.
Qu es una buena definicin? Para el filsofo o el cientfico, es una definicin
que aplica a todos los objetos a ser definidos, y solamente a ellos; es aquello que
satisface las reglas de la lgica. Pero cuando se trata de educacin no es eso, sino ms
bien aquello que puede ser comprendido por los alumnos.
Cmo es que hay tantas mentes incapaces de comprender las matemticas? No
hay algo paradjico en esto? He aqu una ciencia que apela nicamente a los principios
fundamentales de la lgica, al principio de contradiccin, por ejemplo, a lo que forma por as decirlo - el esqueleto de nuestro entendimiento, a aquello de lo que no
podramos estar privados sin dejar de pensar. Y, an con todo, hay personas que
encuentran oscura esta ciencia, y en realidad son la mayora. Que sean incapaces de
descubrir es comprensible, pero que no comprendan las demostraciones expuestas a
ellos, que permanezcan ciegos ante una luz que para nosotros parece brillar de la
manera ms pura, eso s es, en conjunto, milagroso.
Y uno no necesita mucha experiencia para saber que estas ciegas personas no
son, de ninguna manera, seres excepcionales. Tenemos aqu un problema de difcil
solucin, pero que debe atraer la atencin de todos aquellos que desean dedicarse a la
educacin.
Qu es el entendimiento? Tiene la palabra el mismo significado para todos?
Comprender una demostracin consiste en examinar cada uno de los silogismos de los
cuales est compuesta, en sucesin, y estar convencidos de que es correcta y se ajusta a
las reglas del juego? De la misma forma, comprender una definicin consiste
74
75
mucho uso si se carece del arte para seleccionar de entre todas las posibles
combinaciones. La lgica nos ensea que en tal y cual camino estaremos seguros de no
encontrar un obstculo, pero no nos dice cul es el camino que nos llevar al destino
deseado. Para esto, es necesario dilucidar, desde lejos, el fin del camino, y la facultad
que nos permite esto es la intuicin. Sin ella, el gemetra sera como un escritor con
excelente gramtica pero carente de ideas. Ahora bien, cmo va a desarrollarse esta
facultad si, tan pronto como se muestra, es perseguida y proscrita, si aprendemos a
desconfiar de ella incluso antes de saber qu bien podemos obtener de la misma?
Y en este punto, permtanme insertar un parntesis para insistir en la importancia
de los ejercicios escritos. Las composiciones por escrito quiz no tienen la suficiente
prominencia en ciertos exmenes. En la cole Polytechnique, por ejemplo, se me dice
que la insistencia sobre tales composiciones cerrara la puerta a alumnos muy buenos
que conocen de sus temas y los comprenden bien, pero son incapaces de aplicarlos en el
menor grado. Justo antes mencion que la palabra comprender tiene varios significados.
Tales alumnos slo comprenden en el primer sentido de la palabra, y hemos visto que
esto no es suficiente para llegar a ser un ingeniero o un gemetra. Pues bien, ya que
tenemos que elegir, prefiero quedarme con aquellos que comprenden por completo.
10. Pero no es el arte del razonamiento exacto tambin una preciosa cualidad
que el maestro de matemticas debe cultivar por sobre todo lo dems? No estoy en
peligro de olvidarlo: debemos darle atencin, y desde el principio. Me afligira mucho
ver que la geometra degenerase en algn tipo de taquimetra de bajo grado, y no
comparto, para nada, las radicales doctrinas de ciertos profesores alemanes. Pero
tenemos la suficiente oportunidad para entrenar a nuestros alumnos en el correcto
razonamiento en aquellas partes de las matemticas en donde no ocurren las desventajas
que he mencionado. Tenemos una gran serie de teoremas en donde la lgica absoluta ha
dominado desde el principio, por as decirlo, de manera natural, y en donde los primeros
gemetras nos dieron modelos que debemos admirar e imitar continuamente.
Es al exponer los primeros principios que debemos evitar demasiadas sutilezas,
porque esto resultara desalentador, e intil adems. No podemos probar todo, no
podemos definir todo, y siempre ser necesario recurrir a la intuicin. Qu importa si
esto lo hacemos un poco antes o un poco despus, e incluso si lo hacemos un poco ms
o un poco menos, siempre que, haciendo un uso correcto de las premisas que nos da,
aprendamos a razonar de forma precisa?
82
Aqu, abreviar debe entenderse como sinnimo de ahorrar pasos, y no de menguar, o acortar. Nota del
Traductor.
83
tambin satisfar al intuicionista. Pero todava lo podemos hacer mejor. Siempre que
sea posible, la justificacin preceder a la declaracin y la confeccionar. La
declaracin general ser dirigida por el estudio de algunos ejemplos particulares.
Unas palabras ms. El objetivo de cada parte de la declaracin de una definicin
es distinguir el objeto a ser definido de la clase de otros objetos cercanos. La definicin
no ser comprendida hasta que se haya mostrado no slo el objeto definido, sino los
objetos cercanos de los cuales se distingue; hasta que haya sido comprendida la
diferencia, y se haya aadido, explcitamente, la razn para decir esto o aquello al
momento de declarar la definicin.
Ahora es tiempo de dejar las generalidades y de averiguar cmo es que los
principios un tanto abstractos que he expuesto pueden aplicarse en la aritmtica, en la
geometra, en el anlisis, y en la mecnica.
ARITMTICA
GEOMETRA
lugar alguno en la educacin secundaria. Ser mejor mostrar que una regla previamente
verificada puede aplicarse a un hilo tenso. No debemos dudar, ante la presencia de
dificultades de este tipo, en multiplicar los axiomas justificndolos a partir de toscos
ejemplos.
Debemos admitir algunos axiomas, y no es tan grave admitir algunos ms de los
estrictamente necesarios. Lo esencial es aprender a razonar exactamente con los
axiomas ya admitidos. Francisque Sarcey14, quien adoraba repetirse a s mismo, deca
que la audiencia en un teatro acepta de buena gana todos los postulados impuestos al
principio, pero que, una vez abierto el teln, se vuelve inexorable en la cuenta de la
lgica. Pues bien, sucede lo mismo con las matemticas.
En cuanto al crculo, podemos comenzar con el comps, y los alumnos
reconocern, inmediatamente, la curva trazada. Despus debemos sealarles que la
distancia de los dos puntos del instrumento permanece constante, que uno de estos
puntos est fijo y el otro es movible, y llegaremos as, de manera natural, a una
definicin lgica.
La definicin del plano, por otra parte, implica un axioma, y no debemos
intentar ocultar este hecho. Tomemos un pizarrn y sealemos cmo una regla movible
puede ser aplicada, constantemente, a ste, y lo anterior mientras se conservan tres
grados de libertad. Debemos comparar esto con el cilindro y el cono, superficies a las
cuales no puede aplicarse una lnea recta a menos que permitamos nicamente dos
grados de libertad. Despus tomemos tres pizarrones y mostremos, primero, que pueden
deslizarse sin perder contacto uno con otro, y lo anterior con tres grados de libertad. Por
ltimo, y para distinguir el plano de la esfera, [mostrar] que dos de estos pizarrones que
pueden ser aplicados a un tercero tambin pueden ser aplicados uno con otro.
Quiz el lector est sorprendido por este uso constante de instrumentos
movibles. Pues bien, dira que no es un artificio tosco, y que es mucho ms filosfico de
lo que en un principio parecera. Qu es la geometra para el filsofo? Es el estudio de
un grupo. Y qu grupo? El del movimiento de los cuerpos slidos. Cmo debemos
definir este grupo, pues, sin hacer que se muevan algunos cuerpos slidos?
Debemos conservar la clsica definicin de las paralelas, y decir que damos
este nombre a dos lneas rectas, situadas en el mismo plano y que, hasta ahora nunca
14
Francisque Sarcey (1827-1899) fue un periodista y crtico francs. Nota del Traductor.
86
producidas, nunca se encuentran una con otra?15 No, porque esta definicin es negativa,
porque no puede ser verificada experimentalmente, y no puede, en consecuencia, ser
considerada como un dato inmediato de la intuicin. Pero, principalmente, porque es
totalmente extraa a la nocin de grupo y a la consideracin del movimiento de los
cuerpos slidos que es, como ya he dicho, la verdadera fuente de la geometra. No sera
mejor definir, primero, a la transposicin rectilnea de una figura invariable como el
movimiento en donde todos los puntos de esta figura tienen trayectorias rectilneas, y
demostrar que tal transposicin es posible, haciendo que un cuadrado se desplace sobre
una regla? De esta verificacin experimental, elevada a la forma de un axioma, ser
fcil deducir la nocin de paralela y el postulado de Euclides.
MECNICA
Poincar se refiere al quinto postulado de Euclides, que afirma que por un punto dado externo a una
lnea recta solamente puede pasar una paralela a tal lnea recta. Nota del Traductor.
87
88
Y he aqu nuestra definicin. Nos permite comparar las tensiones de nuestras dos
porciones y, al hacer uso de las definiciones precedentes, comparar dos fuerzas de
cualquier tipo teniendo la misma direccin que estas dos porciones. Debemos justificar
lo anterior al mostrar que la tensin de la ltima porcin sigue siendo la misma para el
mismo peso, sin importar el nmero y la disposicin de las poleas. Despus debemos
completar esto al mostrar que lo anterior no es cierto a menos que las poleas estn libres
de friccin.
Una vez dominadas estas definiciones, debemos mostrar que el punto de
aplicacin, la direccin, y la intensidad son suficientes para determinar una fuerza; que
dos fuerzas para las cuales estos tres elementos son los mismos, son siempre
equivalentes, y siempre pueden remplazarse una por la otra, ya sea en equilibrio o en
movimiento, y esto sin importar qu otras fuerzas entren en juego.
Debemos mostrar que dos fuerzas concurrentes siempre pueden ser remplazadas
por una nica fuerza resultante, y que esta resultante permanece la misma sin importar
si el cuerpo se encuentra en reposo o en movimiento, y sin importar cules sean las otras
fuerzas aplicada a ella.
Por ltimo, debemos mostrar que las fuerzas definidas como lo hemos hecho
satisfacen el principio de igualdad de accin y reaccin. Todo esto lo aprendemos
experimentando, y solamente experimentando.
Ser suficiente con citar algunos experimentos comunes que los propios alumnos
hacen da a da aun sin estar conscientes de ello, y realizar, ante ellos, un pequeo
nmero de experimentos simples y bien elegidos.
No es hasta que hayamos pasado por todos estos rodeos que podemos
representar las fuerzas a partir de flechas, e incluso entonces pienso que sera deseable,
de vez en cuando, y a medida que el argumento se desarrolla, regresar del smbolo a la
realidad. No resultara difcil, por ejemplo, ilustrar el paralelogramo de fuerzas con la
ayuda de un aparato compuesto por tres cuerdas pasando por ciertas poleas, estiradas
por determinados pesos, y produciendo un equilibrio al estirarse sobre el mismo punto.
Una vez que conocemos la fuerza, es fcil definir la masa. Esta vez, la definicin
debe ser tomada de la dinmica. Y no podra ser de otra forma, ya que lo que se busca
es dejar en claro la distincin entre masa y peso. Aqu, de nuevo, la definicin debe ser
preparada experimentalmente. Existe, en efecto, una mquina cuyo propsito parece ser
mostrar qu es la masa, y me estoy refiriendo a la mquina de Atwood. Adems de esto,
debemos recordar las leyes de la cada de los cuerpos, y cmo la aceleracin de la
89
gravedad es la misma tanto para cuerpos pesados como ligeros, y que vara de acuerdo
con la latitud, etc.
Ahora bien, si se me dice que todos los mtodos por los que he abogado ya son
aplicados desde hace tiempo en las escuelas, estar ms contento que sorprendido de
escucharlo. S que, en general, nuestra educacin matemtica es buena, y mi intencin
no es alterarla (incluso me angustiara esto), sino mejorarla de manera gradual y
progresiva. Esta educacin no debe sufrir sbitas variaciones por el aliento caprichoso
de modas efmeras. Ante tales tormentas, su alto valor educativo acabara por hundirse.
Una buena y sana lgica debe seguir siendo parte de sus fundamentos, y la definicin a
partir de ejemplos es siempre necesaria (aunque debe preparar a la definicin lgica y
no tomar su lugar); por lo menos debe hacerse extraar cuando la verdadera definicin
lgica no pueda ofrecerse a ningn propsito excepto en la educacin superior.
Se comprender que lo que he dicho aqu no implica, de ninguna manera, el
abandono de lo que en otras partes he escrito. A menudo he tenido ocasin de criticar
definiciones que hoy defiendo. Estas crticas siguen siendo vlidas por completo; las
definiciones slo pueden ser provisionales, pero es a partir de ellas que debemos
avanzar.
90
CAPTULO III
MATEMTICAS Y LGICA
INTRODUCCIN
Pueden las matemticas reducirse a la lgica sin tener que apelar a principios ajenos a
s misma? Existe toda una escuela de pensamiento, llena de ardor y fe, que tiene como
propsito establecer esta posibilidad. Tienen su propio lenguaje especial, en donde ya
no se hace uso de palabras, sino slo de signos. Este lenguaje es comprendido
solamente por unos pocos iniciados, de modo que el vulgo se inclina ante las decisivas
afirmaciones de los adeptos. Quiz resulte til examinar estas afirmaciones de una
manera ms cercana, y as ver si justifican el tono perentorio que las caracteriza.
Pero para que la naturaleza de esta cuestin sea propiamente entendida, es
necesario recurrir a algunos detalles histricos y, de manera ms particular, revisar el
trabajo de Cantor.
La nocin de infinito ha sido introducida desde hace tiempo en las matemticas,
pero este infinito era lo que los filsofos llamaban devenir. El infinito matemtico era
nicamente una cantidad susceptible a crecer ms all de todo lmite; era una cantidad
variable sobre la cual no poda decirse que ha pasado, sino que pasar, todos los
lmites.
Cantor se propuso introducir en las matemticas un infinito real, es decir, una
cantidad ya no susceptible de pasar todos los lmites, sino una que ya lo ha hecho. Se
hizo preguntas como las siguientes: Hay ms puntos en el espacio que nmeros
enteros? Hay ms puntos en el espacio que sobre un plano?, etc.
Entonces el nmero de nmeros enteros, el de puntos en el espacio, etc.,
constituye lo que l ha denominado un nmero cardinal transfinito, esto es, un nmero
cardinal mayor que todos los nmeros cardinales ordinarios. Y se entretuvo comparando
estos nmeros cardinales transfinitos, arreglando - en un orden adecuado - los elementos
de un todo contendiendo un nmero infinito de elementos; tambin imagin aquello que
denomin nmeros ordinales transfinitos, pero sobre esto ya no hablar.
Muchos matemticos han seguido sus pasos, y han puesto su atencin sobre una
serie de cuestiones del mismo tipo. Se han vuelto tan familiares con los nmeros
91
transfinitos, que han llegado al punto de hacer que la teora de los nmeros finitos
dependa de la teora cantoriana de los nmeros cardinales. En su opinin, si nuestra
intencin es ensear aritmtica de una manera verdaderamente lgica, debemos
comenzar por establecer las propiedades generales de los nmeros cardinales
transfinitos, y despus distinguir, de entre ellos, toda una clase ciertamente pequea, a
saber, la de los nmeros enteros ordinarios. Gracias a este procedimiento indirecto,
podramos conseguir probar todas las proposiciones relacionadas con esta pequea clase
(es decir, toda nuestra aritmtica y nuestra lgebra) sin hacer uso de principio alguno
ajeno a la lgica.
Este mtodo es evidentemente contrario a toda psicologa sana. No es
ciertamente de esta manera como la mente humana procedi para construir las
matemticas, e imagino, tambin, que sus autores no desean introducirlo en la
enseanza secundaria. Pero es por lo menos lgico o, ms propiamente, preciso? Bien
podemos dudarlo.
Sea como fuere, los gemetras que han empleado este mtodo son muy
numerosos. Han ido acumulando frmulas e imaginan haberse librado de todo aquello
que no es lgica pura al escribir tratados en donde las frmulas ya no estn intercaladas
con algn texto explicativo, como en los trabajos ordinarios sobre matemticas, sino en
donde el texto ha desaparecido por completo.
Desafortunadamente, han llegado a resultados contradictorios, a lo que han
llamado antinomias cantorianas, y a las que tendremos ocasin de regresar despus.
Estas contradicciones no los han desanimado, y han intentado modificar sus reglas para
poder disponer de aquellas [contradicciones] que ya han aparecido, pero sin obtener
garanta alguna de que, al proceder as, no aparezcan nuevas.
Es tiempo de que estas exageraciones sean tratadas como se merecen. No tengo
esperanza alguna de convencer a estos lgicos, ya que han vivido demasiado tiempo en
esta atmsfera. Adems, cuando habremos refutado alguna de sus demostraciones, es
muy seguro que la encontraremos de nuevo con cambios insignificantes, y algunas de
ellas ya se han levantado varias veces de sus cenizas. As fue en otros tiempos la hidra
de Lerna, con sus clebres cabezas creciendo una y otra vez. Hrcules tuvo xito porque
su hidra slo tena nueve cabezas (a menos que, de hecho, hubiesen sido once), pero en
el caso que nos ocupa son demasiadas, y se encuentran dispersas por Inglaterra,
Alemania, Italia, y Francia, y se vera forzado a abandonar su misin. De tal forma que
nicamente apelo a personas no prejuiciosas y con sentido comn.
92
En estos ltimos aos, han sido publicados un gran nmero de trabajos sobre
matemticas puras y sobre la filosofa de las matemticas, con miras a desacoplar y
aislar los elementos lgicos del razonamiento matemtico. Estos trabajos han sido
analizados y expuestos de forma muy lcida por el seor Couturat en un trabajo titulado
Les principes des mathmatiques.
En opinin del seor Couturat, estos trabajos, y particularmente los del seor
Russell y los del seor Peano, han resuelto definitivamente la larga controversia entre
Leibniz y Kant. Han mostrado que no existe tal cosa como un juicio sinttico a priori
(el trmino empleado por Kant para designar los juicios que no pueden demostrarse
analticamente, ni reducidos a identidad alguna, ni establecidos experimentalmente);
han mostrado que las matemticas son completamente reducibles a la lgica, y que la
intuicin no desempea papel alguno en todo esto.
Esto es lo que expone el seor Couturat en el trabajo que recin he nombrado.
Tambin sostuvo las mismas opiniones, an de manera ms explcita, en su discurso en
el aniversario de Kant, de forma tal que escuch a mi vecino susurrar: Es muy evidente
que este es el centenario de la muerte de Kant.
Podemos suscribirnos a esta condena tan decisiva? No lo pienso as, e intentar
mostrar por qu.
II
Buscar el origen de este instinto, y estudiar las leyes de esta geometra profunda
que puede sentirse pero no expresarse, sera una noble tarea para el filsofo que no
permite que la lgica lo sea todo. Pero este no es el punto de vista que deseo adoptar, y
esta no es la forma en la que quiero proponer la cuestin. Este instinto sobre el que he
hablado es necesario al descubridor, pero parecera, en principio, que podramos
prescindir de l para el estudio de la ciencia una vez creada. Pues bien, lo que me
interesa descubrir es si es cierto que, una vez admitidos los principios de la lgica,
podemos ya no digamos descubrir, sino demostrar todas las verdades matemticas sin
tener que apelar a la intuicin.
III
A esta pregunta ya ofrec una respuesta negativa. (Vase Ciencia e Hiptesis, captulo
I). Debe modificarse nuestra respuesta a la luz de los trabajos recientes? Yo dira que
no, porque el principio de induccin completa me pareci, en seguida, necesario al
matemtico, e irreducible a la lgica. Conocemos la declaracin del principio: Si una
propiedad es cierta para el nmero 1, y si se establece que es cierta para n + 1 , siempre
que sea cierta para n, ser cierta para todos los nmeros enteros. Reconoc en lo
anterior al tpico argumento matemtico, y nunca quise decir, como se ha supuesto, que
todos los argumentos matemticos pueden reducirse a una aplicacin de este principio.
Examinando estos argumentos de una manera ms cercana, descubriramos la aplicacin
de muchos otros principios similares, ofreciendo las mismas caractersticas esenciales.
En esta categora de principios, el de la induccin completa es nicamente el ms
simple de todos, y es por esa razn por la que lo eleg como un tipo.
El trmino principio de induccin completa que se ha adoptado no es
justificable. Pero este mtodo de razonamiento es, no obstante, una verdadera induccin
matemtica, y solamente difiere de la induccin ordinaria por su certeza.
95
mera convencin. Para poder discutir este punto de vista, ser necesario hacer un
minucioso examen de las relaciones entre definiciones y axiomas.
Primero nos referiremos a un artculo sobre definiciones matemticas escrito por
el seor Couturat y aparecido en L Enseignement mathmatique, una revista publicada
por Gauthier-Villars y por Georg en Ginebra. Aqu encontramos una distincin entre
definicin directa y definicin por postulados.
La definicin por postulados, dice el seor Couturat, aplica no a una sola
nocin, sino a un sistema de nociones; consiste en enumerar las relaciones
fundamentales que las unen, que hacen posible demostrar todas sus propiedades: estas
relaciones son postulados.
Si anteriormente hemos definido todas estas nociones con una excepcin,
entonces esta ltima ser, por definicin, el objeto que verifica estos postulados.
As, ciertos axiomas indemostrables de las matemticas no sern ms que
definiciones disfrazadas. Este punto de vista es a menudo legtimo, e incluso yo lo he
admitido con respecto, por ejemplo, al postulado de Euclides.
Los otros axiomas de la geometra no resultan suficientes para definir la
distancia por completo. Entonces la distancia ser, por definicin, la que, entre todas las
magnitudes, satisface los otros axiomas, la que es de tal naturaleza que hace que el
postulado de Euclides sea verdadero.
Pues bien, los lgicos admiten, para el principio de induccin completa, lo que
yo admito para el postulado de Euclides, y no ven nada ms en l que una definicin
disfrazada.
Pero para darnos este derecho, deben satisfacerse dos condiciones. John Stuart
Mill sola decir que toda definicin implica un axioma, a saber, aquel que afirma la
existencia del objeto definido. Sobre este punto, ya no ser el axioma una definicin
disfrazada sino, por el contrario, la definicin ser un axioma disfrazado. Mill entenda
la palabra existencia en un sentido material y emprico; quera decir que, al definir un
crculo, afirmamos que hay cosas redondas en la naturaleza.
Bajo esta forma, su opinin es inadmisible. Las matemticas son independientes
de la existencia de los objetos materiales. En stas, la palabra existe slo puede tener un
significado: exencin de contradiccin. As rectificada, la idea de Mill se vuelve
precisa. Al definir un objeto, afirmamos que la definicin no supone contradiccin
alguna.
96
Existe una segunda condicin. Cuando ofrecemos una definicin, nuestro propsito es
hacer uso de ella.
De acuerdo con esto, encontraremos la palabra definido en el texto que sigue.
Tenemos el derecho a afirmar, del objeto representado por esta palabra, el postulado
que sirvi como definicin? Evidentemente s, si la palabra ha preservado su
97
VI
VII. PASIGRAFA
El lenguaje simblico creado por el seor Peano desempea un papel muy importante
en todas estas nuevas investigaciones. Es capaz, sin duda, de prestar algn servicio, pero
me parece que el seor Couturat le concede una exagerada importancia que incluso
debi sorprender al propio Peano.
El elemento esencial de este lenguaje consiste en ciertos signos algebraicos que
representan las conjunciones: si, y, o, por lo tanto. Que estos signos sean convenientes
es muy posible, pero de ah a que estn destinados a cambiar la cara de toda la filosofa
es muy distinto. Resulta difcil admitir que la palabra si adquiere, cuando es escrita
como , una virtud que no posee cuando es escrita como si.
Esta invencin de Peano fue primero llamada pasigrafa, es decir, el arte de
escribir un tratado sobre matemticas sin utilizar una sola palabra propia del lenguaje
ordinario. Desde entonces, al habrsele conferido el ttulo de logstica, ha sido elevada a
una dignidad ms alta. Parece ser que la misma palabra se utiliza, en la cole de Guerre
(Escuela de Guerra), para designar al arte propio del oficial de intendencia, al arte de
mover y acuartelar las tropas. Pero no debe temerse confusin alguna, y podemos ver,
en seguida, que el nuevo nombre implica el diseo de revolucionar la lgica.
16
99
100
Sea como fuere, el seor Burali-Forti comienza con esta definicin y, despus de
un pequeo clculo, llega a la ecuacin
1 N ,
(27)
que nos ensea que uno es un nmero.
Y como estamos con estas definiciones de los primeros nmeros, dir que el
seor Couturat tambin ha definido tanto al 0 como al 1.
Qu es el cero? Es el nmero de elementos en la clase nula. Y cul es la clase
nula? La clase que contiene nada.
Definir al cero como nulo y a lo nulo como nada es realmente abusar del
lenguaje, y as el seor Couturat ha introducido una mejora en su definicin al escribir
,
que significa, en espaol: cero es el nmero de objetos que satisfacen una condicin que
nunca se cumple. Pero como nunca significa en ningn caso, no veo que se haya hecho
mucho progreso.
Me apresuro a aadir que la definicin del nmero 1 ofrecida por el seor
Couturat es ms satisfactoria.
Uno, dice, en esencia, es el nmero de elementos de una clase en donde
cualesquiera dos elementos son idnticos.
Es ms satisfactoria, como dije, en el sentido de que, para definir 1, no utiliza la
palabra uno; por otra parte, s utiliza la palabra dos. Pero me temo que si le
preguntsemos al seor Couturat qu es dos, se vera obligado a usar la palabra uno.
VIII
Regresemos ahora al tratado del seor Burali-Forti. Ya dije que sus conclusiones estn
en direccin opuesta a las de Cantor. Pues bien, un da recib la visita del seor
Hadamard, y la conversacin gir sobre esta antinomia:
No le parece, le dije, que el razonamiento de Burali-Forti es irreprochable?
No, me respondi, y, por otra parte, no tengo ninguna culpa por coincidir con
Cantor. Adems, Burali-Forti no tena derecho a hablar de la totalidad de todos los
nmeros ordinales.
Perdneme, s lo tena, ya que siempre puede suponer que
= T ' ( N , >).
101
102
CAPTULO IV
I. LA LGICA DE RUSSELL
Para poder justificar sus pretensiones, la lgica ha tenido que transformarse a s misma.
As, hemos sido testigos del surgimiento de nuevas lgicas, siendo la ms interesante la
del seor Bertrand Russell. Parecera que ya no hay nada nuevo a ser escrito sobre
lgica formal, como si Aristteles hubiese ido al fondo real del asunto. Pero el campo
que el seor Russell asigna a la lgica es infinitamente ms extenso que el de la lgica
clsica, y ha tenido xito al expresar puntos de vista sobre este tema que resultan ser
originales y, a veces, ciertos.
Para empezar, mientras que la lgica de Aristteles fue, sobre todo, una lgica
de clases - tomando como punto de partida la relacin entre sujeto y predicado -, el
seor Russell subordina la lgica de clases a la de las proposiciones. El silogismo
clsico Scrates es un hombre, etc., da lugar al silogismo hipottico Si A es verdad,
B es verdad; ahora, si B es verdad, C es verdad, etc. Esta es, en mi opinin, una de las
ideas ms oportunas, porque el silogismo clsico es fcilmente reducible al hipottico,
mientras que la transformacin inversa no puede hacerse sin una dificultad considerable.
Pero eso no es todo. La lgica de proposiciones del seor Russell es el estudio
de las leyes en concordancia con qu combinaciones se forman con las conjunciones si,
y, o, y la negativa no. Esta es una extensin considerable de la lgica antigua. Las
propiedades del silogismo clsico pueden ser extendidas, sin dificultad alguna, al
silogismo hipottico, y en las formas de este ltimo fcilmente podemos reconocer las
formas escolsticas; recuperamos, pues, lo que es esencial en la lgica clsica. Pero la
teora del silogismo sigue siendo slo la sintaxis de la conjuncin si, y quiz de la
[conjuncin] negativa.
Al aadir otras dos conjunciones, y y o, el seor Russell inaugura un nuevo
campo de la lgica. Los signos y y o siguen las mismas leyes que los dos signos y +,
es decir, las leyes conmutativas, asociativas, y distributivas. De esta forma, y representa
la multiplicacin lgica, mientras que o representa la adicin lgica. Esto, de nuevo, es
sumamente interesante.
103
II
Podemos ver cmo esta nueva lgica resulta ser mucho ms fecunda que la clsica. Los
smbolos se han multiplicado y admiten varias combinaciones que ya no tienen un
nmero limitado. Tenemos algn derecho a otorgarle a la palabra lgica esta extensin
de significado? Sera ocioso ocuparnos de esta cuestin y reir con el seor Russell
simplemente por las palabras empleadas. Le concederemos lo que pide, pero no debe
sorprendernos encontrar que ciertas verdades que han sido declaradas como
irreductibles a la lgica, en el viejo sentido de la palabra, se hayan vuelto reductibles a
la lgica en este nuevo sentido, lo que es muy distinto.
Hemos introducido un gran nmero de nuevas nociones, y no son simples
combinaciones de las viejas. Ms an, el seor Russell no se engaa sobre este punto, y
no slo al principio de su primer captulo - a saber, su lgica de proposiciones -, sino
tambin al principio de su segundo y tercer captulos - a saber, su lgica de clases y
relaciones -, introduce nuevas palabras que declara como indefinibles.
Y esto sigue sin ser todo. De manera similar, introduce principios que declara
como indemostrables. Pero estos principios indemostrables son apelaciones a la
intuicin, juicios sintticos a priori. Los consideramos como intuitivos cuando los
encontramos enunciados, de manera ms o menos explcita, en los tratados de
matemticas. Han alterado su carcter porque se ha extendido el significado de la
palabra lgica, y porque ahora los encontramos en un libro titulado Tratado de Lgica?
No han cambiado de naturaleza, sino nicamente de posicin.
104
III
Podra considerarse a estos principios como definiciones disfrazadas? Para que sea as,
requerimos ser capaces de demostrar que no suponen contradiccin alguna. Debemos
establecer que, sin importar qu tan lejos persigamos las series de deducciones, nunca
estaremos en peligro de contradecirnos a nosotros mismos.
Podemos intentar argumentar como sigue. Podemos verificar el hecho de que las
operaciones de la nueva lgica, aplicadas a premisas libres de contradiccin, slo
pueden producir consecuencias igualmente libres de contradiccin. Si entonces, despus
de n operaciones, no hemos encontrado contradiccin alguna, ya no la encontraremos
despus de n + 1 . Por consiguiente, es imposible que haya un momento en donde
comience una contradiccin, lo que muestra que nunca la encontraremos. Tenemos el
derecho a argumentar de esta forma? No, porque esto sera hacer una induccin
completa, y no debemos olvidar que an no conocemos el principio de induccin
completa.
Por lo tanto, no tenemos derecho a considerar estos axiomas como definiciones
disfrazadas, y solamente nos queda un camino. Cada uno de estos axiomas, lo
admitimos, es un nuevo acto de intuicin. Esto es ms o menos, creo, lo que el seor
Russell y el seor Couturat piensan.
As, cada una de las nueve nociones indefinibles y veinte proposiciones
indemostrables (estoy seguro de que, si hubiese hecho la cuenta, encontrara una o dos
ms) que forman las bases de la nueva lgica - de la lgica en el sentido amplio presupone un nuevo e independiente acto de intuicin. Y por qu no deberamos
llamarlo un verdadero juicio sinttico a priori? Sobre este punto, todo mundo parece
convenir, pero lo que clama el seor Russell, y lo que me parece dudoso, es que,
despus de todas estas apelaciones a la intuicin, habremos terminado: ya no
tendremos ms que hacer, y seremos capaces de construir toda la matemtica sin
introducir un nico elemento nuevo.
IV
Al seor Couturat le gusta repetir que esta nueva lgica es totalmente independiente de
la idea de nmero. No me entretendr contando en cuntos casos su declaracin
105
V. ARITMTICA
Llegamos ahora a lo que el seor Couturat llama teora ordinal, que constituye la base
de la aritmtica propiamente dicha. El seor Couturat comienza por enunciar los cinco
axiomas de Peano (que resultan ser independientes uno de otro, tal como el propio seor
Peano y el seor Padoa han demostrado):
1. Cero es un nmero entero.
2. Cero no es el consecuente de ningn nmero entero.
3. El consecuente de un nmero entero es un nmero entero. A lo que sera
bueno aadir: todo nmero entero tiene un consecuente.
4. Dos nmeros enteros son iguales si sus consecuentes son iguales.
El quinto axioma es el principio de induccin completa.
El seor Couturat considera estos axiomas como definiciones disfrazadas; constituyen
la definicin, a partir de postulados, del cero, del consecuente, y del nmero entero.
Pero hemos visto que, para que una definicin por postulados sea aceptada,
debemos ser capaces de establecer que no supone contradiccin alguna. Es este el caso
aqu? En absoluto.
La demostracin no puede llevarse a cabo a partir de ejemplos. No podemos
seleccionar una porcin de los nmeros enteros - por ejemplo, los tres primeros - y
demostrar que satisfacen la definicin.
Si tomamos la serie 0, 1, 2, inmediatamente vemos que satisface los axiomas 1,
2, 4, y 5; pero para que satisfaga el axioma 3, es adems necesario que 3 sea un nmero
106
107
pero la iremos notando a medida que ocurran. Prefiero seguir el desarrollo del
pensamiento de Hilbert paso a paso, citando los pasajes ms importantes literalmente.
Tengamos primero en cuenta al objeto 1. Debemos darnos cuenta que, al
actuar as, de ninguna forma implicamos la nocin de nmero, porque claramente se
entiende que aqu 1 no es nada ms que un smbolo, y que no nos preocupa, en absoluto,
conocer su significado. Los grupos formados con este objeto, dos, tres, o varias veces
repetido Esta vez el caso se altera bastante, porque si introducimos las palabras dos,
tres, y sobre todo varias, introducimos la nocin de nmero, y entonces la definicin de
nmero entero finito que encontramos ms adelante llega un poco tarde. El autor era
demasiado cauteloso como para no percibir este petitio principii. Y as, al final de su
trabajo, busca llevar a cabo una verdadera remienda.
Hilbert entonces introduce dos simples objetos, 1 y =, y se imagina todas las
combinaciones entre estos dos objetos, todas las combinaciones entre sus
combinaciones, y as sucesivamente. No hace falta decir que debemos olvidarnos del
significado ordinario de estos dos signos, y no atribuir ninguno a los mismos. Despus
divide estas combinaciones en dos clases, aquella de las entidades y aquella de las no
entidades y, hasta nueva orden, esta divisin es totalmente arbitraria. Toda proposicin
afirmativa nos ensea que una combinacin pertenece a la clase de las entidades, y cada
proposicin negativa nos ensea que cierta combinacin pertenece a la clase de las no
entidades.
VII
Ahora debemos hacer notar una diferencia de gran importancia. Para el seor Russell,
un objeto ocasional, que l designa por x, es un objeto absolutamente indeterminado,
acerca del cual no asume nada. Para Hilbert es una de aquellas combinaciones formadas
con los smbolos 1 y =, y no permitira la introduccin de nada excepto de
combinaciones de objetos ya definidos. Ms an, Hilbert formula su pensamiento de la
manera ms concisa posible, y pienso que debo reproducir su exposicin in extenso:
Los indeterminados que figuran en los axiomas (en lugar del algn o del todo de la
lgica ordinaria) representan, exclusivamente, el todo de los objetos y combinaciones
que ya hemos adquirido en el estado actual de la teora, o que estamos en camino de
introducir. Por lo tanto, cuando deducimos proposiciones de los axiomas bajo
consideracin, son slo estos objetos y estas combinaciones las que tenemos derecho a
108
sustituir por los indeterminados. Tampoco debemos olvidar que cuando incrementamos
el nmero de los objetos fundamentales, los axiomas, a su vez, adquieren una nueva
extensin y, en consecuencia, deben ser puestos a prueba nuevamente y, si es necesario,
deben ser modificados.
El contraste con el punto de vista del seor Russell es absoluto. De acuerdo con
este ltimo filsofo, podemos sustituir, por x, no solamente objetos ya conocidos, sino
cualquier cosa. Russell es fiel a este punto de vista, que no es otro que el de la
comprensin. Comienza con la idea general de entidad, y la enriquece ms y ms,
incluso mientras la restringe, al otorgarle nuevas cualidades. Hilbert, por el contrario,
nicamente reconoce como entidades posibles a combinaciones de objetos ya
conocidos, de tal suerte que (buscando slo en un lado de su pensamiento) podramos
decir que adopta el punto de vista de la extensin.
VIII
Procedamos ahora a la exposicin de las ideas de Hilbert. l introduce dos axiomas que
enuncia en su lenguaje simblico, pero que significan, en el lenguaje de los no iniciados
como nosotros, que cada cantidad es igual a s misma, y que cada operacin sobre dos
cantidades idnticas produce resultados idnticos. As establecidos, [los axiomas] son
evidentes, pero tal exposicin de los mismos no representa, fielmente, el pensamiento
de Hilbert. Para l, las matemticas slo deben combinar smbolos puros, y un
verdadero matemtico debe basar su razonamiento sobre ellos sin preocuparse por su
significado. Pero para poder justificar esta definicin, es necesario mostrar que estos dos
axiomas no conducen a contradiccin alguna.
Para este propsito, Hilbert hace uso del razonamiento de la Seccin III,
aparentemente sin percibir que est llevando a cabo una induccin completa.
IX
La parte final del tratado del seor Hilbert es completamente enigmtica, y no morar
en ella. Est repleta de contradicciones, y uno siente que el autor es vagamente
consciente del petitio principii del que ha sido culpable, y que en vano trata de cubrir las
grietas de su razonamiento.
109
X. GEOMETRA
XI. CONCLUSIN
Nuestra conclusin es, antes que nada, que el principio de induccin no puede ser
considerado como la definicin disfrazada del nmero entero.
Aqu hay tres verdades:
El principio de induccin completa;
110
El postulado de Euclides;
La ley fsica por la cual el fsforo se funde a 44 centgrados (expresada por el
seor Le Roy).
Y nosotros decimos: estas son tres definiciones disfrazadas (la primera del
nmero entero, la segunda de la lnea recta, y la tercera del fsforo).
Lo admito para la segunda, pero no as para las otras dos, y debo explicar la
razn de esta aparente inconsistencia.
En primer lugar, hemos visto que una definicin slo es aceptable si se establece
que no supone contradiccin alguna. Tambin hemos mostrado que, en el caso de la
primera definicin, esta demostracin es imposible, mientras que en el caso de la
segunda, por el contrario, recordamos que Hilbert ha ofrecido una demostracin
completa.
En cuanto a la tercera definicin, es claro que no supone contradiccin. Pero
significa esto que tal definicin garantiza, como debera, la existencia del objeto
definido? Aqu ya no estamos ocupados de las ciencias matemticas, sino de las fsicas,
y la palabra existencia ya no tiene el mismo significado: ya no significa ausencia de
contradiccin, sino existencia objetiva.
Esta ya es una razn para la distincin que hago entre los tres casos, pero hay
una ms. En las aplicaciones que de estas tres nociones debemos hacer, se presentan,
por s mismas, como definidas por estos tres postulados?
Las posibles aplicaciones del principio de induccin son innumerables.
Tomemos, por ejemplo, una de las que hemos expuesto arriba, en donde se busca
establecer que una coleccin de axiomas no puede llevar a una contradiccin. Para este
propsito, consideramos una de las series de silogismos que pueden ser seguidas,
comenzando con estos axiomas como premisas.
Cuando hemos completado el silogismo n, vemos que podemos formar uno ms,
que ser el silogismo n + 1 . As, el nmero n sirve para contar una serie de operaciones
sucesivas; es un nmero, pues, que puede obtenerse a partir de adiciones sucesivas. Por
consiguiente, es un nmero desde el cual podemos regresar a una unidad a partir de
sustracciones sucesivas. Es evidente que no podramos hacer esto si tuvisemos que
n = n 1 , porque entonces la sustraccin siempre nos dara el mismo nmero. De tal
suerte que la manera en que hemos llegado a considerar este nmero n supone una
definicin del nmero entero finito, y esta definicin es como sigue: un nmero entero
111
finito es aquel que puede obtenerse a partir de adiciones sucesivas, y es tal que n no es
igual a n 1 .
Establecido esto, qu es lo que procedemos a hacer? Mostramos que, si no ha
ocurrido contradiccin alguna hasta el silogismo n, tampoco ocurrir en el n + 1 , y
entonces concluimos que nunca ocurrir. Decimos tener derecho a concluir de esta
forma porque los nmeros enteros son, por definicin, aquellos para los cuales tal
razonamiento es legtimo. Pero esto supone otra definicin del nmero entero, a saber:
un nmero entero es aquel sobre el que puede razonarse por recurrencia. En especie,
es aquel sobre el que podemos establecer que, si la ausencia de contradiccin en el
momento de la ocurrencia de un silogismo cuyo nmero es un nmero entero conlleva
la ausencia de contradiccin en el momento de la ocurrencia del silogismo cuyo nmero
es el siguiente nmero entero, entonces no debemos temer contradiccin alguna para
cualesquiera de los silogismos cuyos nmeros son nmeros enteros.
Las dos definiciones no son idnticas. Son equivalentes, sin duda, pero slo en
virtud de un juicio sinttico a priori; no podemos pasar de una a la otra a partir de
procesos puramente lgicos. Consecuentemente, no tenemos derecho a adoptar la
segunda [definicin] despus de haber introducido al nmero entero por un camino que
presupone la primera [definicin].
Por el contrario, qu sucede en el caso de la lnea recta? Ya he explicado esto
tanto que siento un poco de titubeo al repetirme una vez ms. Me contentar con un
breve resumen de mi pensamiento.
Aqu no tenemos, como en el caso previo, dos definiciones equivalentes
lgicamente irreducibles una a la otra. Solamente tenemos una definicin expresable en
palabras. Podra decirse que hay otra definicin que sentimos sin ser capaces de
enunciar, porque tenemos la intuicin de una lnea recta, o porque nos podemos
imaginar una lnea recta. Pero, en primer lugar, no podemos imaginarla en un espacio
geomtrico, sino slo en uno representativo; y entonces podemos, igualmente bien,
imaginar objetos que poseen las otras propiedades de una lnea recta, y no las que
satisfacen al postulado euclidiano. Estos objetos son lneas rectas no euclidianas que,
desde cierto punto de vista, no son entidades desprovistas de significado, sino crculos
(verdaderos crculos del espacio verdadero) ortogonales a cierta esfera. Si, entre estos
objetos igualmente susceptibles de ser imaginados, es a los primeros (las lneas rectas
euclidianas) a los que llamamos lneas rectas, y no a los ltimos (las lneas rectas no
euclidianas), es ciertamente por una cuestin de definicin.
112
Y si llegamos, por fin, al tercer ejemplo (la definicin del fsforo), vemos que la
verdadera definicin sera: el fsforo es esta pieza de materia que veo ante m en esta
botella.
XII
Ya que estamos en el tema, dir unas cuantas cosas ms. En lo que respecta al ejemplo
del fsforo, dije: Esta proposicin es una verdadera ley fsica que puede ser verificada,
ya que significa que todos los cuerpos que poseen todas las propiedades del fsforo,
excepto su punto de fusin, se fusionan, tal como el fsforo lo hace, a 44 centgrados.
Se ha objetado que esta ley no es verificable, porque si llegsemos a verificar que dos
cuerpos parecidos al fsforo se fusionan, uno a 44 y el otro a 50 centgrados, siempre
podremos decir que hay, sin duda, adems del punto de fusin, alguna otra propiedad
por la que difieren.
Esto no fue exactamente lo que quise decir, y deb haber escrito: todos los
cuerpos que poseen tales y cuales propiedades en un nmero finito (esto es, las
propiedades del fsforo establecidas en los libros de qumica, con la excepcin de su
punto de fusin) fusionan a 44 centgrados.
Para hacer an ms clara la diferencia entre el caso de la lnea recta y el del
fsforo, har una observacin ms. La lnea recta tiene varias imgenes ms o menos
imperfectas en la naturaleza, cuyas principales son los rayos de luz y los ejes de rotacin
de un cuerpo slido. Asumiendo que comprobamos que el rayo de luz no satisface al
postulado euclidiano (al mostrar, por ejemplo, que una estrella tiene una paralaje
negativa), qu debemos hacer? Debemos concluir que, como una lnea recta es, por
definicin, la trayectoria de la luz, entonces no satisface la definicin, o, por el
contrario, que, como una lnea recta, por definicin, satisface el postulado, entonces el
rayo de luz no es rectilneo?
Ciertamente somos libres de adoptar cualquier definicin y, consecuentemente,
cualquier conclusin. Pero sera imprudente adoptar la primera, porque el rayo de luz
probablemente satisface, en una manera ms imperfecta, no slo al postulado
euclidiano, sino a las otras propiedades de la lnea recta; porque, mientras se desva de
la recta euclidiana, se desva, en todo caso, del eje de rotacin de los cuerpos slidos,
que es otra imagen imperfecta de la lnea recta; y, por ltimo, porque es, sin duda, sujeta
113
a cambios, de tal suerte que tal y cual lnea que ayer era recta ya no lo ser as maana
si se ha alterado alguna circunstancia fsica.
Asumamos, ahora, que hemos conseguido descubrir que el fsforo no se fusiona
a 44 sino a 43.9 centgrados. Debemos concluir que, como el fsforo es, por
definicin, aquello que se fusiona a 44, esta sustancia que hasta ahora hemos llamado
fsforo no es en realidad tal, o, por el contrario, que el fsforo se fusiona a 43.9? Aqu,
de nuevo, somos libres de adoptar cualquier definicin y, consecuentemente, cualquier
conclusin; pero sera absurdo adoptar la primera, porque no podemos cambiar el
nombre de una sustancia cada vez que aadamos un nuevo decimal a su punto de fusin.
XIII
En resumen: el seor Russell y el seor Hilbert han realizado un gran esfuerzo, y ambos
han escrito trabajos repletos de perspectivas sumamente originales, profundas, y a
menudo muy ciertas. Estos dos trabajos nos proporcionan mucho material para pensar, y
hay mucho que podemos aprender de ellos. No unos pocos de sus resultados son
sustanciales y estn destinados a sobrevivir.
Pero decir que han resuelto la controversia entre Kant y Leibniz de manera
definitiva y que han destruido la teora kantiana de las matemticas es evidentemente
falso. No s si en realidad imaginaron haberlo hecho, pero si es as, estaban
equivocados.
114
CAPTULO V
Los lgicos han intentado dar respuesta a las consideraciones anteriores. Para este
propsito, se han visto obligados a transformar la lgica, y el seor Russell, en
particular, ha modificado sus pareceres iniciales sobre ciertos puntos. Sin entrar a
considerar los detalles de la controversia, me gustara regresar a las dos cuestiones que
son, en mi opinin, las ms importantes. Ha ofrecido la lgica prueba alguna de
fecundidad e infalibilidad? Es cierto que los lgicos pueden demostrar el principio de
induccin completa sin recurrir a la intuicin?
115
que estas distinciones, sin importar qu tan tiles puedan resultar, facilitan
enormemente nuestro progreso?
La lgica nos fuerza a decir todo lo que comnmente damos por asumido, nos
fuerza a ir paso a paso; quiz sea ms segura, pero no ms expeditiva.
No son alas lo que nos ha dado, sino andadores. Pero tenemos derecho a
demandar que estos andadores nos guarden de caer; esta es su nica excusa. Cuando una
inversin no paga una alta tasa de inters, debe poseer, por lo menos, una garanta.
Debemos seguir las reglas de los lgicos ciegamente? S, porque de otra forma
sera la intuicin, por s sola, la que nos permitira distinguir entre tales reglas. Pero
entonces stas deben ser infalibles, porque solamente sobre una autoridad infalible
podemos tener plena y ciega confianza. De acuerdo con esto, esto es una necesidad para
los lgicos: deben ser infalibles o cesar de existir.
No tienen derecho a decirnos: Cometemos errores, es cierto, pero ustedes
tambin. Para nosotros, cometer errores es ciertamente una desgracia, una gran
desgracia, pero para ustedes es la muerte.
Tampoco tienen derecho a decir: La infalibilidad en la aritmtica previene
errores de adicin? Las reglas para calcular son infalibles, y an as encontramos
personas que cometen errores por no aplicar estas reglas. Pero una revisin de su
clculo mostrar, en seguida, dnde es que se perdieron. Aqu el caso es muy distinto.
Los lgicos han aplicado sus reglas y, an con todo, han llegado a contradicciones. Tan
cierto es esto, que estn preparando la alteracin de estas reglas y sacrificar la nocin
de clase. Por qu alterarlas si eran infalibles?
No estamos obligados, dirn los lgicos, a resolver hic et nunc17 todos los
posibles problemas. No pedimos tanto como eso. Si, en vista de un problema, no se
ofrece solucin alguna, no tendramos nada que decir; pero, por el contrario, los lgicos
ofrecen dos, y estas dos soluciones son contradictorias. Consecuentemente, por lo
menos una de ellas es falsa, y es esto lo que constituye un fracaso.
El seor Russell intenta reconciliar estas contradicciones, cosa que slo puede
llevarse a cabo, de acuerdo con l, al restringir o incluso sacrificar la nocin de clase.
Y el seor Couturat, dando por contado el acierto de este intento, apunta: Si los lgicos
triunfan donde otros han fallado, el seor Poincar sin duda recordar esta frase, y dar
a la lgica el crdito de la solucin.
17
116
Ofrec dos principales objeciones a la definicin de nmero entero adoptada por los
lgicos. Cul es la respuesta del seor Couturat a la primera de estas objeciones?
Cul es el significado, en matemticas, de la palabra existir? Significa, como
dije, estar libre de contradiccin. Esto es lo que el seor Couturat discute: La existencia
lgica, dice, es una cosa muy distinta que ausencia de contradiccin. Consiste en el
hecho de que una clase no est vaca. Decir que algunos a existen es, por definicin,
afirmar que la clase a no est vaca. Y, sin duda, asegurar que la clase a no est vaca
es, por definicin, afirmar que algunos a existen. Pero una de estas afirmaciones est
tan desprovista de significado como la otra si ambas no significan, o bien que podamos
ver o tocar a, que es el significado dado a estas afirmaciones por los fsicos o los
naturalistas, o bien que podamos concebir un a sin involucrar contradicciones, que es el
significado dado por los lgicos y los matemticos a estas mismas afirmaciones.
En opinin del seor Couturat, no es la no contradiccin la que prueba la
existencia, sino la existencia la que prueba la no contradiccin. Para establecer la
existencia de una clase, debemos establecer, por consiguiente y a partir de un ejemplo,
que hay un individuo perteneciente a tal clase. Pero se dir: cmo demostramos la
existencia de este individuo? No es necesario que esta existencia sea establecida, para
que podamos deducir la existencia de la clase de la cual forma parte? No es as. Tan
paradjica como la afirmacin pueda parecer, nunca demostramos la existencia de un
individuo. Los individuos, por el mero hecho de ser individuos, siempre son
considerados como existiendo. Nunca tenemos que declarar que un individuo existe,
hablando en trminos absolutos, sino solamente que existe en una clase. El seor
Couturat encuentra paradjica su propia afirmacin, y ciertamente no ser el nico en
hacerlo. No obstante, su afirmacin debe tener algn sentido, y ste es, sin duda, que la
existencia de un individuo solo en el mundo, del que nada se afirma, no puede suponer
117
contradiccin. Siempre que est completamente solo, es evidente que no puede interferir
con nadie. Pues bien, que esto sea as; admitiremos la existencia del individuo
hablando en trminos absolutos, pero con l no tenemos nada que hacer. Todava
queda por demostrar la existencia del individuo en una clase, y, para esto, debe
probarse que la afirmacin de que tal individuo pertenece a tal clase no es ni
contradictoria por s misma, ni con los otros postulados adoptados.
En consecuencia, contina el seor Couturat, afirmar que una definicin no
es vlida a menos que primero se pruebe que no es contradictoria, equivale a imponer
una condicin arbitraria e impropia. La demanda por la libertad de contradiccin no
podra formularse en trminos ms enfticos o altivos. En cualquier caso, el onus
probandi18 descansa en aquellos que piensan que estos principios son contradictorios.
Los postulados se presumen como compatibles, as como un prisionero se presume
como inocente hasta que se pruebe lo contrario.
Es innecesario aadir que no consiento esta reclamacin. Pero, dirn los lgicos,
la demostracin que se nos exige resulta imposible, y no se nos puede pedir apuntar a
la Luna. Perdn, pero ser imposible para ustedes, pero no para los que admitimos el
principio de induccin como un juicio sinttico a priori. Esto sera tan necesario para
ustedes como para nosotros.
A fin de que se demuestre que un sistema de postulados no supone contradiccin
alguna, es necesario aplicar el principio de induccin completa. No slo no hay nada
extraordinario en este mtodo de razonamiento, sino que es el nico correcto. No
resulta inconcebible que alguien lo haya usado alguna vez, y no es difcil encontrar
ejemplos y precedentes de lo anterior. En mis escritos ya he citado dos, y fueron
tomados del folleto de Hilbert. l no es el nico que ha hecho uso de tal principio, y
aquellos que no lo han hecho han estado equivocados. Lo que reprocho a Hilbert no es
que haya recurrido a l (un matemtico nato como Hilbert no podra sino ver que se
requiere una demostracin, y que sta es la nica posible), sino que haya recurrido a l
sin haber reconocido al razonamiento por recurrencia.
18
118
He hecho notar un segundo error, cometido por los lgicos, en el escrito de Hilbert. Hoy
Hilbert est excomulgado, y el seor Couturat ya no se considera un lgico. Me
preguntar, por tanto, si he encontrado el mismo error en los lgicos ms ortodoxos. No
he visto alguno en las pginas que he ledo, pero no s si lo encontrara en las
trescientas pginas que han escrito y que no deseo leer.
Slo dir que cometern tal error tan pronto como intenten llevar a cabo
cualquier tipo de aplicacin de la ciencia matemtica. La eterna contemplacin de su
propio ombligo no es el nico objeto de esta ciencia. sta tiene contacto con la
naturaleza, y un da u otro entrar en tal contacto, y entonces ser necesario sacudirse de
las definiciones puramente verbales y ya no contentarnos con las palabras.
Regresemos al ejemplo del seor Hilbert. Todava es una cuestin de
razonamiento por recurrencia y de saber si un sistema de postulados no es
contradictorio. El seor Couturat me dir, sin duda, que tal caso no le concierne, pero
quiz s lo har a aquellos que no clamen, como l hace, por la libertad de
contradiccin.
Deseamos establecer, sobre todo, que no nos encontremos con alguna
contradiccin despus de un nmero particular de argumentos, un nmero tan grande
como se quiera, siempre que sea finito. Para este propsito debemos aplicar el principio
de induccin. Debemos entender aqu por nmero finito a cada nmero al que aplique
el principio de induccin? Evidentemente no, porque entonces nos encontraramos con
las consecuencias ms extraas.
Para tener derecho a establecer un sistema de postulados, debemos estar
seguros de que no son contradictorios. Esta es una verdad admitida por la mayora de
los cientficos (y hubiese dicho que por todos antes de leer el ltimo artculo del seor
Couturat). Pero esto qu significa? Significa que debemos estar seguros de no
encontrarnos con alguna contradiccin despus de un nmero finito de proposiciones,
siendo el nmero finito, por definicin, aquel que posee todas las propiedades de una
naturaleza recurrente de tal suerte que si una de estas propiedades faltase - si, por
ejemplo, llegsemos a una contradiccin -, deberamos estar de acuerdo con decir que
el nmero en cuestin no era finito?
119
Ahora me centrar en examinar el nuevo tratado del seor Russell. Este tratado fue
escrito con el objetivo de superar las dificultades surgidas por aquellas antinomias
cantorianas sobre las cuales ya he hecho alusin. Cantor pens posible construir una
Ciencia del Infinito. Otros han avanzado ms a lo largo del camino que abri, pero muy
pronto se encontraron con extraas contradicciones. Estas antinomias son muy
numerosas, pero las ms clebres son:
1. La antinomia de Burali-Forti
2. La antinomia de Zermelo-Knig
3. La antinomia de Richard
Cantor haba demostrado que los nmeros ordinales (es una cuestin de nmeros
ordinales transfinitos, una nueva nocin introducida por l) pueden ser arreglados en
una serie lineal, es decir, que de dos nmeros ordinales desiguales, siempre hay uno que
es menor que otro. Burali-Forti demuestra lo contrario y, en realidad, como l dice, en
esencia, si pudisemos arreglar todos los nmeros ordinales en una serie lineal, esta
serie definira un nmero ordinal que sera mayor que todos los otros, y al que
podramos despus aadir 1 y as obtener otro nmero ordinal que sera an mayor. Y
esto es contradictorio.
Ms tarde regresaremos a la antinomia de Burali-Forti, que es de una naturaleza
un tanto distinta. La antinomia de Richard (Revue gnrale des sciences, junio 30,
1905) es como sigue. Consideremos todos los nmeros decimales que pueden ser
120
Cul es la actitud del seor Russell ante estas contradicciones? Despus de analizar
aquellas sobre las que ya he hablado, haber dado cuenta de otras, y despus de haberlas
puesto en una forma tal que recuerda a Epimnides, no duda en concluir lo que sigue:
19
Locucin latina que significa cambiando lo que deba cambiarse. Nota del Traductor.
Evidentemente, en el texto original Poincar no utiliza al idioma espaol para ejemplificar esta
paradoja. Pero, sea como fuere, la paradoja es cierta para cualquier lenguaje cuyas palabras sean finitas.
Nota del Traductor.
20
121
21
Esta cita y las siguientes son del artculo del seor Russell, On some difficulties in the theory of
transfinite numbers and order types, en Proceedings of the London Mathematical Society, Ser. 2, Vol. 4,
Parte 1.
122
Cmo es que debemos escoger entre estas distintas teoras? Me parece que la solucin
la contiene la carta del seor Richard mencionada antes, y que se encuentra en la Revue
gnrale des sciences del 30 de junio de 1905. Despus de establecer la antinomia que
he llamado la antinomia de Richard, ofrece una explicacin de la misma.
Refirmonos de nuevo a lo que se ha dicho sobre esta antinomia en la seccin V
de este captulo. E es el agregado de todos los nmeros que pueden ser definidos a partir
de un nmero finito de palabras, sin introducir la nocin del propio agregado E, porque
de otra forma la definicin de E contendra un crculo vicioso, ya que no podemos
definir E a partir del propio agregado E. Tambin hemos definido a N a partir de un
22
Esto significa algo as como nadadores dispersos en el vasto abismo. Es una frase tomada de Virgilio,
y utilizada por ste para describir el naufragio de la flota troyana de Eneas. Nota del Traductor.
123
nmero finito de palabras, es cierto, pero slo con la ayuda de la nocin del agregado E,
y esa es la razn por la cual N no forma parte de E.
En el ejemplo elegido por el seor Richard, la conclusin se presenta con una
evidencia completa, y sta se vuelve lo ms evidente en una referencia al texto real de la
carta. Pero la misma explicacin sirve para las otras antinomias, como puede fcilmente
verificarse.
As, las definiciones que deben ser consideradas como no predicativas son
aquellas que contienen un crculo vicioso. Los ejemplos de arriba resultan suficientes
para mostrar, claramente, lo que quiero decir con esto. Es a esto a lo que el seor
Russell llama zigzagueo? Simplemente hago la pregunta sin responderla.
124
Una clase no predicativa no es una clase vaca, sino una clase con lmites inciertos. Es
innecesario aadir que esta objecin particular no invalida las objeciones generales que
aplican a todas las demostraciones.
IX
X. EL AXIOMA DE ZERMELO
XI. CONCLUSIONES
23
126
24
El summum genus es el gnero ms extensivo. Es el gnero bajo el cual caen todos los objetos. Nota del
Traductor.
127
sigue siendo infinito, porque por lo general expresan que el objeto bajo consideracin
es, de tal y cual forma, una relacin con todos los objetos de una clase infinita.
Pero todo esto ya es historia. El seor Russell se ha dado cuenta de todos estos
peligros y reconsiderar la cuestin. Cambiar todo, y debemos comprender claramente
que est preparando no solamente introducir nuevos principios que permitan
operaciones antes prohibidas, sino tambin que prohban operaciones antes consideradas
legtimas. No est contento con adorar lo que alguna vez quem, pero ahora va a
quemar lo que alguna vez ador, lo que es mucho ms serio. No est aadiendo una
nueva ala al edificio, sino minando sus fundamentos.
La vieja lgica est muerta, y tan cierto es esto, que la teora del zigzag y la
teora de no clases ya estn disputando su sucesin. Esperaremos hasta que la nueva
lgica exista antes de intentar juzgarla.
128
PARTE III
LA NUEVA MECNICA
CAPTULO I
LA MECNICA Y EL RADIO
I. INTRODUCCIN
Desde los das de Newton, los principios generales de la dinmica han servido como el
fundamento de la ciencia fsica, y adems parecan ser inmutables. Estn a punto de ser
abandonados tales principios, o por lo menos, de ser profundamente modificados? Esta
es una pregunta que mucha gente se ha hecho en los ltimos aos. De acuerdo con ellos,
el descubrimiento del radio ha alterado lo que se consideraba como las doctrinas
cientficas ms firmes, a saber, la imposibilidad de la transmutacin de los metales, por
una parte, y los postulados fundamentales de la mecnica, por la otra. Quiz se han
precipitado demasiado para considerar a estas novedades como definitivamente
establecidas, y como para hacer aicos a nuestros dolos de ayer, y quiz sera ms
conveniente esperar por experimentos ms numerosos y convincentes. No obstante, es
necesario que adquiramos, de una vez y por todas, un conocimiento de las nuevas
doctrinas y de los argumentos, ya ms significantes, sobre los cuales se basan estas
personas.
Primero recordaremos, en unas pocas palabras, cules son estos principios.
A. El movimiento de un punto material, aislado y no afectado por fuerza exterior alguna,
es rectilneo y uniforme. Este es el principio de la inercia: no hay aceleracin sin fuerza.
B. La aceleracin de un punto en movimiento tiene la misma direccin que la resultante
de todas las fuerzas a las cuales est sujeto el punto, y es igual al cociente de este
resultante por un coeficiente llamado la masa del punto en movimiento.
129
C. Todas las fuerzas a las que est sujeto el punto material surgen por la accin de otros
puntos materiales, y dependen nicamente de las posiciones relativas y de las
velocidades de estos distintos puntos materiales.
Al combinar los principios B y C llegamos al principio del movimiento relativo,
por virtud del cual las leyes del movimiento de un sistema son las mismas ya sea que
refiramos el sistema a ejes fijos, o que lo refiramos a ejes en movimiento animados por
un movimiento rectilneo y uniforme hacia delante, de tal suerte que es imposible
distinguir el movimiento absoluto del relativo referido a tales ejes en movimiento.
D. Si un punto material A acta sobre otro punto material B, el cuerpo B reacciona sobre
A, y estas dos acciones son dos fuerzas iguales y directamente opuestas una a la otra.
Este es el principio de igualdad de accin y reaccin, o, ms brevemente, el principio
de reaccin.
Las observaciones astronmicas y los fenmenos fsicos ms comunes parecen
haber proporcionado la confirmacin ms completa, invariable y precisa de estos
principios. Esto, se nos dice, es cierto, pero slo porque hemos tratado con velocidades
bajas. Mercurio, por ejemplo, que se mueve ms rpido que cualquier otro planeta,
apenas viaja a sesenta millas por segundo. Se comportara de la misma forma si viajase
mil veces ms rpido? Es claro que an no debemos inquietarnos; cualquiera que sea el
progreso del automovilismo, pasar algn tiempo antes de que dejemos de aplicar los
principios clsicos de la dinmica a nuestras mquinas. Cmo es entonces que hemos
podido darnos cuenta de velocidades mil veces mayores que la de Mercurio, iguales, por
ejemplo, a una dcima o a una tercera parte de la velocidad de la luz, o llegando incluso
ms cerca a sta que eso? Lo anterior ha sido posible gracias a la ayuda de los rayos
catdicos y de los rayos de radio.
Sabemos que el radio emite tres tipos de rayos, designados por las tres letras
griegas , , . En lo que sigue, a menos que especficamente seale lo contrario,
siempre hablar de los rayos , que son anlogos a los rayos catdicos.
Despus del descubrimiento de los rayos catdicos, fueron propuestas dos
teoras opuestas. Crookes atribuy el fenmeno a un bombardeo molecular real,
mientras que Hertz a ondulaciones peculiares del ter. Esta disputa fue una repeticin de
la controversia que haba dividido a los fsicos un siglo antes con respecto a la luz.
Crookes regres a la teora de la emisin, abandonada en el caso de la luz, mientras que
Hertz sostuvo la teora ondulatoria. Sea como fuere, los hechos parecan favorecer a
Crookes.
130
Se reconoci, en primer lugar, que los rayos catdicos llevan consigo una carga
elctrica negativa: son desviados por un campo magntico y por un campo elctrico, y
estas desviaciones son precisamente lo que produciran estos mismos campos sobre
proyectiles animados a grandes velocidades y altamente cargados con electricidad
negativa. Estas dos desviaciones dependen de dos cantidades: la velocidad, por una
parte, y la proporcin de la carga elctrica del proyectil a su masa, por la otra. No
podemos conocer el valor absoluto de esta masa, ni el de la carga, sino nicamente su
proporcin. De hecho, es claro que si duplicamos tanto la carga como la masa, sin
cambiar la velocidad, duplicaremos la fuerza que tiende a desviar el proyectil, pero
como su masa es similarmente duplicada, la aceleracin observable y la desviacin no
cambiarn. Por consiguiente, la observacin de las dos desviaciones nos proporcionar
dos ecuaciones para determinar estas dos cantidades desconocidas. Encontramos una
velocidad de 6,000 a 20,000 millas por segundo. En cuanto a la proporcin de la carga a
la masa, es sumamente grande, y poda compararse a la proporcin correspondiente en
el caso de un in de hidrgeno en electrlisis, y encontramos entonces que un proyectil
catdico lleva consigo mil veces ms de electricidad que una masa igual de hidrgeno
en un electrlito.
Para confirmar esto, requerimos una medida directa de esta velocidad, que pueda
despus ser comparada con la velocidad as calculada. Algunos experimentos ya viejos
llevados a cabo por el seor J. J. Thomson han dado resultados ms de cien veces bajos,
pero estaban sujetos a ciertas causas de error. La cuestin ha sido retomada por
Wiechert, quien con la ayuda de un arreglo por el que hace uso de oscilaciones
hertzianas, ha ofrecido resultados en concordancia con la teora, por lo menos en lo que
se refiere a la magnitud, y sera muy interesante volver a realizar estos experimentos.
Sea como fuere, la teora de las ondulaciones parece ser incapaz de explicar este cuerpo
de hechos.
Los mismos clculos hechos sobre los rayos del radio han producido
velocidades incluso ms altas (de 60,000, 120,000 millas por segundo, e incluso ms).
Estas velocidades superan por mucho a cualquier velocidad que conozcamos. Es cierto
que la luz, como hemos sabido por mucho tiempo, viaja a 186,000 millas por segundo,
pero no es una transportacin de materia, mientras que, si adoptamos la teora de la
emisin para los rayos catdicos, tenemos molculas materiales realmente animadas a
las velocidades en cuestin, y entonces tendramos que investigar si las leyes ordinarias
de la mecnica siguen siendo aplicables a ellas.
131
Sabemos que las corrientes elctricas dan lugar a fenmenos de induccin, en particular
de autoinduccin. Cuando una corriente se incrementa, desarrolla una fuerza
electromotriz de autoinduccin que tiende a oponerse a la corriente. Por el contrario,
cuando la corriente disminuye, la fuerza electromotriz tiende a mantener la corriente. La
autoinduccin se opone, pues, a toda variacin en la intensidad de una corriente, justo
como en la mecnica la inercia de un cuerpo se opone a toda variacin en su velocidad.
La autoinduccin es una inercia real. Todo tiene lugar como si la corriente no pudiese
establecerse sin establecer el circundante ter en movimiento, y como si la inercia de
este ter tendiese, consecuentemente, a mantener constante la intensidad de esta
corriente. La inercia debe ser superada para establecer la corriente, y debe ser superada
de nuevo para hacerla cesar.
Un rayo catdico, que es una lluvia de proyectiles cargados con electricidad
negativa, puede compararse a una corriente. Sin duda esta corriente difiere, a primera
vista y en cualquier caso, de las corrientes de conduccin ordinarias, donde la materia
est en reposo y la electricidad circula a travs de ella. Es una corriente de conveccin,
donde la electricidad est unida a un vehculo material y es transportada por el
movimiento de tal vehculo. Pero Rowland ha probado que las corrientes de conveccin
producen los mismos efectos magnticos de la induccin. Primero, si no fuese as, se
violara el principio de la conservacin de la energa, y, segundo, Crmien y Pender han
empleado un mtodo en donde estos efectos de induccin son demostrados
directamente.
Si la velocidad de un corpsculo catdico vara, la intensidad de la corriente
correspondiente igualmente variar, y se desarrollarn efectos de autoinduccin que
tendern a oponerse a esta variacin. Estos corpsculos deben, por tanto, poseer una
doble inercia: primero, su inercia real, y despus una inercia aparente debida a la
autoinduccin, que produce los mismos efectos. Tendrn, entonces, una masa total
aparente, compuesta por su masa real y por una masa ficticia de origen
electromagntico. Los clculos muestran que esta masa ficticia vara con la velocidad
(cuando esto es comparable a la velocidad de la luz), y que la fuerza de la inercia de
autoinduccin no es la misma cuando incrementa o disminuye la velocidad del
proyectil, ni cuando cambia su direccin, y, de acuerdo con esto, lo mismo se mantiene
para la fuerza total aparente de la inercia.
132
La masa total aparente no es, por lo tanto, la misma cuando la fuerza real
aplicada al corpsculo es paralela a su velocidad y tiende a acelerar su movimiento, que
cuando es perpendicular a la velocidad y tiende a alterar su direccin. Entonces,
debemos distinguir entre la masa total longitudinal y la masa total transversal, y,
adems, estas dos masas totales dependen de la velocidad. Tales son los resultados del
trabajo terico de Abraham.
En las mediciones que consideramos en la ltima seccin, qu era lo que estaba
determinado al medir las dos desviaciones? La velocidad, por un lado, y la proporcin
de la carga a la masa total transversal, por el otro. Bajo estas condiciones, cmo es que
debemos determinar cules son las proporciones, en esta masa total, de la masa real y de
la masa ficticia electromagntica? Si contsemos slo con los rayos catdicos
propiamente dichos, ni siquiera podramos soar con hacer lo anterior, pero,
afortunadamente, contamos con los rayos del radio, cuya velocidad, como hemos visto,
es considerablemente ms alta. Estos rayos no son todos idnticos, y no se comportan
de la misma forma bajo la accin de un campo elctrico y de uno magntico.
Encontramos que la desviacin elctrica es una funcin de la desviacin magntica, y al
recibir sobre una placa sensible rayos de radio que han estado sujetos a la accin de los
dos campos, podemos fotografiar la curva que representa la relacin entre estas dos
desviaciones. Esto es lo que ha hecho Kaufmann, y ha deducido la relacin entre la
velocidad y la proporcin de la carga a la masa total aparente, una proporcin que
llamamos .
Podramos suponer que existen varios tipos de rayos, cada uno caracterizado por
una velocidad particular, por una carga particular, y por una masa particular; pero esta
hiptesis es sumamente improbable. Qu razn podra haber, en realidad, para que
todos los corpsculos de la misma masa tengan siempre la misma velocidad? Resulta
ms natural suponer que la carga y la masa real son las mismas para todos los
proyectiles, y que solamente difieren en la velocidad. Si la proporcin es una funcin
de la velocidad, no es porque la masa real vare con la velocidad, sino porque, como la
masa ficticia electromagntica depende de la velocidad, la masa total aparente, que es la
nica observable, debe tambin depender de ella, incluso cuando la masa real no
depende de ella sino que es constante.
Los clculos de Abraham nos hacen conocer la ley en concordancia con la cual
la masa ficticia vara como una funcin de la velocidad, y los experimentos de
Kaufmann nos hacen conocer la ley de variacin de la masa total. Una comparacin de
133
estas dos leyes nos permitir, por tanto, determinar la proporcin de la masa real a la
masa total.
Tal es el mtodo empleado por Kaufmann para determinar esta proporcin, y el
resultado es ms que sorprendente: la masa real es nula.
As es como hemos llegado a concepciones realmente inesperadas. Lo que ha
sido probado nicamente para el caso de los corpsculos catdicos ha sido extendido a
todos los cuerpos. Lo que llamamos masa parecera no ser sino una apariencia, y toda
inercia ser de origen electromagntico. Pero si esto es cierto, la masa ya no es constante,
sino que incrementa con la velocidad: mientras que, aparentemente constante para
velocidades de hasta 600 millas por segundo, crece a partir de entonces y se vuelve
infinita a la velocidad de la luz. La masa transversal ya no es igual a la masa
longitudinal, sino slo aproximadamente igual si la velocidad no es muy grande. El
principio B de la mecnica ya no es cierto.
Al punto que hemos llegado, esta conclusin podra parecer prematura. Podemos
aplicar a la totalidad de la materia lo que nicamente se ha establecido para estos
corpsculos de luz, que son slo una emanacin de materia y quiz no materia real?
Antes de abordar esta cuestin, debemos decir unas cuantas palabras sobre otro tipo de
rayos, a saber, los rayos canales, los Kanalstrahlen de Goldstein. De manera simultnea
a los rayos catdicos cargados con electricidad negativa, el ctodo emite rayos canales
cargados con electricidad positiva. En general, estos rayos canales, no siendo repelidos
por el ctodo, permanecen confinados en la vecindad inmediata de tal ctodo, donde
forman un estrato amarillento no muy fcil de detectar. Pero si el ctodo es perforado
con agujeros y bloquea al tubo casi por completo, los rayos canales se generarn detrs
del ctodo, en la direccin opuesta a la de los rayos catdicos, y entonces ser posible
estudiarlos. Es as como hemos podido demostrar su carga positiva y mostrar que las
desviaciones magnticas y elctricas an existen, como en el caso de los rayos
catdicos, aunque sean mucho ms dbiles.
El radio, de igual forma, emite rayos similares a los rayos canales, y
relativamente muy absorbibles, llamados rayos .
Como en el caso de los rayos catdicos, podemos medir las dos desviaciones y
deducir la velocidad y la proporcin . Los resultados son menos constantes que en el
134
Pero los electrones no solamente dan evidencia de su existencia en estos rayos en donde
aparecen animados a enormes velocidades. Los veremos en lugares muy distintos, y son
ellos los que nos explican los principales fenmenos de la ptica y de la electricidad. La
brillante sntesis sobre la que voy a hablar ahora se debe a Lorentz.
La materia est completamente formada por electrones con enormes cargas, y si
nos parece neutral es porque las cargas de los electrones de signo opuesto equilibran tal
relacin. Por ejemplo, podemos imaginar una especie de sistema solar consistente en un
gran electrn positivo, sobre el cual gravitan numerosos planetas pequeos que vendran
a ser los electrones negativos, atrados por la electricidad de signo opuesto con la que
est cargado el electrn central. Las cargas negativas de estos planetas equilibran la
carga positiva del Sol, de tal suerte que la suma algebraica de todas estas cargas es cero.
Todos estos electrones estn sumergidos en ter. El ter es en todos lados
idntico a s mismo, y las perturbaciones se producen en l, siguiendo las mismas leyes
que la luz o que las oscilaciones hertzianas en espacio vaco. Ms all de los electrones
y del ter no hay nada. Cuando una onda luminosa penetra una parte del ter donde los
electrones son numerosos, stos son puestos en movimiento bajo la influencia de la
perturbacin del ter, y despus reaccionan sobre ste. Esto vale para la refraccin, la
dispersin, la doble refraccin, y la absorcin. De la misma forma, si un electrn fue
puesto en movimiento por cualquier razn, perturbar el ter a su alrededor y dar
nacimiento a ondas luminosas, lo que explica la emisin de luz por cuerpos
incandescentes.
25
El nombre ahora es aplicado nicamente a los corpsculos negativos, que parecen no poseer una masa
real y slo una masa electromagntica ficticia, y no a los rayos canales, que parecen consistir en tomos
qumicos ordinarios cargados positivamente, debido al hecho de que han perdido uno o ms de los
electrones que poseen en su estado neutral ordinario.
135
V. CONSECUENCIAS MECNICAS
Ahora podemos formar dos hiptesis como explicacin de los hechos arriba
mencionados.
136
1. Los electrones positivos poseen una masa real, mucho mayor que su ficticia
masa electromagntica, y los electrones negativos, solos, estn desprovistos de una
masa real. Incluso podemos suponer que, adems de los electrones de ambos signos,
existen tomos neutrales que no tienen otra masa que su masa real. En este caso, la
mecnica no se ve afectada, y no tenemos necesidad de tocar sus leyes: la masa real es
constante, y solamente los movimientos se ven perturbados por los efectos de la
autoinduccin, como siempre se ha sabido. Estas perturbaciones son, adems, casi
despreciables, excepto en el caso de los electrones negativos que, al no tener masa real,
no son materia real.
2. Pero existe otro punto de vista. Podemos suponer que los tomos neutrales no
existen, y que los electrones positivos estn tan desprovistos de masa real como los
electrones negativos. Pero si esto es as, la masa real desaparece, y, o bien la palabra
masa ya no tendr significado, o bien deber designar a la ficticia masa
electromagntica. En este ltimo caso, la masa ya no ser constante, la masa transversal
ya no ser igual a la masa longitudinal, y los principios de la mecnica se vern
alterados.
Por ltimo, unas cuantas palabras como explicacin. Antes dije que, para la
misma carga, la masa total de un electrn positivo es mucho mayor que la de un
electrn negativo. Entonces es natural suponer que esta diferencia se explica por el
hecho de que el electrn positivo tiene, adems de su masa ficticia, una masa real
considerable, lo que nos llevara de nuevo a la primera hiptesis. Pero igualmente
podramos admitir que la masa real es nula tanto para uno como para otro electrn, pero
que la masa ficticia del electrn positivo es mucho mayor, porque este electrn es
mucho menor. Dije, deliberadamente, mucho menor. Y en realidad, en esta hiptesis, la
inercia tiene un origen exclusivamente electromagntico, y est reducida a la inercia del
ter; los electrones ya no son nada por s mismos, sino nicamente agujeros en el ter, y
sobre los cuales el ter se ve agitado. Mientras ms pequeos sean estos agujeros, ms
ter habr, y mayor ser, consecuentemente, su inercia.
Cmo debemos decidir entre estas dos hiptesis? Trabajando sobre los rayos
canales, tal como Kaufmann lo ha hecho sobre los rayos ? Esto es imposible, ya que la
velocidad de estos rayos es demasiado baja. De tal suerte que cada uno debe decidir de
acuerdo con su temperamento: los conservadores se posicionarn de un lado y los
amantes de la novedad del otro. Pero quiz, para obtener un entendimiento completo de
los argumentos de los innovadores, debemos recurrir a otras consideraciones.
137
CAPTULO II
MECNICA Y PTICA
138
punto A y el otro en un punto B, deseando ajustar sus relojes a partir de seales pticas.
Concuerdan en que B mande una seal a A, en una hora dada, con su reloj, y A ajustar
su reloj a esa hora tan pronto como vea la seal. Si la operacin fuese realizada
nicamente de esta forma, habra un error sistemtico, porque como a la luz le toma
cierto tiempo t viajar de B a A, el reloj de A siempre estar atrasado con respecto al reloj
de B en la medida de t. Este error es fcilmente corregible, ya que resulta suficiente con
que se intercambien las seales. A, a su vez, debe enviar seales a B, y despus de este
nuevo ajuste ser el reloj de B el atrasado con respecto al reloj de A en la medida de t.
Despus solamente ser necesario considerar la media aritmtica entre ambos ajustes.
Pero este mtodo de operar asume que a la luz le toma el mismo tiempo viajar de
A a B y regresar de B a A. Esto es cierto si los observadores estn en reposo, pero ya no
lo es si estn involucrados en una transposicin comn, porque en tal caso A, por
ejemplo, se encontrar con la luz que proveniente de B, mientras que B se retirar de la
luz proveniente de A. De acuerdo con esto, si los observadores estn involucrados en
una transposicin comn sin sospechar de ello, su ajuste ser deficiente; sus relojes no
marcarn el mismo tiempo, sino que cada uno de ellos marcar el tiempo local propio al
lugar donde se encuentre.
Los dos observadores no tendrn medio alguno para detectar esto si el ter en
reposo nicamente puede transmitir seales luminosas viajando todas a la misma
velocidad, y si las otras seales que pueden mandar les son transmitidas por medios
involucrados, junto con ellos, en su transposicin. El fenmeno que cada uno de ellos
observa no ser ni temprano ni tardo: no ocurrira en el momento en que ocurre si no
hubiese transposicin, pero como sus observaciones son hechas con un reloj
defectuosamente ajustado, no lo detectarn, y las apariencias no se vern alteradas.
De esto se sigue que la compensacin es fcil de explicar siempre que omitamos
el cuadrado de aberracin, y por mucho tiempo los experimentos no fueron lo
suficientemente precisos como para tener que tomar esto en cuenta. Pero un da
Michelson pens en un proceso mucho ms delicado. Introdujo rayos que haban
atravesado distintas distancias despus de haber sido reflejados por espejos. Cada una
de las distancias es de aproximadamente una yarda, y las franjas de interferencia hacen
posible detectar diferencias de una fraccin de una millonsima de un milmetro 1
141
y an as, los resultados fueron negativos. Por consiguiente, la teora requera ser
completada, y esto ha sido hecho por la hiptesis de Lorentz y Fitz-Gerald.
Estos dos fsicos asumen que todos los cuerpos involucrados en una
transposicin experimentan una contraccin en la direccin de esta transposicin,
mientras que sus dimensiones perpendiculares a la transposicin permanecen
invariables. Esta contraccin es la misma para todos los cuerpos. Es, adems, muy
leve, alrededor de una parte en doscientos millones para una velocidad como la de la
Tierra. Ms an, nuestros instrumentos de medicin no pueden revelarla, incluso si
fuesen mucho ms precisos, porque las medidas con las que medimos experimentan la
misma contraccin que los objetos a ser medidos. Si un cuerpo se ajusta exactamente a
una medida cuando tal cuerpo, y consecuentemente la medida, giran en el sentido del
movimiento terrestre, no dejar de ajustarse a la medida, de manera exacta, cuando
giren en otra direccin, a pesar del hecho de que tanto el cuerpo como la medida han
cambiado su longitud al cambiar su direccin, precisamente porque el cambio es el
mismo para ambos. Pero no es as si medimos una distancia, ya no a partir de una
medida, sino a partir del tiempo que toma la luz en atravesarla, y esto es exactamente lo
que ha hecho Michelson.
As, pues, un cuerpo esfrico en reposo asumir la forma de un elipsoide
aplanado de revolucin cuando se encuentre en movimiento. Pero el observador siempre
creer que es esfrico, porque l mismo ha experimentado una deformacin anloga, as
como tambin todos los objetos que le sirven como puntos de referencia. Por el
contrario, las superficies de las ondas de luz, que han permanecido exactamente
esfricas, le parecern como elipsoides alargados.
Qu suceder entonces? Imaginemos un observador y una fuente involucrados,
ambos, en la transposicin. Las superficies de onda que emanan de la fuente sern
esferas, teniendo como centro las sucesivas posiciones de la fuente. La distancia de este
centro desde la posicin real de la fuente ser proporcional al tiempo transcurrido desde
la emisin (es decir, al radio de la esfera). Todas estas esferas son, en concordancia,
homotticas una con la otra, en relacin con la posicin real S de la fuente. Pero para
nuestro observador, debido a la contraccin, todas estas esferas parecern ser elipsoides
alargados, y todos estos elipsoides seguirn siendo homotticos en relacin con el punto
S; la excentricidad de todos los elipsoides es la misma, y depende nicamente de la
velocidad de la Tierra. Debemos seleccionar nuestra ley de contraccin de tal forma
que S sea el foco de la seccin meridiana del elipsoide.
142
143
al
que es
atrado
mecnicamente.
Ya hemos visto las razones que nos inclinan a considerar al principio de relatividad
como una ley general de la naturaleza. Veamos a qu consecuencias nos llevar este
principio si lo consideramos como definitivamente probado.
Antes que nada, nos obliga a generalizar la hiptesis de Lorentz y Fitz-Gerald
sobre la contraccin de todos los cuerpos en la direccin de su transposicin. De manera
ms particular, debemos extender tal hiptesis a los propios electrones. Abraham
consider a estos electrones como esfricos e indeformables, pero debemos admitir que
los electrones, si bien son esfricos cuando estn en reposo, experimentan la contraccin
de Lorentz cuando estn en movimiento, y despus toman la forma de elipsoides
aplanados.
Esta deformacin de los electrones tendr una influencia sobre sus propiedades
mecnicas. De hecho, he dicho que el desplazamiento de estos electrones cargados es
una corriente de conveccin real, y que su aparente inercia se debe a la autoinduccin de
esta corriente, siendo exclusivamente as en el caso de los electrones negativos, y sin
saber an si es exclusivamente as en el caso de los electrones positivos.
En estos trminos, la compensacin ser perfecta y en conformidad con los
requerimientos del principio de relatividad, pero slo bajo dos condiciones:
1. Que los electrones positivos carezcan de una masa real y posean nicamente
una ficticia masa electromagntica, o por lo menos que su masa real, si es que existe, no
sea constante, sino que vare con la velocidad, siguiendo las mismas leyes que su masa
ficticia.
146
2. Que todas las fuerzas tengan un origen electromagntico, o por lo menos que
varen con la velocidad, siguiendo las mismas leyes que las fuerzas de origen
electromagntico.
De nuevo es Lorentz quien ha hecho esta notable sntesis. Hagamos una pausa
para considerar qu resulta de ella. En primer lugar, ya no hay materia, ya que los
electrones positivos ya no tienen ningn tipo de masa real, o por lo menos ya no tienen
una masa real constante. Los principios actuales de nuestra mecnica, basados sobre la
constancia de la masa, deben por tanto ser modificados.
En segundo lugar, debemos buscar una explicacin electromagntica para todas
las fuerzas conocidas, y especialmente para la gravedad, o por lo menos modificar la ley
de gravedad en el sentido de que esta fuerza debe alterarse por la velocidad de la misma
forma que las fuerzas electromagnticas. Ms adelante regresaremos a este punto.
A primera vista, todo esto parece un tanto artificial, y de manera ms particular,
la deformacin de los electrones parece extremadamente hipottica. Pero la cuestin
puede ser presentada de manera distinta, para evitar tomar a esta hiptesis de la
deformacin como la base del argumento. Imaginemos a los electrones como puntos
materiales, y preguntmonos cmo debera variar su masa como una funcin de la
velocidad de tal forma que no viole el principio de relatividad. O ms bien vamos a
indagar cul debe ser su aceleracin bajo la influencia de un campo elctrico o
magntico, de tal manera que el principio no se vea violado y que debamos regresar a
las leyes ordinarias cuando imaginemos una velocidad muy baja. Encontraremos que las
variaciones de esta masa o de estas aceleraciones deben ocurrir como si el electrn se
sometiese a la deformacin de Lorentz.
V. EL EXPERIMENTO DE KAUFMANN
De esta forma, se nos presentan dos teoras: una en donde los electrones son
indeformables, que es la teora de Abraham, y otra en donde experimentan la
deformacin de Lorentz. En ambos casos, su masa crece con su velocidad, volvindose
infinita cuando tal velocidad iguala a la de la luz, pero la ley de variacin no es la
misma. Por consiguiente, el mtodo empleado por Kaufmann para demostrar la ley de
variacin de la masa nos proporcionara los medios para decidir, experimentalmente,
entre ambas teoras.
147
26
148
El trmino vis viva significa fuerza viva. Es un trmino acuado por Leibniz. Nota del Traductor.
149
151
el origen de los rayos de Rntgen, que no son otra cosa que rayos de luz de muy baja
longitud ondular.
152
CAPTULO III
LA NUEVA MECNICA Y
LA ASTRONOMA
I. GRAVITACIN
La masa puede definirse de dos formas: primero, como el cociente de la fuerza por la
aceleracin, la verdadera definicin de masa, que es la medida de la inercia del cuerpo;
segundo, como la atraccin ejercida por un cuerpo sobre un cuerpo ajeno, por virtud de
la ley newtoniana. Por tanto, debemos distinguir entre la masa, el coeficiente de la
inercia, y la masa, el coeficiente de la atraccin. De acuerdo con la ley newtoniana,
existe una rigurosa proporcin entre estos dos coeficientes, pero esto es slo
demostrable para el caso de velocidades a las que apliquen los principios generales de la
dinmica. Ahora bien, hemos visto que la masa coeficiente de la inercia se incrementa
con la velocidad. Debemos entonces concluir que la masa coeficiente de atraccin se
incrementa de manera similar con la velocidad y contina siendo proporcional al
coeficiente de la inercia, o ms bien que el coeficiente de atraccin permanece
constante? En realidad, no contamos con los medios suficientes para responder a esta
pregunta.
Por otra parte, si el coeficiente de atraccin depende de la velocidad, y las
velocidades de los cuerpos que mutuamente se atraen no son, por lo general, las
mismas, cmo puede este coeficiente depender de estas velocidades?
Hasta este punto, no podemos hacer nada excepto formular hiptesis, y es as
como, de manera natural, llegamos a preguntarnos cul de estas hiptesis ser
compatible con el principio de relatividad. Existe un gran nmero de hiptesis, pero la
nica que mencionar aqu es la de Lorentz, que expondr de manera breve.
Antes que nada, imaginemos a todos los electrones en reposo. Dos electrones de
signo similar se repelen uno a otro, mientras que dos electrones de signo opuesto se
atraen uno a otro. De acuerdo con la teora ordinaria, sus mutuas acciones son
proporcionales a sus cargas elctricas. Por lo tanto, si tenemos cuatro electrones, dos
positivos A y A y dos negativos B y B, y las cargas de estos cuatro electrones son las
153
154
Son las teoras precedentes reconciliables con las observaciones astronmicas? Para
empezar, si las adoptamos, la energa de los movimientos planetarios ser
155
seiscientas veces menor para la Luna, que lo que es para Mercurio. Aadira que, en
cuanto a Venus y la Tierra, el movimiento del perihelio (para la misma velocidad
angular de este movimiento) ser mucho ms difcil de detectar a partir de
observaciones astronmicas, porque la excentricidad de sus rbitas es mucho ms ligera
que en el caso de Mercurio.
En resumen, el nico efecto apreciable sobre las observaciones astronmicas
ser un movimiento del perihelio de Mercurio, en la misma direccin que en la que se
haba observado sin ser explicado, pero considerablemente menor.
157
Sera conveniente poner estas consideraciones junto a una teora presentada hace tiempo
para explicar la gravitacin universal. Imaginemos los espacios interplanetarios llenos
de corpsculos muy pequeos, viajando en todas direcciones a altas velocidades. Un
cuerpo aislado en el espacio, aparentemente, no se ver afectado por las colisiones con
estos corpsculos, ya que stas estn igualmente distribuidas en todas direcciones. Pero
si dos cuerpos, A y B, estn prximos, el cuerpo B actuar como una pantalla, e
interceptar una porcin de los corpsculos que, sin l, hubieran golpeado a A. Entonces
las colisiones recibidas por A, desde el lado alejado de B, no tendrn contraparte, o en
cualquier caso sern compensadas de manera imperfecta, e impulsarn a A hacia B.
Tal es la teora de Lesage, y primero la discutiremos desde el punto de vista de
la mecnica ordinaria. Para empezar, cmo deben ocurrir las colisiones requeridas por
esta teora? Deben ocurrir en concordancia con las leyes de los cuerpos perfectamente
elsticos, o de cuerpos desprovistos de elasticidad, o en concordancia con alguna ley
intermedia? Los corpsculos de Lesage no pueden comportarse como cuerpos
perfectamente elsticos, porque en tal caso el efecto sera nulo, ya que los corpsculos
interceptados por el cuerpo B seran remplazados por otros que hubiesen rebotado de B,
y el clculo prueba que la compensacin sera perfecta.
La colisin debe causar, por tanto, una prdida de energa a los corpsculos, y
esta energa debe reaparecer en la forma de calor. Pero cul sera la cantidad de calor
as producido? Nos damos cuenta que la atraccin pasa a travs del cuerpo, y entonces
debemos imaginarnos a la Tierra, por ejemplo, no como una pantalla completa, sino
como compuesta por un gran nmero de molculas esfricas extremadamente pequeas,
actuando de manera individual como pequeas pantallas, pero permitiendo que los
corpsculos de Lesage viajen libremente entre ellas. As, no slo la Tierra no es una
pantalla completa, sino que tampoco es un filtro, ya que los espacios no ocupados son
mucho mayores que los ocupados. Para entender esto, debemos recordar que Laplace
demostr que la atraccin, al pasar a travs de la Tierra, sufre una prdida, a lo sumo, de
diez millonsimas partes, y esta demostracin es perfectamente satisfactoria.
En efecto, si la atraccin fuese absorbida por los cuerpos por los que pasa, ya no
sera proporcional a sus masas; sera relativamente ms dbil para los cuerpos grandes
que para los pequeos, ya que tendra que atravesar un espesor mayor. La atraccin del
Sol a la Tierra sera, por tanto, relativamente ms dbil que la del Sol a la Luna, y
158
159
pero no nula. Es cierto que la vis viva de los corpsculos ya no ser completamente
convertida en calor, pero la atraccin producida ser igualmente menor, de tal manera
que slo ser la porcin de la vis viva convertida en calor la que contribuir a la
produccin de la atraccin, y obtendremos as el mismo resultado. Un uso juicioso del
teorema de virial nos permitir darnos cuenta de esto.
Podemos transformar la teora de Lesage al suprimir los corpsculos e imaginar
al ter atravesado en todas direcciones por ondas luminosas provenientes de todos los
puntos del espacio. Cuando un objeto material recibe una onda luminosa, sta ejerce
sobre l una accin mecnica debida a la presin de Maxwell-Bartholi, tal como si
hubiese recibido el golpe de un proyectil material. Las ondas en cuestin podran, por lo
tanto, desempear el papel de los corpsculos de Lesage. Esto lo admite, por ejemplo, el
seor Tommasina.
Pero esto no resuelve todas las dificultades. La velocidad de transmisin no
puede ser mayor que la de la luz, y esto nos lleva a un nmero inadmisible para la
resistencia del medio. Adems, si la luz es totalmente reflejada, el efecto es nulo, tal
como en la hiptesis de los corpsculos perfectamente elsticos. Para poder crear
atraccin, la luz debe ser parcialmente absorbida, pero entonces se producira calor. Los
clculos no difieren, en lo esencial, de aquellos hechos con respecto a la teora ordinaria
de Lesage, y el resultado mantiene el mismo carcter fantstico.
Por otra parte, la atraccin no es absorbida, o lo es muy ligeramente, por los
cuerpos que atraviesa, y esto no es cierto para la luz que conocemos. La luz que
producira la atraccin newtoniana requerira ser muy distinta a la luz ordinaria, y ser,
por ejemplo, de una longitud de onda muy corta. Esto no toma en cuanta el hecho de
que, si nuestros ojos fuesen sensibles a esta luz, todo el cielo parecera ser mucho ms
brillante que el Sol, de tal forma que el Sol destacara en negro, ya que de otro modo
nos repelera en lugar de atraernos. Por todas estas razones, la luz que nos permitira
explicar la atraccin requerira ser mucho ms afn a los rayos X de Rntgen que a la luz
ordinaria.
Por otra parte, los rayos X no resultan suficientes para esta empresa. No obstante
qu tan penetrantes puedan parecernos, no pueden pasar por toda la Tierra, y debemos,
en concordancia, imaginar rayos X mucho ms penetrantes que los rayos X ordinarios.
Entonces una porcin de la energa de estos rayos X debe ser destruida, porque de lo
contrario no habra atraccin. Si no queremos que esta energa se transforme en calor (lo
que llevara a una enorme produccin de ste), entonces debemos admitir que sta
160
161
IV. CONCLUSIONES
He intentado exponer, en unas cuantas palabras, una idea tan completa como sea posible
de estas nuevas doctrinas, y he querido explicar cmo es que se originaron, porque de
otra forma el lector se hubiese inquietado por su osada. Las nuevas teoras an no han
sido demostradas (se encuentran lejos de ello), y descansan solamente sobre un
agregado de probabilidades lo suficientemente imponente como para desechar la idea de
tratarlas con desprecio. Los experimentos hechos a partir de ahora nos ensearn, sin
duda, qu debemos pensar de ellas, y la raz de la cuestin se encuentra en el
experimento de Kaufmann, y como tal debe intentarse verificarlo.
Como conclusin, se me permite expresar un deseo? Supongamos que, en unos
cuantos aos, estas teoras son sometidas a nuevas pruebas y resultan triunfantes.
Entonces nuestra educacin secundaria correr un gran riesgo, porque algunos maestros
desearn, sin duda, dar lugar a estas nuevas teoras. Las novedades resultan tan
atractivas que es difcil no aparentar ser lo suficientemente avanzado! Por lo menos
desearn abrir perspectivas a los nios, quienes sern advertidos, antes de que se les
ensee mecnica clsica, que sta ya tuvo sus das, y que, como mucho, fue buena para
alguien tan chapado a la antigua como Laplace. Y es as como los nios nunca estarn
familiarizados con la mecnica ordinaria.
Es bueno advertirles que la mecnica clsica es slo aproximada? Sin duda,
pero no hasta despus, hasta que hayan sido empapados, hasta la mdula, con las leyes
clsicas, hasta que hayan sido acostumbrados a pensar en ellas y ya no estn en peligro
de olvidarlas. Solamente as resulta seguro mostrar sus limitaciones.
Es con la mecnica ordinaria con la que vivirn los nios, y la nica que tendrn
que aplicar. Sin importar cul sea el progreso de la industria automotriz, nuestros coches
162
nunca alcanzarn las velocidades suficientes para que las leyes de la mecnica clsica
dejen de cumplirse. Lo otro es slo un lujo, y no debemos pensar en ste hasta que no
haya riesgo alguno de que resulte perjudicial a lo necesario.
163
PARTE IV
CIENCIA ASTRONMICA
CAPTULO I
LA VA LCTEA Y LA TEORA
DE GASES
Las consideraciones que quiero desarrollar aqu han atrado, hasta ahora, muy poca
atencin por parte de los astrnomos. Slo tengo por citar una ingeniosa idea debida a
Lord Kelvin, que nos ha abierto todo un nuevo campo de investigacin, a la que an
queda darle seguimiento. Tampoco tengo resultados originales que dar a conocer, y todo
lo que puedo hacer es ofrecer una idea de los problemas que se presentan, pero que
nadie, hasta hoy en da, se ha propuesto resolver.
Todo mundo sabe cmo es que un gran nmero de fsicos modernos representan
la constitucin de los gases. Los gases estn compuestos por una innumerable multitud
de molculas animadas a grandes velocidades, que se cruzan y recruzan unas con otras
en todas direcciones. Probablemente, estas molculas actan a cierta distancia unas
sobre otras, pero esta accin decrece muy rpido con la distancia, de tal forma que sus
trayectorias permanecen, aparentemente, rectilneas, y slo dejan de serlo cuando dos
molculas pasan lo suficientemente cerca una de la otra, en cuyo caso su mutua
atraccin o repulsin hace que se desven hacia la derecha o hacia la izquierda. A veces
a esto se le da el nombre de colisin, pero no debemos entender esta palabra en su
sentido ordinario: no es necesario que las dos molculas entren en contacto, sino
nicamente que se acerquen demasiado una con otra, para que su mutua atraccin sea
perceptible. Las leyes de desviacin que experimentan son las mismas a como si
hubiesen tenido una colisin real.
Parecera, a primera vista, que las desordenadas colisiones de este innumerable
polvo slo pueden producir un caos inextricable ante el cual debe retirarse todo intento
164
de anlisis. Pero la ley de los grandes nmeros, aquella suprema ley de la casualidad,
viene en nuestra ayuda. Ante un semi-desorden, nos vemos forzados a perder la
esperanza, pero ante un desorden extremo, esta ley estadstica reestablece una especie
de orden promedio o medio en el cual la mente puede reencontrarse. Es el estudio de
este orden medio lo que constituye la teora cintica de los gases, y nos muestra que las
velocidades de las molculas estn igualmente distribuidas en todas direcciones, y que
la cantidad de estas velocidades vara para las distintas molculas, pero que su propia
variacin est sujeta a una ley conocida como la ley de Maxwell. Esta ley nos ensea
cuntas molculas estn animadas a tal o cual velocidad, y tan pronto como un gas se
aparta de esta ley, las mutuas colisiones de las molculas tienden prontamente a traerlo
de vuelta, al modificar la cantidad y direccin de sus velocidades. Los fsicos han
intentado, y no sin cierto xito, explicar de esta manera las propiedades experimentales
de los gases (por ejemplo, la ley de Mariotte o la de Boyle).
Ahora consideremos la Va Lctea. Aqu tambin vemos un innumerable
polvo, slo que los granos de ste ya no son tomos sino estrellas. Estos granos tambin
se mueven a grandes velocidades y actan a cierta distancia unos sobre otros, pero esta
accin es tan tenue a grandes distancias que sus trayectorias son rectilneas. No
obstante, de vez en cuando, dos de ellos pueden acercarse lo suficiente como para
desviarse de su curso, como cuando un cometa pasa demasiado cerca de Jpiter. En
pocas palabras, a los ojos de un gigante, para quien nuestros soles fuesen lo que para
nosotros son los tomos, la Va Lctea solamente se vera como una burbuja de gas.
Tal fue la principal idea de Lord Kelvin. Qu podemos sacar de esta
comparacin, y hasta qu punto es precisa? Esto es lo que vamos a investigar, pero
antes de llegar a una conclusin definitiva, y sin querer perjudicar la cuestin, debemos
anticipar que la teora cintica de los gases debe ser, para el astrnomo, un modelo que
no debe seguirse ciegamente, pero que puede serle de inspiracin. Hasta ahora, la
mecnica celeste se ha ocupado nicamente del Sistema Solar, o de algunos pocos
sistemas de estrellas dobles, y se ha retirado ante las agregaciones presentadas por la
Va Lctea, o ante ciertos grupos de estrellas o nebulosas resolubles, y esto porque vio
en todas ellas solamente caos. Pero la Va Lctea no es ms compleja que un gas, y los
mtodos estadsticos basados sobre el clculo de probabilidades aplicables a uno son
tambin aplicables a la otra. Sobre todo, es importante tener en cuenta tanto la
semejanza como la diferencia entre ambos casos.
165
166
167
conocidos e intentar obtener una idea de la ley de sus densidades, y ver si es la ley
adiabtica de los gases.
Regresemos a las consideraciones sobre la Va Lctea. No es, pues, esfrica, y
estara ms propiamente representada por un disco aplanado. Es claro, entonces, que
una masa comenzando sin velocidad desde la superficie llegar al centro con
velocidades variantes, dependiendo si comenz, desde la superficie, en la vecindad del
medio del disco o desde el borde del mismo. En este ltimo caso, la velocidad ser
considerablemente mayor.
Ahora bien, hasta ahora hemos asumido que las velocidades individuales de las
estrellas, las velocidades que observamos, deben ser comparables a aquellas alcanzadas
por tales masas. Esto supone una cierta dificultad. Antes he ofrecido un valor para las
dimensiones de la Va Lctea, y lo deduje de las velocidades individuales observadas,
que son del mismo orden de magnitud que las de la Tierra sobre su rbita; pero, cul es
la dimensin que as he medido? Es el espesor o el radio del disco? Es, sin duda, algo
entre ambos, pero en ese caso, qu puede decirse del espesor por s mismo, o del radio
del disco? Faltan los datos para hacer el clculo, y me contento con vislumbrar la
posibilidad de basar, por lo menos, un estimado aproximado sobre un profundo estudio
de los movimientos individuales.
Ahora nos encontramos confrontados por dos hiptesis. O bien las estrellas de la
Va Lctea estn animadas a velocidades que son, en general, paralelas al plano
galctico, pero por lo dems distribuidas uniformemente en todas las direcciones
paralelas a este plano. Si es as, la observacin de los movimientos individuales
revelara una preponderancia de componentes paralelos a la Va Lctea. Esto queda por
comprobarse, ya que no conozco estudio sistemtico alguno que haya tomado esta
postura. Por otra parte, tal equilibrio slo podra ser provisional, porque, como
consecuencia de las colisiones, las molculas - esto es, las estrellas - adquirirn
considerables velocidades en una direccin perpendicular a la Va Lctea, y terminarn
por emerger de su plano, de modo que el sistema tender hacia una forma esfrica, la
nica figura de equilibrio de una masa gaseosa aislada.
O bien todo el sistema est animado por una rotacin comn, y esa es la razn
por la cual est aplanado, como la Tierra, como Jpiter, y como todos los cuerpos
rotantes. Slo que, como el aplanamiento es considerable, la rotacin debe ser rpida.
Rpido, sin duda, pero debemos comprender el significado de esta palabra. La densidad
de la Va Lctea es 10 25 veces menor que la del Sol; una velocidad de revolucin
170
10 25 veces menor que la del Sol sera, por tanto, equivalente, en su caso, al punto de
vista del aplanamiento. Una velocidad 1012 veces menor que la de la Tierra, o la
trigsima parte de un segundo de arco en un siglo, sera una revolucin rpida, casi tan
rpida como para que un equilibrio estable sea posible.
En esta hiptesis, los movimientos individuales observables nos parecern
uniformemente distribuidos, y ya no habr preponderancia de los componentes paralelos
al plano galctico. No nos ensearn nada con respecto a la rotacin en s misma, ya que
formamos parte del sistema rotatorio. Si las nebulosas espirales son otras Vas Lcteas
ajenas a nosotros, no estn involucradas en esta rotacin, y podramos estudiar sus
movimientos individuales. Es cierto que son muy remotas, porque si una nebulosa tiene
las dimensiones de la Va Lctea, y si su radio aparentes es, por ejemplo, 20, su
distancia ser 10, 000 veces el radio de la Va Lctea.
Pero esto no importa, ya que no pedimos de ellas informacin sobre el
movimiento rectilneo de nuestro sistema, sino sobre su rotacin. Las estrellas fijas, por
su movimiento aparente, revelan la rotacin diurna de la Tierra, aun cuando su distancia
es inmensa. Desafortunadamente, la posible rotacin de la Va Lctea, rpida como es,
relativamente hablando, es muy lenta desde el punto de vista absoluto, y, adems, los
aspectos sobre las nebulosas no pueden ser muy exactos. Se requeriran, por
consiguiente, miles de aos de observacin para aprender algo.
Sea como fuere, en esta segunda hiptesis la figura de la Va Lctea sera una
figura de equilibrio final.
No discutir el valor relativo de estas dos hiptesis con mayor extensin, porque
hay una tercera que es quiz la ms probable. Sabemos que, entre las irresolubles
nebulosas, pueden distinguirse varias familias, a saber, las nebulosas irregulares como
las de Orin, las nebulosas planetarias y anulares, y las nebulosas espirales. Ya han sido
determinados los espectros de las primeras dos familias, y stos prueban ser
discontinuos. Por consiguiente, estas nebulosas no estn compuestas por estrellas. Es
ms, su distribucin en el cielo parece depender de la Va Lctea, ya sea que muestren
una tendencia a apartarse de ella, o por el contrario una a acercarse, y por tanto forman
parte del sistema. Por el contrario, las nebulosas espirales son generalmente
consideradas como independientes de la Va Lctea, y se asume que estn, como ella
misma, compuestas por una multitud de estrellas; que son, en pocas palabras, otras Vas
Lcteas muy remotas de la nuestra. El reciente trabajo de Stratonoff tiende a hacer que
171
veamos a la propia Va Lctea como una nebulosa espiral, y esta es la tercera hiptesis
de la que deseaba hablar.
Cmo es que debemos explicar las apariencias sumamente singulares presentes
en las nebulosas espirales, que resultan demasiado regulares y constantes como para
deberse a la casualidad? Para empezar, es suficiente con dirigir la mirada hacia una de
estas figuras para ver que la masa se encuentra en rotacin, e incluso podemos ver la
direccin de sta: todos los radios espirales estn curvos en la misma direccin, y es
evidente que es el ala de avance colgando atrs sobre el pivote lo que determina la
direccin de la rotacin. Pero eso no es todo. Es claro que estas nebulosas no pueden ser
ligadas a un gas en reposo, ni tampoco a un gas en equilibrio relativo bajo el dominio de
una rotacin uniforme. Deben compararse, ms bien, con un gas en permanente
movimiento en donde reinen las corrientes internas.
Supongamos, por ejemplo, que la rotacin del ncleo central es rpida (ya se
sabe qu quiero decir con esta palabra), demasiado rpida para un equilibrio estable.
Entonces, en el ecuador, la fuerza centrfuga prevalecer sobre la atraccin, y las
estrellas tendern a escapar del ecuador, a la vez que formarn corrientes divergentes.
Pero a medida que se alejan, como su momento de rotacin permanece constante y se
incrementa el radio vector, disminuir su velocidad angular, y es por esto que el ala de
avance parece quedarse atrs.
Bajo este aspecto, no habra un movimiento permanente, ya que el ncleo central
perdera materia de forma constante, que se ira para nunca regresar, y se agotara
gradualmente. Pero podemos modificar la hiptesis. A medida que se aleja, la estrella
pierde su velocidad y finalmente se detiene. En ese momento, la atraccin toma
posesin de ella nuevamente y la lleva de vuelta al ncleo; por lo tanto, habr corrientes
centrpetas. Debemos asumir que stas estn en la primera fila y las corrientes
centrfugas en la segunda, si tomamos como comparacin una compaa de guerra que,
en plena batalla, ejecuta un movimiento de giro. En efecto, la fuerza centrfuga debe
estar compensada por la atraccin ejercida por las capas centrales de la nube sobre las
capas exteriores.
Ms an, al final de un cierto periodo, se establece un status permanente. A
medida que la nube se vuelve curva, la atraccin ejercida por el ala de avance sobre el
pivote tiende a retrasar a ste, y la del pivote sobre el ala de avance tiende a acelerar el
avance de tal ala, cuyo movimiento retrgrado ya no se incrementa ms, de tal suerte
172
que, al final, todos los radios terminan por girar a una velocidad uniforme. No obstante,
podramos asumir que la rotacin del ncleo es ms rpida que la de los radios.
Queda una cuestin. Por qu estas nubes centrpetas y centrfugas tienden a
concentrarse en los radios en lugar de estar ms o menos dispersas por todas partes, y
por qu estos radios estn distribuidos de forma regular? La razn para la concentracin
de las nubes es la atraccin ejercida por las nubes ya existentes sobre las estrellas que
emergen del ncleo en su vecindad. Tan pronto como se produce una desigualdad,
tiende a acentuarse por esta causa.
Por qu estn los radios distribuidos de forma regular? Esta es una cuestin ms
delicada. Supongamos que no hay rotacin, y que todas las estrellas se encuentran en
dos planos rectangulares de tal suerte que su distribucin es simtrica en relacin con
ambos planos. Por razones simtricas, no habra razn alguna para que emergieran de
los planos ni para que se alterase la simetra. Esta configuracin dara, por tanto,
equilibrio, pero sera un equilibrio inestable.
Si, por el contrario, hay rotacin, tendremos una configuracin de equilibrio
anloga a cuatro radios curvos, iguales unos con otros, e intersecando en un ngulo de
90, y si la rotacin es lo suficientemente rpida, este equilibrio puede ser estable.
No estoy en posicin de hablar de manera ms precisa. Es suficiente para m con
presagiar la posibilidad de que quiz estas formas espirales puedan ser explicadas
recurriendo nicamente a la ley de gravitacin y a consideraciones estadsticas,
recordando aquellas de la teora de gases.
Lo que recin he dicho sobre las corrientes internas muestra que podra haber
algn inters en un estudio sistemtico del agregado de los movimientos individuales.
Esto podra llevarse a cabo dentro de cien aos, cuando salga a la luz la segunda edicin
de la tabla astrogrfica y sea comparada con la primera, que est siendo preparada
ahora.
Pero deseara, como conclusin, llamar la atencin sobre la cuestin de la edad
de la Va Lctea y de las nebulosas. Podramos formarnos una idea de esta edad si
obtuvisemos confirmacin alguna de lo que hemos imaginado es el caso. Este tipo de
equilibrio estadstico, cuyo modelo lo proporcionan los gases, no puede ser establecido
excepto como la consecuencia de un gran nmero de colisiones. Si stas son raras,
solamente puede producirse [tal equilibrio estadstico] despus de mucho tiempo. Si en
realidad la Va Lctea (o por lo menos los grupos que la conforman) y las nebulosas han
adquirido este equilibrio, es porque son muy antiguas, y deberamos obtener un lmite
173
inferior para su edad. Deberamos obtener, de igual forma, un lmite superior, porque
este equilibrio no es definitivo y no puede durar por siempre. Nuestras nebulosas
espirales seran comparables a gases animados con movimientos permanentes, pero los
gases en movimiento son viscosos y sus velocidades terminan por gastarse. Lo que en
este caso corresponde a la viscosidad (y que depende de las posibilidades de colisin de
las molculas) es extremadamente escaso, de tal manera que el status actual puede
seguir siendo tal por mucho tiempo, pero no por siempre, y entonces nuestra Va Lctea
no puede ser eterna ni volverse infinitamente antigua.
Pero esto no es todo. Consideremos nuestra atmsfera. En la superficie, debe
prevalecer una temperatura infinitamente baja, y la velocidad de las molculas se
encuentra en la vecindad de cero. Pero esto aplica slo a la velocidad media. Como
consecuencia de las colisiones, una de estas molculas debe adquirir (aunque es raro, es
cierto) una velocidad enorme, y entonces abandonar la atmsfera, y una vez que la
haya dejado, nunca regresar. De acuerdo con esto, nuestra atmsfera est siendo
extenuada de una manera extremadamente lenta. Por el mismo mecanismo, la Va
Lctea tambin perder una estrella de vez en cuando, y esto, de igual forma, limita su
duracin.
Pues bien, es cierto que si calculamos la edad de la Va Lctea por este mtodo
llegaremos a nmeros enormes. Pero aqu se presenta una dificultad. Algunos fsicos,
basando sus clculos sobre otras consideraciones, estiman que los soles slo pueden
tener una existencia efmera de alrededor de cincuenta millones de aos, mientras que
nuestro mnimo sera mucho mayor que eso. Debemos creer que la evolucin de la Va
Lctea comenz mientras la materia an era oscura? Pero cmo es que todas las
estrellas que la componen llegaron, al mismo tiempo, a un periodo adulto, un periodo
que dura tan poco tiempo? O alcanzaron tal periodo de manera sucesiva, y las estrellas
que vemos son solamente una pequea minora comparada con aquellas extintas o con
aquellas que algn da sern luminosas? Pero cmo podemos reconciliar esto con lo
que se ha dicho antes sobre la ausencia de materia oscura en cualquier proporcin
considerable? Debemos abandonar una de estas dos hiptesis? Y, si es as, cul? Me
contento con hacer notar la dificultad sin pretender resolverla, y as termino con un gran
signo de interrogacin. Todava con todo, es interesante establecer problemas aun
cuando su solucin parezca muy remota.
174
CAPTULO II
LA GEODESIA FRANCESA
Todo mundo comprende el inters que puede haber en conocer la forma y las
dimensiones de nuestro globo, pero algunas personas quiz se sorprenderan por la
precisin que se busca en esta empresa. Es esto un lujo innecesario? Cul es la
utilidad de los esfuerzos que los geodestas dedican a tal labor?
Si se le preguntase esto a un miembro del Parlamento, me imagino que
respondera: Me inclino a pensar que la geodesia es una de las ciencias ms tiles,
porque es una de las que ms dinero nos cuestan. Intentar ofrecer una respuesta un
tanto ms precisa.
Las grandes obras de arte, tanto las de la paz como las de la guerra, no pueden
llevarse a cabo sin grandes estudios detrs, que ahorren muchos tanteos, clculos
errneos, y gastos intiles. Estos estudios no pueden hacerse sin un buen mapa. Pero, en
realidad, un mapa no es ms que una imagen fantasiosa, que carece de todo valor si
intentamos construirla sin basarnos en un marco slido. Tambin podramos intentar
que un cuerpo humano estuviese de pie sin esqueleto alguno.
Ahora bien, este marco se obtiene a partir de mediciones geodsicas. Por lo
tanto, sin geodesia no tendramos un buen mapa, y sin ste no habra grandes obras
pblicas. Estas razones, sin duda, seran suficientes para justificar tanto gasto, pero son
razones calculadas para convencer al hombre prctico, y no es sobre ellas que debemos
insistir aqu; existen razones ms altas y, sobre todo, ms importantes.
As, estableceremos la cuestin de manera distinta: Puede la geodesia hacernos
conocer mejor la naturaleza? Nos hace comprender su unidad y armona? Un hecho
aislado, en realidad, tiene poco valor, y las conquistas de la ciencia valen en la medida
en que dispongan nuevos hechos.
Consecuentemente, si sucede que descubrimos una pequea joroba sobre el
elipsoide terrestre, este descubrimiento, por s mismo, no supondra mucho inters. Se
volver inapreciable, por el contrario, si, al buscar la causa de tal joroba, tenemos la
esperanza de penetrar nuevos secretos.
De tal forma que, en el siglo dieciocho, cuando Maupertuis y La Condamine se
enfrentaron a climas tan diversos, no fue slo por la bsqueda de conocer la forma de
175
nuestro planeta, sino tambin era una cuestin relativa al sistema de todo el mundo. Si
la Tierra estaba achatada, entonces Newton resultara victorioso, y con l la doctrina de
la gravitacin y toda la mecnica celeste moderna. Y hoy en da, siglo y medio despus
de la victoria de los newtonianos, debemos suponer que la geodesia ya no tiene ms
que ensearnos? No sabemos qu hay al interior de nuestro globo, y aunque los ejes de
las minas y las perforaciones nos han proporcionado cierto conocimiento del estrato a
dos o tres kilmetros de profundidad (esto es, la milsima parte de la masa total),
todava cabe preguntarse qu hay por debajo de ello.
De todos los extraordinarios viajes imaginados por Julio Verne, quiz el viaje al
centro de la Tierra fuese el que nos habra llevado a las regiones ms inexploradas.
Pero aquellas rocas profundamente hundidas que no podemos alcanzar ejercen, a
cierta distancia, la atraccin que acta sobre el pndulo y que deforma al esferoide
terrestre. La geodesia podra, por tanto, pesarlas a cierta distancia (por as decirlo) y
ofrecernos informacin sobre su disposicin. Esto nos permitira realmente observar
aquellas misteriosas regiones que Julio Verne nos mostr slo en la imaginacin.
Este no es un sueo vaco. Al comparar todas las mediciones, el seor Faye ha
llegado a un resultado lo suficientemente bien calculado como para causar sorpresa. En
las profundidades de los ocanos, existen rocas de gran densidad, mientras que, por el
contrario, debajo de los continentes parece haber espacios vacos.
Nuevas observaciones nos permitiran, quiz, modificar estas conclusiones en
sus detalles, aunque nuestro venerado maestro nos haya mostrado, en cualquier caso, en
qu direccin debemos investigar, qu es lo que el geodesta puede ensearle al gelogo
interesado en la constitucin interna de la Tierra, y qu material puede proporcionrsele
al pensador que desea reflexionar sobre el pasado y el origen de este planeta.
Ahora bien, por qu he titulado a este captulo La Geodesia Francesa? Es
porque, en distintos pases, esta ciencia ha asumido, quiz ms que ninguna otra, un
carcter nacional; y no es difcil ver las razones de esto.
Sin duda debe haber rivalidades. Las rivalidades cientficas son, por lo general,
corteses, y en cualquier caso son necesarias, ya que siempre resultan fructferas.
Pues bien, en estas empresas que demandan esfuerzos tan grandes y tantos
colaboradores, el individuo es prcticamente borrado, a pesar, por supuesto, de s
mismo, y nadie tiene derecho a decir: este es mi trabajo. As, la rivalidad no es entre los
individuos, sino entre las naciones, y nos vemos llevados a preguntarnos qu parte ha
176
tenido Francia en este trabajo. Debo decir que tenemos derecho a estar orgullosos de lo
que ha hecho.
A principios del siglo dieciocho, tuvieron lugar grandes discusiones entre los
newtonianos, que crean que la Tierra estaba achatada tal como lo demanda la teora de
la gravitacin, y Cassini, quien se vio engaado por mediciones inexactas, y crea que el
globo estaba alargado. Una observacin directa, por s misma, pudo haber resuelto la
cuestin, y fue la Academia de Ciencias de Francia la que emprendi esta tarea, una
tarea gigantesca para ese periodo.
Mientras que Maupertuis y Clairaut se encontraban midiendo un grado de
longitud dentro del Crculo Polar rtico, Bouguer y La Condamine dirigieron su
atencin hacia las montaas de Los Andes, en regiones entonces sujetas a Espaa, y que
hoy forman parte de la Repblica de Ecuador. Nuestros emisarios estaban expuestos a
grandes fatigas, ya que los viajes de entonces no eran tan sencillos como los de hoy.
Es cierto que el pas en donde Maupertuis condujo sus operaciones no era un
desierto, e incluso se dice que goz, entre los lapones, de aquellas comodidades
desconocidas al verdadero navegador rtico. Todo esto tuvo lugar, ms o menos, en las
cercanas de lugares en donde, hoy en da, los cmodos buques de vapor transportan,
cada verano, multitudes de turistas y de jvenes inglesas. Pero en ese entonces no
exista ninguna agencia de viaje digna, y Maupertuis realmente pens haber hecho una
expedicin polar.
Quiz no estaba del todo equivocado. Hoy, los rusos y los suecos estn
realizando mediciones similares en Spitzbergen, en un pas en donde hay paquetes de
hielo. Pero sus recursos son mucho mayores, y la diferencia de fecha compensa
completamente la diferencia de latitud.
El nombre de Maupertuis ha llegado a nosotros considerablemente mutilado por
las garras del Dr. Akakia28, ya que Maupertuis tuvo la desgracia de ofender a Voltaire,
quien entonces era el rey de la mente. En un principio, fue extravagantemente alabado
por Voltaire, pero la adulacin de los reyes debe temerse tanto como su desaprobacin,
porque siempre est seguida por un terrible da de juicio final. El propio Voltaire
aprendi algo de esto.
Voltaire alguna vez llam a Maupertuis mi amable maestro del pensamiento,
Marqus del Crculo rtico, querido aplanador del mundo y de Cassini, e incluso,
28
Doctor Akakia es un ensayo satrico escrito por Voltaire y dirigido, precisamente, contra Maupertuis.
Nota del Traductor.
177
como muestra suprema de adulacin, Sir Isaac Maupertuis, y escribi, No hay nadie
ms que al Rey de Prusia que ponga al mismo nivel que a ti; su nico defecto es que l
no es gemetra. Pero muy pronto la escena cambi, y Voltaire ya no habla de
deificarlo, como los argonautas de la Antigedad, o de hacer bajar al cnsul de los
dioses del Olimpo para que contemple su trabajo, sino de encerrarlo en un manicomio.
Ya no habla ms de su mente sublime, sino de su orgullo desptico, ennegrecido por
muy poca ciencia y mucho absurdo.
No deseo relatar los conflictos de esta historia heroicoburlesca, aunque me
gustara hacer unas pocas reflexiones sobre dos lneas de Voltaire. En su Discours sur la
modration (no hay duda de la moderacin en la alabanza o en la censura), el poeta
escribi:
Estas dos lneas, que toman el lugar de las hiperblicas alabanzas de antao, son
sumamente injustas, y sin duda Voltaire estaba lo suficientemente bien informado como
para no saberlo.
En ese tiempo los hombres valoraban slo los descubrimientos que pudiesen
hacerse sin abandonar el hogar. Hoy es ms bien la teora por la que se tiene baja
estima. Pero todo esto supone un concepto errneo del objetivo de la ciencia.
Est la naturaleza gobernada por el capricho, o es la armona la influencia
reinante? Esa es la cuestin, y es en el momento en que la ciencia revela esta armona
cuando se vuelve bella, y por esa razn digna de ser cultivada. Pero de dnde puede
venir esta revelacin si no es de la concordancia entre una teora y la experiencia?
Nuestro objetivo es, pues, averiguar si existe o no esta concordancia, y a partir de ese
momento estos dos trminos, que deben compararse uno con otro, se vuelven uno tan
indispensable como el otro. Desdear uno en beneficio del otro sera una locura.
Aisladas, la teora es vaca y la experiencia es ciega, y ambas carecen de utilidad e
inters por s solas.
Maupertuis tiene, por tanto, derecho a su parte de fama. Ciertamente no es igual
a la de Newton, quien recibi una chispa divina, o incluso a la de su colaborador
178
Clairaut, pero esto no quita que su trabajo fue necesario, y si Francia, despus de
haberse visto superada por Inglaterra en el siglo diecisiete, tom tanta venganza en el
siguiente siglo, no lo debe nicamente al genio de los Clairauts, los d Alemberts, y los
Laplaces, sino tambin a la gran paciencia de hombres como Maupertuis y La
Condamine.
Llegamos ahora a lo que podra llamarse el segundo periodo heroico de la
geodesia. Francia fue despedazada por las luchas internas, y toda Europa estaba en
armas contra ella. Uno supondra que todas estas tremendas luchas hubiesen absorbido
todas sus energas. Lejos de ello, no obstante, an tuvo energas que prestar a la ciencia.
Los hombres de esa poca no se contrajeron antes de empresa alguna: eran hombres de
fe.
Delambre y Mchain fueron comisionados para medir un arco que va desde
Dunkirk hasta Barcelona. Esta vez no hubo viaje a Laponia o a Per, ya que los
escuadrones enemigos hubieran cerrado los caminos. Pero si las expediciones son
menos distantes, los tiempos son tan turbulentos que los obstculos e incluso los
peligros resultan igual de grandes.
En Francia, Delambre tuvo que pelear contra la mala voluntad de
municipalidades maliciosas. Uno sabe que los campanarios, que pueden observarse
desde muy lejos y con precisin, a menudo sirven de seales para los geodestas. Pero en
el pas en que se encontraba Delambre ya no quedaban campanarios. No recuerdo qu
procnsul fue el que pas por ah y se jact de haber derribado todos los campanarios
que arrogantemente levantaban sus cabezas por encima de las humildes viviendas de la
gente comn.
Es as que se erigieron pirmides de tablones cubiertas con lino blanco para
hacerlas ms conspicuas. Esto se hizo para significar algo muy distinto. Lino blanco!
Quin fue el temerario que se aventur a instalar, en nuestras colinas recin liberadas,
el odioso estandarte de la contrarrevolucin? El lino blanco debe ser ribeteado con
franjas azules y rojas.
Mchain, durante su trabajo en Espaa, se enfrent a dificultades igualmente
serias: los campesinos espaoles eran sumamente hostiles. No haba falta de
campanarios, pero no era un sacrilegio tomar posesin de ellos con instrumentos
misteriosos y quiz diablicos? Los revolucionarios eran aliados de Espaa, pero eran
aliados que olan un poco el juego.
179
180
29
El Dey era un ttulo otorgado a los gobernantes de Argelia en ese entonces. Nota del Traductor.
181
182
183
CONCLUSIONES GENERALES
184
186