El Programa de P

Aixx 645
El Programa Poincar o funciones

del matemtico
Javier de Lorenzo Martnez

Arbor CLXXVIII, 704 (Agosto 2004), 645-667 pp.
Introduccin
Ante todo, agradecer a la Real Acade-

mia de Ciencias Exactas, Fsicas y Natura-
les estar hoy, aqu, ante ustedes. No ya a la
Real Academia sino a las personas que lo
han hecho factible: a Jos Manuel Aroca y,
muy en especial, a Manuel Lpez Pellicer.
Nos encontramos conmemorando un
aniversario. Algo que puede convertirse en
rutina, en autojustificacin para reunio-
nes; lo que, en cierta manera, est ocu-
rriendo en otros campos. Aunque entre en
esa rutina, me permito una sugerencia:
Justamente este verano se cumplir el cen-
tenario del nacimiento del Axioma de elec-
cin. Fue en 1904, en el Tercer Congreso
Internacional de Matemticos, cuando Zer-
melo lo formul de manera explcita por
vez primera. Y todos recordamos las inmediatas discusiones y polmicas
a las que dio paso. Estaba en juego el papel de las definiciones y de las
demostraciones existenciales, no constructivas. Y el problema, si cabe
admitir o no la definicin de un objeto sin poder mostrar, construir o cal-
cular ese objeto.
Es tema al que dedican su anlisis, su crtica y rechazo, y entre otros,
los matemticos de la Escuela de Pars, los componentes de la denomi-
nada escuela semi4ntuicionista francesa -Borei, Lebesgue, Baire-. Por-
(c) Consejo Superior de Investigaciones Cientficas http://arbor.revistas.csic.es

Licencia Creative Commons 3.0 Espaa (by-nc)
646
que ligado al papel de las definiciones no constructivas se encuentra

como problema la existencia o no del infinito actual, de si cabe ir ms all
del infinito numerable. Como sugerencia, se podra dedicar una Sesin a
conmemorar el nacimiento del Axioma de eleccin as como sus repercu-
siones, su papel en el Hacer matemtico...
El programa: funciones del matemtico
Poincar nace en Nancy el 29 de Abril de 1854. Muere en Pars el 17

de Julio de 1912. Considerado en su poca como el matemtico ms bri-
llante del momento, puede afirmarse hoy que ha sido uno de los mayores
matemticos y fsicos creadores de todas las pocas. Como de alguno de
sus temas matemticos especficos van a tratar quienes me acompaan
en este Sesin, voy a limitarme a esbozar un rpido panorama de lo que
Poincar consideraba la misin que todo matemtico debe ejercer: las
fimciones o papeles que le corresponden como matemtico y que l trat
de cumplir con toda honestidad a lo largo de su vida, que trat de vivir
matemticamente.
Funciones o papeles del matemtico que constituyen, realmente, un
Programa de cmo enfocar la Matemtica, de cmo hacer matemtica no
ya en el momento en el que las enuncia, sino para el porvenir. Poincar
no expone problemas para resolver en el ituro sino que, simplemente,
ejemplifica con temas amplios esas fimciones que exige cumplan los ma-
temticos.
Es un Programa, que denomino Programa Poincar, que explicita en
el Primer Congreso Internacional de Matemticos (CIM), celebrado en
Zurich en Agosto de 1897. Y donde enuncia, a la vez, una conviccin, muy
profunda, con todas sus consecuencias, que son muchas: la Matemtica
es un hacer de alguien que la trabaja y produce, del matemtico. Es este
quien la construye en un proceso siempre inacabado. No hay, para Poin-
car, un mundo eidtico de objetos, de propiedades de unos objetos que el
matemtico tenga que descubrir; mundo eidtico hecho no se sabe muy
bien por quin ni para qu y al que tampoco se sabe muy bien cmo ac-
ceder. Para Poincar, el producto matemtico depende del matemtico
individual, pero este trabaja en sociedad, con unos temas y problemas ya
dados, en relacin, y a veces disputa, con otros matemticos. Las dife-
rentes disciplinas son construcciones que sacamos enteramente de nues-
tro espritu. (VC 137)
Centrados en el Programa Poincar, las funciones o papeles que
asigna a la Matemtica, al matemtico, son:

El Programa Poincar o funciones del matemtico
647
Esttica
Es el trabajo en s del matemtico. Plantear y resolver problemas, in-

tuir analogas, demostrar proposiciones, crear nuevos campos de traba-
jo... Aportes de este fin esttico o intrnseco al Hacer matemtico, y como
meros ejemplos, se le puede considerar el padre de la Topologa -espe-
cialmente de la Homotopa y la Topologa algebraica, donde formula la
Conjetura de Poincar precisamente hace ahora un siglo y donde ya ha
establecido el contraejemplo que supone el dodecaedro de Poincar-, de
las funciones fuchsianas o automorfas, de las ecuaciones diferenciales
cualitativas, de la geometrizacion de todas las ramas de la matemtica y
la fsica, de la importancia del Clculo de Probabilidades para el razona-
miento matemtico, hasta de su anticipacin a Teoras como la del caos
determinista y la de fractales...
Con u n a advertencia: para Poincar la Matemtica no tiene como mi-
sin mirarse el ombligo (CM p. 141), no puede encerrarse en u n a torre de
marfil. Ello supondra que a corto o largo plazo el matemtico quedara
estril, esterilidad velada por el aparente desarrollo de miles de teore-
mas, de simples combinaciones formales de palabras, de frmulas caren-
tes de importancia, sin contenido matemtico alguno. Aunque esas com-
binaciones fueran correctas lgicamente y se mostrara que los teoremas
se obtienen vlidamente de los axiomas, ello no significara nada porque
Reduciendo el pensamiento matemtico a una forma hueca, se le mutila. (CM

p. 115)
Por ello el matemtico, la Matemtica tiene otro papel, otra funcin,

que es la
Fsica
Se t r a t a de suministrar un instrumento para el estudio de la physis y

se centra en el enlace de la Matemtica con otros haceros, con otras dis-
ciplinas. Especialmente, estamos a primeros del s. XX, con la Astro-
noma, la Fsica.
En este campo hay que tener presente una divisin de papeles. Lo que
aporta la Matemtica a las dems ciencias, lo que la Matemtica recibe
de ellas.
La Matemtica aporta a la Ciencia el nico lenguaje que esta ma-
neja. Si la ciencia es u n lenguaje bien hecho, lo es porque dicho len-
guaje es el matemtico. Pero a d e m s la Matemtica ayuda al clculo.

648
a la resolucin de ecuaciones o de sistemas de ecuaciones sean dife-

renciales o algebraicas... Y si h a s t a aqu lo aportado es algo admitido
generalmente, p a r a Poincar hay algo ms: la Matemtica aporta u n a
ayuda p a r a la invencin del cientfico al desarrollar e s t r u c t u r a s que
pueden posteriormente interpretarse en distintos terrenos. En otras
palabras, el matemtico aporta la capacidad de ver analogas. Y la
analoga se le m u e s t r a como el instrumento clave p a r a la invencin
t a n t o matemtica como cientfica. Coii lo cual el Hacer matemtico
permite al Fsico
hacerle conocer la armona oculta de las cosas hacindoselas ver desde un

nuevo ngulo. (VC 147)
Aqu Poincar va a enunciar otra de sus creencias bsicas respecto al

papel de la Lgica y la invencin o creacin matemtica y cientfica. Se
pregunta: cmo t r a t a r las ecuaciones de la fsica matemtica? Para al-
gunos se t r a t a de obtener simplemente las consecuencias y considerar es-
tas como realidades intangibles. Sin embargo para Poincar el trabajo
del cientfico no ha de limitarse a deducir sino que ha de buscar las ana-
logas profundas, la armona que se oculta en los fenmenos de la natu-
raleza. Y para ello las ecuaciones de la fsica deben ensearnos
Lo que se puede y debe cambiar (VC 146)
El matemtico, a su vez, recibe aportes de los terrenos cientficos.

Desde ellos se le plantean problemas que debe resolver y que le llevan a
crear nuevos campos de investigacin, a modificar incluso los conceptos
que maneja. As la serie de Fourier ha surgido de un problema fsico pero
se ha convertido en un instrumento precioso del Anlisis y ha forzado a
estudiar las funciones discontinuas, por ejemplo, ha forzado a cambiar la
propia nocin de funcin, lo que quiz no hubiera ocurrido desde el inte-
rior de la Matemtica.
Pero hay algo ms para Poincar y es tema en el que quiero insistir
porque ha sido uno de los campos que ms ha dividido a la comunidad
cientfica y h a vuelto a plantearse en el ltimo tercio del siglo XX con ra-
dicalidad absoluta: la separacin y el abismo producidos entre el ma-
temtico puro y el fsico puro, abismo que ha atravesado la Matem-
tica y la Fsica a lo largo del s. XX. Para Poincar, el matemtico tambin
recibe soluciones y demostraciones a los problemas por parte del fsico.
En sus palabras:

649
La fsica (...) nos ayuda a encontrar los medios, y eso de dos maneras: Nos
hace presentir la solucin; nos sugiere los razonamientos. (VC. 152)
Con un matiz, las demostraciones que sugiere el fsico quiz carecen

del rigor que puede exigir el matemtico, pero no por ello son menos de-
mostraciones. Poincar afirmar: no seamos t a n puristas porque ese ri-
gor informal que aporta el fsico en las soluciones y demostraciones ma-
temticas es u n tipo de rigor que, en el fondo, permite al matemtico
encontrar la va para alcanzar la solucin o elaborar la demostracin ma-
temticas que, de otra manera, le sera ms difcil o, incluso, imposible
de hallar. Entrevisto el camino, asegurada la existencia de una solucin,
de una demostracin, ya se tiene parte de la solucin, ahora pretendida-
mente rigurosa o matemtica, del problema, de la demostracin.
No slo sugiere las lneas demostrativas, sino que tambin la Fsica de-
vuelve al matemtico el mismo instrumento que este le aportaba: la ana-
loga. Una analoga que ahora se apoya en la imagen no ya geomtrica,
sino fsica. Y las imgenes fsicas posibilitan ver de un golpe lo que la de-
duccin pura slo mostrara sucesivamente. Gracias a estas imgenes el
matemtico acopla los elementos dispersos de la solucin que le llevan a
una clase de intuicin por la cual adivina antes de poder demostrar.
As, en el caso de las membranas vibrantes, la naturaleza fsica del
problema muestra de antemano la existencia de u n a sucesin de valores
propios y slo despus de captar esta demostracin fsica, Poincar fue
capaz de demostrar la existencia matemtica de los valores propios co-
rrespondientes.
Poincar confiesa, realmente, su mtodo de trabajo: es la analoga - a
veces estructural, a veces geomtrica, a veces estrictamente fsica la
que le permite presentir, intuir la solucin que no est en condiciones de
establecer por u n razonamiento deductivo. Una forma de trabajar la ma-
temtica en la cual se manifiesta
Nuestra necesidad de pensar en imgenes (CMp. 102)
Forma de trabajar por la cual el mismo Her mite le calificar de
vidente a quien las verdades se le aparecen con una luz intensa, pero funda-
mentalmente a l solo. (Carta a Mittag-Leffler de 22 de Noviembre de 1888.
Tomado de Gray, p. 82)
La conviccin de Poincar respecto a la unidad intrnseca de la Ma-

temtica y la Fsica constituye una posicin que va en lnea con algunas

650
tendencias que h a n ido surgiendo en el ltimo tercio del s. XX. Me basta

recordar aqu las discusiones en torno a los trabajos de Donaldson y sus
demostraciones fsicas y no estrictamente matemticas, por ejemplo,
donde las ideas fsicas son las que sugieren y hacen presentir no slo los
problemas sino sus tipos de solucin y razonamiento; o las exigencias de
Jaffe, de Arnold, de Atiyah pidiendo un mayor enlace entre Fsica y Ma-
temtica intentando superar la barrera creada entre estos dos campos,
una barrera que a Poincar se le antojara como autntica prdida para
todos, matemticos y fsicos, porque los nes Esttico y Fsico se le mues-
t r a n inseparables. En concreto, unidad en el Anlisis puro y, en l, en las
ecuaciones diferenciales, pero tambin la nocin de grupo que materiali-
za la simetra inherente a la physis, a nuestro conocimiento de la misma.
Barrera que, en estos momentos, tambin habra que eliminar entre
otros campos y no slo con la Fsica como algunos actos del recordado Ao
Mundial de las Matemticas h a n puesto de relieve.
En esta funcin, la de enlazar Matemtica y Fsica, Poincar trabaj
en Mecnica Celeste con aportaciones ligadas a los sistemas dinmicos
con sensibilidad a las condiciones iniciales; cre su Teora de la relativi-
dad restringida, se lanz a esbozar las ecuaciones que podran regir el ex-
trao mundo de los quantos, de una Mecnica cuntica que estaba en sus
albores y nadie saba muy bien por dnde podra continuar...
Filosfica
Por lindar no slo con la Fsica sino con la Filosofa, hay u n tercer pa-
pel que ha de cumplir el matemtico en su trabajo: el Filosfico. La Ma-
temtica, el matemtico h a de ayudar a profundizar, a clarificar en lo po-
sible conceptos como los de Espacio, Tiempo, Nmero. Pero tambin tiene
que analizar crticamente su propia praxis, aquello que hace y cmo lo
hace. No basta crear Matemtica; no basta crear Ciencia. P a r a Poincar
el matemtico tiene la obligacin de pensar crticamente en lo que hace.
Es aqu donde, realmente, tendra que centrar el tema: qu piensa
Poincar de lo que hace y de cmo lo hace? Responder a esta pregunta
constituira lo que calificar de exposicin de la Filosofa de la Matemti-
ca de Poincar, de su pensamiento matemtico. Pero tambin de su Filo-
sofa de la Ciencia porque ambas, para l y como he indicado, estn nti-
mamente entrelazadas. Me limito a exponer, dado el tiempo asignado,
alguno de los temas centrales de dicho Pensamiento, marginando aqu su
Convencionalismo geomtrico, su Convencionalismo cientfico que ms

651
bien debera ser calificado como Realismo estructural cientfico. (Para u n

estudio ms comprensivo remito tanto a mi libro 1974 como al ensayo
'Poincar, pensador de la matemtica' a publicar por la Universidad Po-
litcnica de Barcelona).
Algunos temas del pensamiento filosfico matemtico de Poincar
El nmero natural y la induccin completa
Si el matemtico construye objetos, estructuras y busca y demuestra

propiedades de las mismas no construye a partir de la nada. Como dato
primario, fundamental, se le muestra el nmero natural. Afirmar reite-
radamente
El nico objeto natural del pensamiento matemtico es el nmero natural

(VC,149).
Los dems, como los nmeros reales, los ha inventado a partir de los
naturales. Pero si los ha inventado ha sido porque se ha visto forzado a
inventarlos por influjo del mundo exterior. El nmero natural se apoya
en la potencia del espritu que se sabe capaz de reiterar una accin des-
de que esa accin es posible. Y se sabe capaz de esa posibilidad no por un
razonamiento deductivo, lgico, sino por una captacin intuitiva. Reite-
rar una accin como la de sucesor, el uno ms, conduce a elaborar la
sucesin de los nmeros naturales. P a r a razonar sobre esta sucesin que
posibilita captar el infinito potencial, nunca clausurado, el matemtico
maneja el razonamiento por induccin completa. Razonamiento que re-
fleja esa misma potencia y constituye, para Poincar
El razonamiento matemtico por excelencia (CH,65)
Aparecen, as, el nmero natural, la nocin sucesor y la induccin

completa como manifestaciones de la potencia del espritu humano, como
los datos bsicos en los que fundamentar o apoyar el Hacer matemtico
(Cfr. especialmente CH cap. I). La induccin completa constituye, para
Poincar, y adoptando la terminologa kantiana, un juicio sinttico a
priori, realmente una precondicin para la construccin matemtica.
Una terminologa algo confundente porque el a priori en Poincar no es
trascendente sino un elemento constitutivo que el espritu humano ha
ido incorporando durante la evolucin como especie. Incorporacin efec-
tuada en su lucha por la supervivencia aqu en la Tierra. En otros luga-

652
res, en otros mundos como en uno gelatinoso, la especie que tratara de

sobrevivir en ellos habra tenido que constituir otras precondiciones,
otros a priori. En la Tierra hay cuerpos slidos, entre ellos el propio
cuerpo humano, que reitera sus pasos al andar, y da un paso y despus
otro y as sucesivamente...
Por otro lado, la induccin completa permite sintetizar en nico blo-
que una infinidad de silogismos. De ah su generatividad apoyada en la
posibilidad reiterativa. Y de ah que sea irreducible a la Lgica porque
esta se apoya en el principio de identidad y, consecuentemente, carece de
la generatividad del principio matemtico.
No es el nico a priori como en general se le ha achacado. De modo
explcito, en CM p. 116, afirma la existencia de otros juicios sintticos a
priori equivalentes al de induccin completa y que se apoyan o basan en
la misma capacidad reiterativa por lo cual poseen idntica capacidad ge-
nerativa; tambin la nocin de grupo es un a priori como reconoce de
modo explcito, tema al que volver ms adelante.
Derivacin lgica - Demostracin matemtica
Enlazado con lo anterior, Poincar trata de precisar y diferenciar la

autntica demostracin matemtica de la demostracin lgica, de lo que
estima simple verificacin. Si es por intuicin como se inventa, es por l-
gica como se demuestra, ser una de sus expresiones reiteradas. Pero
hay que precisar, por supuesto. Lo que importa es el contenido matem-
tico y ste slo es captable por la intuicin que es la verdadera fuente de
la invencin. Ahora bien, la intuicin, a veces, engaa. De aqu la nece-
sidad de una comprobacin, de lo acertado de la misma. Este es el papel
que aporta la demostracin: comprobar que lo intuido es correcto.
Hay aqu dos planos, implcitos: por un lado, enfocar la demostracin
como proceso verificacional o constructivo; por otro, considerarla como
objeto ya dado y entonces hay que caracterizarlo. Existencia de dos pla-
nos, matemtico y meta-matemtico en la cual insistir, y ya de modo
explcito, cuando realice su crtica a la ponencia de Hilbert ante el tercer
CIM donde el matemtico de Gottingen esboza un primer intento de fun-
damentacin de la matemtica; diferencia de planos que slo en los aos
veinte Hilbert har suya.
Desde el plano lgico una demostracin es una sucesin de frmulas
tales que las primeras son axiomas y las restantes se obtienen de las an-
teriores mediante unas reglas de deduccin previamente explicitadas; la
ltima frmula de la sucesin es el teorema que se pretenda demostrar.

653
En esta derivacin lo nico que se exige es aplicar correctamente las re-

glas y se pide abandonar cualquier idea o contenido semntico. Con lo
cual
Para demostrar un teorema no es necesario ni til saber lo que se quiere de-

cir. (CM p. 114).
P a r a Poincar es u n a caracterizacin formal que no da cuenta, para

nada, de lo que para el matemtico es una demostracin. Esta parte pre-
cisamente del final, del teorema a demostrar, no de los axiomas, y el ma-
temtico va guiado por u n a idea aportada precisamente por la proposi-
cin planteada. Es la intuicin la que gua el proceso demostrativo.
Ahora bien, una vez realizada resulta que la intuicin tambin se pre-
senta esencial para la derivacin formal, a pesar de lo que indiquen los
formalistas porque la clave se centra en aplicar las reglas correctamen-
te. Y esa aplicacin slo es factible por la intuicin de qu regla aplicar y
cmo aplicarla en cada caso. No hay mecanicismo formalista o sintctico
alguno en el proceso demostrativo. Es la intuicin la que permite ver por
qu se eligen unas reglas en lugar de otras; la que permite captar las l-
neas centrales, el alma de la misma; la que permite ver por qu se eli-
gen unos principios en lugar de otros...
Todo ello implica, u n a vez ms, la ntida separacin que existe entre
Lgica y Matemtica. Incluso cabe estimar que es la misma lgica la que
cae bajo el hacer matemtico porque la propia nocin de derivacin exige
la reiteracin: es una sucesin en la cual a una frmula le sigue otra que
es su sucesora...
En este sentido la axiomatizacin al estilo de la escuela italiana y que
asume Hilbert como campo propio, hasta el punto de convertirse en el
campen de el mtodo axiomtico para definir implcitamente los obje-
tos matemticos, se le muestra a Poincar como proceso que slo en-
cuentra su justificacin si se demuestra que dicha definicin axiomtica
es consistente, no contradictoria. De aqu que la primera exigencia de la
pretendida axiomatizacin sea dicha demostracin, que ha de ser directa
y no por el dato de u n modelo o realizacin de dicha definicin axiomti-
ca como ocurre con las geometras no-eucldeas. Algo que en el caso de la
Aritmtica y de la Teora de conjuntos de Zermelo no se ha conseguido y
Poincar encuentra difcil que se pueda realizar dicha demostracin sin
utilizar la induccin completa que es, precisamente, uno de los principios
que se admiten como axiomas en la definicin implcita, en la axiomati-
zacin al estilo Peano y que asume Hilbert.

654
El continuo y su discretizacin
El continuo es, como magnitud extensa, un elemento intuido, que se

muestra incluso como un a priori respecto al punto y, por ello, no puede
ser reducido a lo discreto. Un dato primario, al igual que el nmero nal>
ural, y donde lo geomtrico queda subsumido por lo topologico. Sin em-
bargo parece que los matemticos han discretizado ese continuo y lo han
convertido en un conjunto de puntos separados entre s, el conjunto ac-
tualmente dado de nmeros reales.
En un intento de justificar la construccin de los nmeros reales, de
esa discretizacin del continuo, Poincar elabora unos estudios propios
de lo que posteriormente se ha denominado Epistemologa gentica. Tra-
ta de aclarar cmo la especie humana, el matemtico en ella, ha tenido
que construir ese nmero real forzado por el mundo exterior en el senti-
do de que tiene que medir y pesar, no slo contar. Medir la diagonal de
un cuadrado, por ejemplo, fuerza a elaborar la nocin de nmero incon-
mensurable, de nmero irracional. Y no slo en el caso de la medida, por-
que tambin al pesar aparecen contradicciones que hay que superar. De
manera modlica Poincar muestra cmo poder superar la contradiccin
que se presenta al pesar tres cuerpos y encontrar que los pesos cumplen
A=B, B=C, pero A:?: C. Y ello obliga a insertar pesos intermedios que sean
ms aproximados y reiterar nuevamente la reiteracin como apoyatura
bsica- la operacin. Creados los nmeros reales, como smbolos que den
cuenta de ese intercalamiento y aproximacin adecuados, hay que esta-
blecer las operaciones que deben cumplir manteniendo siempre las ya ob-
tenidas en campos numricos previos...
El problema ontolgico y el infinito actual
La existencia de los nmeros reales le conduce a Poincar a indicar

que son smbolos, elementos realmente ideales, con los que representar
puntos y lmites entre magnitudes as como representar el valor numri-
co asociado a esas magnitudes extensas, al continuo. Admitirlos como ob-
jetos reales conducira a aceptar la existencia del infinito actual. En este
punto no hay que olvidar una de las convicciones centrales de Poincar a
la que hice referencia: la Matemtica es un producto de la especie hu-
mana en su interrelacin con la naturaleza. Y el hombre es un ser finito.
De modo consecuente el nico infinito real que puede construir, que pue-
de manejar es el infinito potencial y, en cuanto a la cardinalidad, el car-
dinal numerable.

655
Al difundirse las paradojas cantorianas por influjo de Russell, Poin-

car manifestar que se deben a que los cantnanos han olvidado que el
nico infinito que cabe aceptar es el potencial y han admitido, sin ms
precaucin, el infinito actual como un existente real, no simblico. A pe-
sar de ello, estudiar el origen o causa de las paradojas. Causa que en-
cuentra en la impredicatividad o Principio de Crculo Vicioso ligado, pre-
cisamente, a la admisin de ese infinito actual.
Ello no es obstculo para que se hable del infinito pero siempre que
se sepa que puede traducirse a trminos finitos. Ello implica que los con-
juntos han de ser dados por una ley predicativa, ley que permita obtener
cada uno de los trminos del conjunto sin hacer referencia al total de los
mismos, obtencin que ha de ser factible, calculable en un nmero finito
de pasos. De aqu que no tiene sentido hacer referencia al total de los ele-
mentos de un conjunto que jams podrn ser nombrados, jams podrn
ser calculados, como hacen cantnanos y pasgrafos -logicistas a lo Rus-
sell que admiten la existencia de conjuntos no numerables. De modo
consecuente las definiciones puramente existenciales se le muestran, por
ello, rechazables salvo que, posteriormente, pueda calcularse, de modo
efectivo, el objeto definido.
En este punto la caracterizacin conjuntista del nmero natural apo-
yada en la nocin de conjunto, biyeccin entre conjuntos y clase de equi-
valencia de conjuntos por la cual los nmeros naturales no son otra cosa
que conjuntos finitos -ms bien clases de equivalencia de conjuntos bi
yectivos con un conjunto finito-, se le muestra totalmente circular -re-
quiere de la previa nocin de unidad y reiteracin de la misma- adems
de artificial y con una apoyatura ontolgica que considera errnea. No se
capta intuitivamente la nocin de conjunto -y mucho menos la de conjun-
to infinito- sino que sta se construye mediante la ley correspondiente.
Los conceptos de Espacio y Tiempo. La Geometra, reflejo de la

estructura de grupo
Respecto al Espacio y el Tiempo, para Poincar no existen ni el Espa-

cio absoluto ni el Tiempo absoluto. En cuanto al tiempo no hay simulta-
neidad de acontecimientos. Son dos conceptos que se ligan, estrecha-
mente, a lo que considerar Fsica y, como tales, entran en juego en
Teoras como la de la Mecnica clsica o newtoniana, la de la relatividad
especial. Teora en la cual y aos antes de que Einstein eligiera el ejem-
plo de los relojes para dar cuenta de la no simultaneidad lo haba hecho
Poincar con radical simplicidad expositiva.

656
Pero son conceptos que no slo se ligan a la Fsica, sino en el caso del
Espacio a la Geometra. De modo clsico la Geometra se haba conside-
rado como la ciencia que estudia las propiedades del espacio. Sin embar-
go, escribe en 1895
La geometra no tiene por nica razn de ser la descripcin inmediata de los

cuerpos que caen bajo nuestros sentidos, es ante todo el estudio analtico de
un grupo.
En este punto Poincar vuelve a realizar u n estudio de carcter epis-

temolgico gentico para poder precisar el origen de las nociones y de los
axiomas o principios geomtricos que estima como definiciones disfi:a-
zadas o convenciones de esas nociones geomtricas- y de aquellas geo-
metras que ha manejado el matemtico. En su lucha por la superviven-
cia aqu en la Tierra la especie h u m a n a h a elaborado la Geometra que
ms le ha convenido para dicha supervivencia: la Geometra mtrica
euclidea. Y lo ha hecho forzando la existencia constitutiva de otro juicio
sinttico a priori: la nocin de grupo. En la naturaleza terrestre existen
cuerpos que, en principio son rgidos, como un palo, la mesa en la que me
apoyo, mi propio cuerpo. Esos cuerpos sufiren transformaciones tanto de
estado como de posicin. En este ltimo caso hay unas transformaciones
bsicas que mantienen invariante el estado del cuerpo: los desplazamien-
tos. Los desplazamientos, su composicin, forman la estructura de grupo.
Nocin de grupo que termina incardinndose como un juicio a priori en el
individuo, lo mismo que ocurri con la induccin completa y el proceso de
reiteracin de una accin desde que esa accin se haca posible.
Las geometras aparecen como el estudio de unos grupos determina-
dos cuando se les agrega una u otra mtrica, u n a u otra nocin de dis-
tancia, nocin que es siempre convencional. La especie h u m a n a ha cons-
truido en primer lugar la Geometra mtrica euclidea porque es la que le
ha resultado ms til en el entorno local en que los individuos se mueven
sobre la superficie terrestre. Una Geometra que ha dado paso a la crea-
cin conceptual de un Espacio homogneo, istropo, ilimitado e infinito.
Un espacio que, por supuesto, es lo ms antiperceptivo que se pueda ima-
ginar. Poincar ha tratado de precisar las diferencias entre lo que llamar
espacio representativo y espacio conceptual, nico en el cual podemos re-
presentar, por ejemplo, la lnea recta.
Por su lado, la Geometra Proyectiva - l a geometra del ojo frente a la
geometra del msculo como la euclidea, ha tenido que aguardar al si-
glo XIX para aparecer. Lo mismo las geometras mtricas no-eucldeas
con sus espacios conceptuales asociados correspondientes. Si cualquiera

657
de estas geometras hubiera sido ms conveniente para la supervivencia

de la especie humana esta las habra llegado a construir antes que la m-
trica euclidea.
Gracias a la mtrica euclidea se ha podido construir una teora como
la Mecnica clsica. Si en el futuro el estudio de la naturaleza obligara a
elegir otro tipo de geometra para captar esa physis, no habra problema
para ello pero, de momento, la mtrica euclidea nada tiene que temer y
no lo tendr en el mbito local. Y no lo tiene tanto por su utilidad como
por su simplicidad: el espacio al que da paso es de curvatura constante e
igual a cero lo que facilita la expresin de sus frmulas.
Tipologas de matemticos
Hay muchos tipos de individuos y, consecuentemente, de matemti-

cos. Poincar establece dos tipologas segn el modo de trabajar y segn
la ontologia que los matemticos profesan. En cuanto al modo de traba-
jar apunta la existencia de dos grandes bloques: los intuitivos o geme-
tras -entre los cuales incluye a Riemann y habra que hacerlo con l mis-
mo y los lgicos o analistas cuyo modelo bsico es Weiertrass.
Pero segn la ontologia que los matemticos profesan, se escinden en
otros dos bloques: realistas que creen en la existencia de un mundo eid-
tico de entidades matemticas que hay que descubrir y el modelo que
presenta es su maestro Hermite- y pragmticos que, como l, consideran
que los objetos matemticos son construcciones del matemtico, cons-
trucciones de la razn humana que es un simple relmpago en medio de
una noche oscura, pero sabiendo que ese relmpago lo es todo y que, por
ello mismo, el mundo matemtico no es un mundo cerrado, ya dado de
una vez para siempre, sino que es un hacer en permanente devenir.
Y, ya puestos, Poincar trata de analizar la invencin matemtica; al
menos conoce un caso, el suyo. Y lo expone con vivida descripcin.
Conviene, aqu, una precisin: para Poincar el matemtico nace, no
se hace. Lo cual no implica que la educacin, la enseanza no se le mues-
tren absolutamente imprescindibles. Porque se nace en un contexto so-
cial y en una poca determinada. Segn ese contexto social, segn la po-
ca, ese matemtico en ciernes podr llegar a ser matemtico o no, se
centrar en unos determinados temas y problemas y no en otros.

658
Hay una fundamentacin definitiva del Hacer matemtico?
Hay filsofos y matemticos que pretenden encontrar un fundamento

seguro y cierto, ya definitivo, para la Matemtica. Logicistas como Rus-
sell y Couturat, siguiendo a Frege, encuentran ese fundamento en la L-
gica, aunque una Lgica transformada en logstica basada en una ideo-
grafa al estilo pasigrfico de Peano. Los cantnanos, por su lado, creen
fundamentar la matemtica en la teora de conjuntos que supone partir
del infinito actual para, desde l, y mediante toda una compleja maqui-
naria de cardinalidades transfinitas, alcanzar lo finito. Los formalistas y
hilbertianos se apoyan en el signo como la clave de todo el hacer ma-
temtico, signo acompaado de la derivacin formal sintctica a partir de
unas posiciones previamente dadas, los axiomas, para ir obteniendo los
teoremas matemticos al estilo de la legendaria mquina de Chicago, en
la cual se introduce el cerdo vivo por un lado y por el otro sale transfor-
mado en jamones y salchichas.
Para Poincar, todos los que pretenden obtener ese fundamento ya
definitivo del hacer matemtico son profetas de desdichas. Y los profetas
de desdichas, por fortuna, han fracasado siempre. No se pueden buscar
unos fundamentos ya para siempre porque eso supondra que la Ma-
temtica se encontrara clausurada y podran deducirse todos sus teore-
mas de slo unos cuantos principios o axiomas como pretenden esos pro-
fetas, los fundamentalistas. Si se puede hablar de un fundamento este
sera la razn humana y su interrelacin con la physis. Es la razn la que
construye la matemtica y busca sus aplicaciones y, para esa razn, no
hay un camino plenamente determinado y ya dado para siempre. Nuevos
problemas provocarn nuevos desarrollos, incluso la posible aparicin de
nuevos juicios sintticos a priori y no slo de nuevas teoras... Es la razn
la que, afortunadamente y hasta ahora, no se encuentra clausurada y,
por ello, tampoco el Hacer matemtico.
Al servicio de la sociedad
Si los tres papeles o funciones antes esbozados son los que Poincar
asigna de modo explcito al matemtico, ya he indicado que este nace en
sociedad. Y la Matemtica ha surgido de una necesidad de la especie hu-
mana: la de sobrevivir sobre la Tierra. La Matemtica, por ello, tambin
est obligada a cumplir otro papel: La Matemtica ha de estar al servicio
de la Sociedad. Al servicio, pero con sus matices correspondientes. La
Matemtica, como la ciencia en general, debe ser cultivada no slo por

659
sus aplicaciones. Frente al convencionalismo nominalista representado

en su poca por Le Roy, Poincar alzar la necesidad de cultivar la teora
por encima de otras consideraciones: enfocar la ciencia en vista de slo
las aplicaciones se le muestra imposible porque si se suprime la teora
cualquier tipo de progreso se detendra. Adems, la ciencia es uno de los
logros ms altos del espritu humano, en sus palabras, con u n lejano tin-
te del Macbeth shakespeareano:
Slo por la Ciencia y por el Arte valen las civilizaciones. Se ha sorprendido

de esta frmula: la Ciencia por la Ciencia; y sin embargo, ello vale tanto como
la vida por la vida, aunque la vida no sea ms que miseria. (...).
Debemos sufrir, debemos trabajar, debemos pagar nuestro lugar en el es-
pectculo, pero es para ver; o al menos para que otros vean un da. (VC p.
275).
Desde esta posicin, estar al servicio de la sociedad implica trabajar

para que otros vean, no slo quien trabaja. Y es u n papel que tambin
ejerce Poincar en varios frentes, en al menos los cuatro siguientes:
Profesional
Es el terreno en el que todos nos movemos. Cada uno ha de pertene-

cer a u n mbito profesional determinado y, desde l, ejercer esa funcin
de matemtico con sus diferentes papeles. Pero tambin, en esta profe-
sin, adems de ejercer la docencia, ha de emitir informes, dirigir tesis,
pertenecer a mltiples comisiones... Poincar fue el nico miembro elec-
to de todas las secciones de la Academia de Ciencias francesa del mo-
mento -geometra, mecnica, fsica, geografa, navegacin- y en 1906
fue elegido Presidente de la misma; en 1908 elegido de la Academia de
la Lengua de la cual, en 1912, se convirti en su Presidente. Como
acadmico, emiti informes de todo tipo, hasta le correspondi el estudio
de la nueva medicin de la longitud del Ecuador llevada a cabo desde
Quito, potenciar el hallazgo de los rayos X por parte de Becquerel, ayu-
dar a Marie Curie en sus investigaciones, recomendar a Einstein para
profesor en Zurich... Tambin como profesional cabe recibir algn pre-
mio, alguna distincin: Poincar recibi multitud de honores, premios y
distinciones.

660
Experto
La sociedad, en un momento determinado, puede encontrarse dividi-

da en algunas cuestiones y, para tratar de dirimirlas, acude al experto, a
quien considera capaz de orientar la posible solucin. El affaire Dreyfus
provoc una autntica escisin en la sociedad francesa a finales del s.
XIX. Se diriman, en el fondo, cuestiones de prestigio consecuencia de la
guerra franco prusiana con la derrota de Sedn, la prdida de la Lorena;
la cuestin juda; los problemas religiosos y si el Estado debera ser laico
o mantener una determinada confesionalidad... No slo Zola sale a pol-
mica pblica sino algunos matemticos, especialmente normalianos, pu-
blican el manifiesto de los matemticos encabezado por Hadamard, por
Painlev. En 1904 y estamos en el centenario, uno ms la Corte Su-
prema de Francia designa, para intentar solventar este affaire, una Co-
misin de Expertos: Appell, Darboux, Poincar. Se trata de decidir si el
escrito acusatorio es, como quieren los especialistas grafologos, de la
mano de Dreyfus. Es una de las nicas pruebas en las que se apoyaba la
acusacin y por la cual se haba condenado al militar judo-francs Drey-
fus por espa al servicio alemn. Appel, Darboux, Poincar tienen que de-
cidir, como expertos -no s si en grafologia- el tema. Como contar Ap-
pel posteriormente es Poincar quien hace el estudio y redacta el informe
que hace suyo la Comisin de expertos.
Poincar recaba la ayuda del Observatorio de Pars y maneja la lti-
ma invencin tecnolgica, el micrmetro, con el cual se dedica a medir el
intervalo entre cada letra, su altura, la inclinacin que tienen entre s y
con la hoja total... Mediciones que se encuentran entre los papeles de
Poincar en los Archivos de la Universidad de Nancy. Mediciones con
precisin de milsimas de milmetro. Y tras esas mediciones, un informe
dursimo y que constituir la apoyatura para que la Corte Suprema de-
cida la definitiva resolucin del caso con la libre absolucin y restitucin
para Dreyfus.
Los expertos han cumplido su papel. No slo eso: Poincar, en el in-
forme, va a sealar, de modo radical, que el tema no es cientfico sino
ideolgico y poltico y, por ello, no se debe mezclar con lo cientfico. Los
peritos grafologos haban intentado, en su estudio, ayudarse del Clculo
de Probabilidades y Poincar va a rechazar, radicalmente, ese uso. Se le
muestra como un uso ilcito de la ciencia. Para dirimir cuestiones ideol-
gicas, polticas, religiosas no se debe acudir a la ciencia sino a la ideo-
loga, la poltica, la religin.

661
Crtico social
El papel de experto al que se ve llevado en el caso anterior conduce a

radicalizar el pensamiento de Poincar en el sentido de que tambin el
cientfico debe entrar a delimitar su papel en la sociedad, debe estable-
cer cul es su funcin en ella. Y aqu Poincar entra en el terreno de la
Moral -donde los principios son normativos, y donde lo que impera es el
d e b e - distinguindolo del terreno de la Ciencia -donde los principios son
declarativos, y en los que impera el e s - . Una diferencia que le conduce a
mantener la distincin entre la Moral y la Ciencia. De otra manera se co-
metera la clsica falacia de identificar es con debe.
Es u n tema de preocupacin constante en Poincar. Como cientfico
niega que la ciencia pueda fundamentar la moral e insistir en su recha-
zo al mal uso de la ciencia, a u n uso interesado y tergiversado. No se pue-
de utilizar la ciencia al servicio de u n a s ideologas como insistir en su
debate con Le Roy, en el fondo con Duhem, quienes manejan la ciencia y
su historia en defensa de la religin catlica, por ejemplo, y hacen lo que
alguno lleg a calificar entonces de ciencia del creyente.
Terreno, el de la moral, en el que plantea cuestiones que siguen sien-
do de actualidad como el masivo empleo de la estadstica en la vida ordi-
naria, la problemtica de la viviseccin, de las prcticas mdicas y biol-
gicas con animales, prctica que defiende de modo radical. Tampoco deja
a u n lado temas como el de la educacin que se le muestra como esencial
para el progreso moral de los individuos.
Es campo en el que defender, a ultranza, la libertad de la Ciencia,
del pensamiento cientfico y su separacin de cualquier tipo de dogma,
religin o partido. En 1909, en su alocucin Le libre examen en matire
scientifique, afirma
El pensamiento no debe someterse nunca ni a un dogma, ni a un partido, ni a

una pasin, ni a un inters, ni a una idea preconcebida, ni a nada, si no es a
los hechos mismos, porque, para l, someterse sera dejar de ser. (1909, p. 139).
La Ciencia, la Matemtica, es u n producto de la razn humana, lo

ms digno de ella y frente a quienes sostienen la existencia de lo inefa-
ble, captable slo por algo distinto a esa razn, alzar su voz
Todo lo que no es pensado es la pura nada, ya que no podemos pensar ms que

el pensamiento y todas las palabras de las que disponemos para hablar de las
cosas no pueden expresar ms que pensamientos; decir que hay otra cosa que el
pensamiento, es pues una afirmacin que no puede tener sentido. (VC p. 276).

662
Divulgador cientfico
El matemtico, el cientfico, vive en sociedad. Y los miembros de esa

sociedad deben conocer lo que se hace en la ciencia. Surge, as, otra fim-
cin para el matemtico: divulgar su saber. Una divulgacin que le co-
rresponde hacer al cientfico creador, no al simple periodista. Slo quien
investiga en un sector sabe los temas, las dificultades, las lneas posibles,
los firacasos que se ligan a esa investigacin. Por ello es l quien debe ha-
cer el esierzo y poner al alcance del gran pblico los grandes temas y
problemas de la ciencia en cada momento.
Cumpliendo esta labor Poincar rene alguno de sus escritos en libros
que se convierten en autnticos best-seller en una poca en la cual la con-
siderada divulgacin cientfica era prcticamente inexistente o se cen-
traba en obras como las de Julio Verne.
En Diciembre de 1902 sale a luz Ciencia e Hiptesis; en 1905, El
valor de la Ciencia; en 1908, Ciencia y Mtodo. Un ao despus de
morir, en 1913, se edita ltimos pensamientos. Son los libros que ci-
mentan su popularidad y no slo entre el gran pblico. Popularidad uni-
da a su aureola de sabio, de cerebro viviente de las ciencias racionales
como lo calificara Painlev. Autnticas obras de diisin, las cifi:as de
ejemplares en 1914 llegan a ms de 21.000 para Ciencia e Hiptesis y
para El valor de la ciencia; 12.100 para Ciencia y Mtodo; 7.700
para ltimos pensamientos. Un total aproximado de 61.700 ejempla-
res vendidos entre Diciembre de 1902 y 1913. A ellos habra que agregar
los correspondientes a las traducciones al alemn, ingls, espaol, sueco,
hngaro, japons realizadas de Ciencia e Hiptesis antes de 1910...
Publicaciones estimadas de alta divulgacin, encierran ms de un
problema. Para hacer su pensamiento accesible al gran pblico Poincar
suprime las referencias matemticas, elimina frmulas, ecuaciones, gran
parte del razonamiento estrictamente matemtico que, sin embargo, per-
manecen subyacentes; une o trocea distintos ensayos. Son eliminaciones
que, en ocasiones, llevan a confusiones al lector no atento. La claridad y
aparente simplicidad de estos ensayos, su esplndida limpidez, oculta un
pensamiento profundo. Luis Rougier, en 1919, cuando pretenda la pu-
blicacin de un quinto volumen de ensayos de Poincar escriba a Len
Daum, representante de la familia del matemtico francs, que de entre
los 24.000 lectores de Ciencia e Hiptesis probablemente slo unos mil
habran comprendido el libro. Y, ciertamente, ha habido y hay muy dis-
tintas interpretaciones de ese pensamiento tan aparentemente simple, a
veces, de Poincar.

663
En cualquier caso constituye una de las caras a las que el matemti-

co debe someterse: la de divulgador, con todas las dificultades que ella
conlleva. Pero Poincar no slo hace ese papel con los cuatro libros men-
cionados. Tambin dedica su tiempo a divulgar temas de electricidad, de
telegrafa en las revistas que las asociaciones de Electricistas, de Tel-
grafos editan. Una labor que completa la anterior.
Una respuesta insospechada: Los 23 problemas de hilbert
He intentado exponer, brevemente, lo que puede calificarse Programa

Poincar para la Matemtica del futuro, programa centrado en las fun-
ciones que asigna al matemtico, tanto las explcitas como las que, de
manera intrnseca, ejemplifica con su trabajo. Un Programa que va a te-
ner una repercusin un tanto inesperada e insospechada para la ma-
yora. En 1900 se celebra en Pars el 2 CIM y los organizadores invitan
a participar en l a David Hilbert. Hemos conmemorado, en el 2000, el
Ao Mundial de las Matemticas en recuerdo, precisamente, del progra-
ma hilbertiano. Si en 1900 Hilbert enuncia 23 problemas futuros, los pro-
blemas que estima bsicos para la Matemtica del s. XX, en el ao 2000
se ha pretendido una retrospectiva de lo adquirido e indicar, tambin, las
lneas futuras, los problemas centrales para el primer siglo de este nue-
vo milenio.
Cuando Hilbert recibe la invitacin para el CIM decide que su inter-
vencin sea una respuesta explcita a las palabras, al Programa Poin-
car, y as lo comunica a sus dos fieles amigos y asesores, Hurwitz y Min-
kowski. Este, en carta de 5 de Enefo de 1900, contesta aconsejando no
responder de modo directo porque supondra entrar en terrenos de natu-
raleza filosfica que son probablemente mejores para una audiencia ale-
mana que no francesa y en cambio sugiere
Ms atractivo sera el intento de mirar al futuro, en otras palabras, de hacer

una caracterizacin de los problemas a los que los matemticos deberan
orientarse en el futuro. Con esto podras tener a la gente hablando de tu char-
la incluso durante dcadas a partir de ahora. Por supuesto, la profeca es
realmente asunto difcil. (De Gray, p. 70).
Algo que tendra el valor aadido de hacerlo, precisamente, en Pars,

ante los matemticos franceses. Hilbert hace caso del consejo de Min-
kowski como hemos visto y vivido porque la profeca de Minkowski se ha
cumplido, y con creces. Pero no por ello Hilbert deja de responder, ahora

664
de manera implcita, a Poincar lo que se observa en, al menos, tres as-

pectos:
en la autolimitacin a la matemtica pura, planteando problemas
futuros internos a la misma, de los que se afirma que pueden ser
definitivamente resueltos; y cuando plantea un problema de Fsica,
el problema se centra en exigir que la Fsica se axiomatice, se for-
malice;
en la afirmacin de que si en un origen remoto la Matemtica surgi
de la experiencia, de la necesidad de responder a la misma, poste-
riormente ha sido y es la propia razn matemtica la que origina los
problemas sin intervencin extraa, sin dependencia o interrelacio-
nes con otras disciplinas; todo lo opuesto a estimar como vlidas las
interrelaciones entre Fsica y Matemtica, todo lo contrario a la afir-
macin de Poincar de que el espritu de ambas es el mismo;
en la eleccin de los problemas planteados como claves para el de-
sarrollo futuro de la Matemtica. En este punto no hay que fijarse
tanto en la eleccin explcita de los problemas -todos ligados, real-
mente, a la escuela alemana, fundamentalmente a la que se est
creando en Gottingen-, como en aquellos que deja a un lado y que
van a ser, sin embargo, fundamentales para el Hacer matemtico
del s. XX: son problemas en los cuales trabajan bsicamente los
matemticos franceses -y que dan paso a la Teora de la medida
con la integral-Lebesgue o el anlisis funcional...- y, en particular,
las cuestiones ligadas a la Topologa, a la geometrizacin de la ma-
temtica, al problema de los tres cuerpos en dinmica..., a los te-
mas en los que trabaja Poincar. Lo mismo que deja a un lado la
Teora de la probabilidad, la teora de matrices, la lgica formal ini-
ciada por Frege y Peano... temas a los cuales, y como autntico con-
traste, dedicar Hilbert su atencin en los aos siguientes como,
por ejemplo, al anlisis funcional en relacin con las ecuaciones in-
tegrales. Contraste con las lneas que l mismo seala para el fu-
turo de la Matemtica y en las cuales parece no creer tan radical-
mente...
Al dar cuenta del Congreso en carta a Hurwitz a finales de Agosto,
Hilbert no menciona su propia intervencin pero seala dos puntos a des-
tacar: su desilusin por la poca calidad de las comunicaciones y, sobre
todo, el hecho de que Poincar estuvo presente en el CIM nica y exclu-
sivamente por necesaria obligacin...
Que Hilbert concibi su lectura como rplica al Programa Poincar de
1897 es algo intuido, sin conocer quiz la correspondencia, por Grattan-

665
Guinnes quien menciona el (aparente) silencio de Poincar ante esta

comunicacin. Silencio que interpreta como u n a respuesta del tipo
Intuicin y aplicaciones por favor, querido colega, no todo es axiomtica pu-

rista, (p. 757).
El Programa Poincar tuvo, as, u n a s consecuencias para el hacer ma-

temtico del s. XX un tanto insospechadas al obligar a plantear a los ma-
temticos alemanes, en el fondo, un programa alternativo para el Hacer
matemtico del s. XX, especialmente a la escuela naciente de Gottingen...
Alternativo porque Poincar, en el Cuarto CIM celebrado en Roma en
1908, reitera el suyo, insiste en las funciones del matemtico o, en otras
palabras, en que la Matemtica confina con la Fsica y la Filosofa. Aho-
ra, y de modo ya explcito, titula su Ponencia El porvenir de las Ma-
temticas, donde tambin hay respuesta, por supuesto que implcita, a
los problemas inventariados por Hilbert. Aqu no se plantean unos de-
terminados problemas porque ello supondra realizar u n inventario de
u n mundo ya cerrado, ya acabado y he indicado que, para Poincar, la
Matemtica es u n hacer siempre abierto, producto de la razn h u m a n a y
donde
Los problemas insolubles se han convertido en los ms interesantes de todos,

porque han planteado problemas en que ni siquiera se haba soado. (CM p. 23)
y, por ello, no estaban previamente inventariados ni se los puede inven-

tariar. Por otro lado, se puede afirmar que, en cierto sentido, los proble-
mas ms interesantes son aquellos de los que se puede decir que no h a n
sido definitivamente resueltos sino que estn ms o menos resueltos
No hay problemas resueltos y otros que no lo estn, slo hay problemas ms

o menos resueltos (id.)
Parece tener en mente las ecuaciones diferenciales cualitativas...

Por supuesto, la insistencia en el papel de la geometra como elemen-
to clave tanto en s como en su papel heurstico: cualquier disciplina ma-
temtica viene subtendida por la intuicin geomtrica; perderla consti-
tuira u n error que es lo que se produce en el formalismo hilbertiano, en
los fundamentalismos cantnanos o conjuntistas, en las pretensiones de
los logicistas.
Dos Programas en los que est en juego la existencia de dos concep-
tos del Hacer matemtico: u n hacer que se limita a una matemtica

666
pura con problemas estrictamente internos y uno que considera que no

puede disociarse de otros haceros porque encerrarse en una torre de mar-
fil terminar en una formalizacin sintctica prcticamente estril. Con-
secuente, distintos enfoques en cuanto a la necesidad de los formalismos,
de la derivacin o de la demostracin intuitiva matemtica...
Habra que precisar que el programa finitista constructivo que plan-
tea Poincar, con la necesidad de la estructura formal en la cual la no-
cin de grupo se le presenta bsica, va a ser recogido por Hilbert desde
los aos veinte en su programa estrictamente finitista pero con un giro
esencial: su apoyatura en lo puramente sintctico formal, con las conse-
cuencias que todos conocemos, especialmente tras el papel atribuido al
bourbakismo.
Aunque tambin es de justicia reconocer que Hilbert se ocupar de la
Fsica terica a partir de 1904 - y en contra, u n a vez ms, de su inventa-
rio, del credo que explicita en su alocucin de 1900- en ese proceso de tra-
tar de liderar la Escuela de Gottingen y potenciar, en ella, y a travs de
diferentes colaboradores y con trabajo no ya individual sino de equipo, to-
dos los aspectos del Hacer matemtico as como sus enlaces con otras dis-
ciplinas.
No deseo terminar sin citar un largo prrafo de V. I. Arnold escrito
con motivo de las actividades del Ao Mundial de las Matemticas e ins-
pirado en la lista o inventario de problemas propuestos por Hilbert en
1900. Arnold ha captado, aunque de modo implcito, la existencia de los
dos programas y lo que hace, realmente, es una comparacin entre las in-
fluencias que ambos h a n tenido en la matemtica del s. XX. Las palabras
con las que finaliza su ensayo, un tanto parciales y en cualquier caso con
cierto aire polmico, son:
Hilbert intenta predecir el desarrollo futuro de las matemticas e influir en

l por sus Problemas. El desarrollo de la matemtica en el siglo 20 ha segui-
do un camino diferente. Los logros ms importantes -el florecimiento de la
teora de la homotopa y la topologa diferencial, la geometrizacin de todas
las ramas de la matemtica, su fusin con la fsica terica, el descubrimien-
to de problemas algortmicamente indecidibles y la aparicin de los ordena-
dores- todo esto ha ido en direccin diferente (si no opuesta).
La influencia de H. Poincar y de H. Weyl sobre la ciencia del s. 20 ha sido
ms profunda. Para Poincar, quien cre la matemtica moderna, topologa
y teora de sistemas dinmicos, el futuro de la matemtica se enlaza con el
desarrollo de la fsica matemtica, orientado a la descripcin de la teora re-
lativista y cuntica. Entre otras cosas importantes, Poincar explicaba que
slo los problemas no-interesantes pueden ser formulados sin ambigedad y
resueltos completamente. Segn Poincar uno debera intentar comprender lo

667
que debe ser cambiado en la formulacin del problema. Ante todo tena en el
espritu la variacin de los coeficientes de las ecuaciones problema del tipo bi-
furcacin y todos los tipos de argumentos de posicin general -los tpicos que
ahora se llaman teora de la singularidad, anlisis global y anlisis funcio-
nal. Bastante interesante, lo que ahora se llama teorema de la deformacin
versal ha sido demostrado en su Tesis (para el caso de las intersecciones holo-
morfas completas de dimensin cero) como lema 4, y fue la base para su teora
de la bifurcacin. (Arnold 2000, pp. 415-416)
Referencias
Las citas de Poincar se encuentran en:

[CH] Poincar, H. (2002, primera edicin de 1902) Ciencia e Hiptesis. Ed:
Espasa Calpe, Madrid. Introduccin de Javier de Lorenzo
[VC] Poincar, H. (1948, primera edicin de 1905) La valeur de la Science.
Ed: Flammarion, Pars.
[CM] Poincar, H. (1963, primera edicin de 1908) Ciencia y Mtodo. Ed:
Espasa Calpe, Madrid. Traduccin de Garca Miranda y L. Alonso.
Los datos de difusin de las obras de Poincar han sido tomados del prefacio de
[1] RoUet, L. (2002) Henri Poincar: Scientific Opportunism. An Anthology.
Ed: Birkhauser.
Para el tema de los expertos:
[2] RoUet, L. (1997) Autour de l'affaire Dreyfus. Revue Historique 603 (Ju-
lio-Septiembre), 49-101.
Las dems citas o menciones se encuentran en:
[3] Arnold, V.L (2000) Polymathematics: Is Mathematics a Single Science or
a Set of Arts? En: Mathematics: Frontiers and Perspectives 2000. Editores: Ar-
nold, Atiyah, Lax y Mazur. Ed: International Mathematical Union. AMS. Pgi-
nas 403-416.
[4] Grattan-Guinness, I. (2000) A Sideways Look at Hilbert's Twenty-three
Problems of 1900. Notices of the AMS 47(7) 752-757.
[5] Gray, J.J. (2003) El reto de Hilbert. Ed: Crtica, Barcelona. Traduccin
de J. Garca Sanz.
[6] Lorenzo, J. de (1974) La filosofa de la matemtica de Poincar. Ed: Tec-
nos, Madrid.
[7] Lorenzo, J. de (publicacin probable en 2004) Poincar, pensador de la
matemtica. En: Conferencies de la FME: Curs Poincar 2008-2004. Ed: Uni-
versidad Politcnica de Barcelona.


El Programa de P

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

El Programa de P

Загружено:

Авторское право:

Доступные форматы

Aixx 645

El Programa Poincar o funciones

Javier de Lorenzo Martnez

Ante todo, agradecer a la Real Acade-

(c) Consejo Superior de Investigaciones Cientficas http://arbor.revistas.csic.es

que ligado al papel de las definiciones no constructivas se encuentra

El programa: funciones del matemtico

Poincar nace en Nancy el 29 de Abril de 1854. Muere en Pars el 17

(c) Consejo Superior de Investigaciones Cientficas http://arbor.revistas.csic.es

Es el trabajo en s del matemtico. Plantear y resolver problemas, in-

Reduciendo el pensamiento matemtico a una forma hueca, se le mutila. (CM

Por ello el matemtico, la Matemtica tiene otro papel, otra funcin,

Se t r a t a de suministrar un instrumento para el estudio de la physis y

(c) Consejo Superior de Investigaciones Cientficas http://arbor.revistas.csic.es

a la resolucin de ecuaciones o de sistemas de ecuaciones sean dife-

hacerle conocer la armona oculta de las cosas hacindoselas ver desde un

Aqu Poincar va a enunciar otra de sus creencias bsicas respecto al

Lo que se puede y debe cambiar (VC 146)

El matemtico, a su vez, recibe aportes de los terrenos cientficos.

(c) Consejo Superior de Investigaciones Cientficas http://arbor.revistas.csic.es

Con un matiz, las demostraciones que sugiere el fsico quiz carecen

Nuestra necesidad de pensar en imgenes (CMp. 102)

Forma de trabajar por la cual el mismo Her mite le calificar de

La conviccin de Poincar respecto a la unidad intrnseca de la Ma-

(c) Consejo Superior de Investigaciones Cientficas http://arbor.revistas.csic.es

tendencias que h a n ido surgiendo en el ltimo tercio del s. XX. Me basta

(c) Consejo Superior de Investigaciones Cientficas http://arbor.revistas.csic.es

bien debera ser calificado como Realismo estructural cientfico. (Para u n

Algunos temas del pensamiento filosfico matemtico de Poincar

El nmero natural y la induccin completa

Si el matemtico construye objetos, estructuras y busca y demuestra

El nico objeto natural del pensamiento matemtico es el nmero natural

El razonamiento matemtico por excelencia (CH,65)

Aparecen, as, el nmero natural, la nocin sucesor y la induccin

(c) Consejo Superior de Investigaciones Cientficas http://arbor.revistas.csic.es

res, en otros mundos como en uno gelatinoso, la especie que tratara de

Derivacin lgica - Demostracin matemtica

Enlazado con lo anterior, Poincar trata de precisar y diferenciar la

(c) Consejo Superior de Investigaciones Cientficas http://arbor.revistas.csic.es

En esta derivacin lo nico que se exige es aplicar correctamente las re-

Para demostrar un teorema no es necesario ni til saber lo que se quiere de-

P a r a Poincar es u n a caracterizacin formal que no da cuenta, para

(c) Consejo Superior de Investigaciones Cientficas http://arbor.revistas.csic.es

El continuo es, como magnitud extensa, un elemento intuido, que se

El problema ontolgico y el infinito actual

La existencia de los nmeros reales le conduce a Poincar a indicar

(c) Consejo Superior de Investigaciones Cientficas http://arbor.revistas.csic.es

Al difundirse las paradojas cantorianas por influjo de Russell, Poin-

Los conceptos de Espacio y Tiempo. La Geometra, reflejo de la

Respecto al Espacio y el Tiempo, para Poincar no existen ni el Espa-

(c) Consejo Superior de Investigaciones Cientficas http://arbor.revistas.csic.es

La geometra no tiene por nica razn de ser la descripcin inmediata de los

En este punto Poincar vuelve a realizar u n estudio de carcter epis-

(c) Consejo Superior de Investigaciones Cientficas http://arbor.revistas.csic.es

de estas geometras hubiera sido ms conveniente para la supervivencia

Hay muchos tipos de individuos y, consecuentemente, de matemti-

(c) Consejo Superior de Investigaciones Cientficas http://arbor.revistas.csic.es

Hay una fundamentacin definitiva del Hacer matemtico?

Hay filsofos y matemticos que pretenden encontrar un fundamento

(c) Consejo Superior de Investigaciones Cientficas http://arbor.revistas.csic.es

sus aplicaciones. Frente al convencionalismo nominalista representado

Slo por la Ciencia y por el Arte valen las civilizaciones. Se ha sorprendido

Desde esta posicin, estar al servicio de la sociedad implica trabajar

Es el terreno en el que todos nos movemos. Cada uno ha de pertene-