Henri Poincaré: La intuición y la lógica en las Matemáticas

ARTÍCULOS HISTÓRICOS
Henri Poincaré: La intuición y la lógica en las
Matemáticas
Henri
Poincaré publicó La
intuición
y
la
lógica
en
las
matemáticas como parte de El valor de la Ciencia, en 1905. Fue
traducido al Inglés por G.B. Halsted y publicado en 1907 como parte
de El valor de la Ciencia.
Parte I
Es imposible estudiar las obras de los grandes matemáticos, e incluso de los
matemáticos menores, sin observar y distinguir dos tendencias opuestas, o, más
bien, dos tipos de mentalidades completamente diferentes. La primera especie está
sobre todo preocupada por la lógica. Cuando se leen sus obras, uno se siente
tentado de creer que han avanzado férreamente, paso a paso, a la manera de un
Vauban que desplaza sus trincheras contra el lugar sitiado sin dejar nada al azar. El
otro tipo está formado por aquellos que están simplemente guiados por la intuición
y que desde el primer desarrollo quieren hacer conquistas rápidas aunque a veces
precarias, como jinetes audaces de la vanguardia de un ejército.
El método no está impuesto por la materia tratada. Aunque se dice a menudo de
los primeros que son analistas y se denomina a los otros geómetras, eso no impide
que la clase de los analistas lo siga siendo incluso cuando trabajan en la geometría,
mientras que los otros serán geómetras, incluso cuando se ocupan del análisis
puro. Es la propia naturaleza de su mente lo que hace que sean lógicos o
intuicionistas, y no podemos dejar este hecho de lado cuando nos acercamos al
estudio de un nuevo sujeto.
Tampoco es la educación lo que ha desarrollado en ellos una de las dos tendencias
y sofocado la otra. El matemático nace, no se hace, y parece que ha nacido un
geómetra o un analista. Quisiera citar ejemplos y hay sin duda un montón; pero
para acentuar el contraste comenzaré con un ejemplo extremo, tomándome la
libertad de buscar en dos matemáticos vivos.
M. Meray quiere demostrar que una ecuación binomial siempre tiene una raíz, o, en
palabras ordinarias, que un ángulo siempre se puede subdividir. Si hay alguna
verdad que creemos saber por intuición directa, es esta. ¿Quién podría dudar de
que un ángulo siempre se puede dividir en cualquier número de partes iguales?. M.
Meray no lo ve de esa manera; a sus ojos esta propuesta no es en absoluto
evidente y necesita varias páginas para demostrarlo.
1
Por otro lado, observemos al profesor Klein: está estudiando una de las cuestiones
más abstractas de la teoría de funciones para determinar si en una superficie de
Riemann dada siempre existe una función de admisión de singularidades. ¿Qué es
lo que hace el célebre geómetra alemán?. Reemplaza a la superficie de Riemann
por una superficie metálica cuya conductividad eléctrica varía de acuerdo a ciertas
leyes. Se conectan dos de sus puntos con los dos polos de una batería. La señal,
dice, debe pasar, y la distribución de esta corriente en la superficie definirá una
función cuyas singularidades serán precisamente las pedidas por el enunciado del
problema.
Sin duda, el profesor Klein bien sabe que ha dado aquí sólo un esbozo; pero él no
ha dudado en publicarlo; y que probablemente cree que encuentra en ella, si no
una demostración rigurosa, por lo menos una especie de certeza moral. Un lógico
habría rechazado con horror tal concepción, o más bien, no habría tenido ni que
rechazarlo, porque en su mente nunca se habría originado.
Una vez más, me permito comparar ahora dos hombres de honor de la ciencia
francesa, que recientemente han sido estudiados por nosotros, pero que se han
introducido hace mucho tiempo en la inmortalidad. Hablo de M. Bertrand y M.
Hermite. Eran estudiosos de la misma escuela y en la misma época; tenían la
misma educación, estaban bajo las mismas influencias; y sin embargo, ¡qué
diferencia!. No sólo se manifiesta en sus escritos; también en su enseñanza, en su
forma de hablar, en su misma mirada. En la memoria de todos sus alumnos quedan
estampados sus rostros con líneas inmortales; para todos los que han tenido el
placer de seguir sus enseñanzas el recuerdo aún está fresco; es fácil para nosotros
poder evocarlo.
Mientras habla, M. Bertrand está siempre en movimiento; parece estar en combate
con un enemigo exterior; en ocasiones perfila con un gesto de la mano las cifras
que estudia. Es evidente que ve y que está ansioso para pintar, por lo que utiliza el
gesto como ayuda. Con M. Hermite, es todo lo contrario; sus ojos parecen rehuir el
contacto con el mundo; dentro de él busca la visión de la verdad.
Entre los geómetras alemanes de este siglo, dos nombres ilustres por encima de
todo son los de los dos científicos que han fundado la teoría general de funciones,
Weierstrass y Riemann. Weierstrass lleva todo a la consideración de la serie y sus
transformaciones analíticas; para expresarlo mejor, reduce el análisis a una especie
de prolongación de la aritmética; usted puede recorrer todos sus libros, sin
encontrar una figura. Riemann, por el contrario, llama siempre a la geometría en su
ayuda; cada una de sus concepciones es una imagen que no se puede olvidar una
vez que hemos cogido su significado.
Más recientemente, Lie es un intuicionista; esto podría haber sido puesto en duda
en la lectura de sus libros, pero nadie lo podría dudar después de hablar con él, que
habla a la vez que piensa en imágenes. Madame Kovalevski es un lógico.
Entre nuestros estudiantes nos damos cuenta de las mismas diferencias; algunos
prefieren tratar sus problemas mediante el análisis, otros se decantan por la
geometría. Los primeros son incapaces de "ver en el espacio”, los otros se cansan
rápidamente de cálculos largos.
Los dos tipos de mentes son igualmente necesarias para el progreso de la
ciencia; tanto los lógicos como los intuicionistas han logrado grandes cosas que los
otros no podrían haber hecho. ¿Quién se atrevería a decir que prefiere que
Weierstrass nunca hubiera escrito, o que nunca hubiera existido Riemann? Análisis
2
y síntesis tienen en definitiva sus legítimos papeles. Pero es interesante estudiar en
la historia de la ciencia más de acerca de la parte que corresponde a cada uno.
Parte II
¡Extraño!. Si leemos las obras de los antiguos nos sentimos tentados a incluir a
todos ellos entre los intuicionistas. Y sin embargo, la naturaleza es siempre la
misma; es poco probable que hayamos comenzado precisamente en este siglo la
creación de mentes dedicadas a la lógica. Si pudiéramos sumergirnos en el flujo de
las ideas que reinaban en su tiempo, debemos reconocer que muchos de los
antiguos geómetras estaban dentro de la tendencia de los analistas. Euclides, por
ejemplo, erigió una estructura científica en la que sus contemporáneos no podían
encontrar ninguna pega. En esta vasta construcción, de la cual cada pieza, sin
embargo, se debe a la intuición, es posible todavía, a día de hoy y sin mucho
esfuerzo, reconocer la labor de un lógico.
No es la mente lo que ha cambiado, son las ideas; las mentes intuitivas siguen
siendo las mismas; pero los lectores han requerido de ellas mayores concesiones.
¿Cuál es la causa de esta evolución? No es difícil de encontrar. La intuición no nos
puede dar rigor, ni siquiera la certeza; esto ha sido reconocida cada vez
más. Citemos algunos ejemplos. Sabemos que existen funciones continuas que
carecen de derivada. Nada es más impactante a la intuición que esta proposición
que se nos impone por la lógica. Nuestros padres habrían podido decir: "Es
evidente que toda función continua tiene derivada, ya que cada curva tiene una
tangente".
¿Cómo puede la intuición engañarnos sobre este punto? Es porque cuando tratamos
de imaginar una curva, no podemos representarla sin ancho; sólo ocurre que,
cuando representamos una línea recta, lo vemos bajo la forma de una banda
rectilínea de una cierta amplitud. Bien sabemos que estas líneas no tienen
anchura; tratamos de imaginarla más y más estrecha y por lo tanto acercarnos al
límite; lo que hacemos en cierta medida, pero nunca vamos a alcanzar este
límite. Y luego está claro que siempre podemos imaginar estas dos bandas
estrechas, una recta, una curva, en una posición tal que se invaden una sobre otra
sin cruzarse. Deberíamos por lo tanto ser llevados, a menos que realicemos un
análisis riguroso, a la conclusión de que una curva siempre tiene una tangente.
Tomaré como segundo ejemplo el principio de Dirichlet sobre el que descansan
tantos teoremas de la física matemática; hoy día lo establecemos por
razonamientos muy rigurosos, pero muy largos; hasta ahora, por el contrario, nos
quedabamos contentos con una prueba muy resumida. Un cierto integrante
dependiente de una función arbitraria nunca puede desaparecer. Por lo tanto se
concluye que debe tener un mínimo. La falla en este razonamiento nos llama la
atención de inmediato, ya que utilizamos la función abstracta localizada y estamos
familiarizados con todas las singularidades funcionales que se pueden presentar
cuando la palabra se entiende en el sentido más general.
Pero no sería lo mismo si tuviéramos que utilizar imágenes concretas, por ejemplo,
consideramos esta función como un potencial eléctrico; se habría pensado de forma
legítima afirmar que se puede lograr el equilibrio electrostático. Sin embargo, tal
vez una comparación física habría despertado cierta desconfianza vaga. Pero si se
hubiera tenido cuidado en traducir el razonamiento al lenguaje de la geometría
intermedia entre el análisis y la física, sin duda, esta desconfianza no se hubiera
3
producido, y quizás se podría por lo tanto, aún hoy, siendo posible engañar a
muchos lectores no prevenidos.
La intuición, por lo tanto, no nos da certeza. Esta es la razón por la que la evolución
tenía que suceder; veamos ahora cómo sucedió.
No tardó en ser notado que el rigor no podría introducirse en el razonamiento a
menos que se proceda primero a entrar en las definiciones. La mayor parte de los
objetos tratados por los matemáticos eran tomados como definidos; se suponía que
debían ser conocidos porque se representaban por medio de los sentidos o de la
imaginación; pero sólo se tenía una imagen tenue de ellos y no una idea precisa
sobre la que el razonamiento pudiera afianzarse. Fue allí en primer lugar a donde
los lógicos tuvieron que dirigir sus esfuerzos.
Así, en el caso de los números inconmensurables. La vaga idea de continuidad, que
debemos a la intuición, se resolvió en un complicado sistema de desigualdades que
se refieren a números enteros.
Eso significa que las dificultades derivadas del paso al límite, o de la consideración
de los infinitesimales, se han finalmente eliminado. Hoy solo quedan en análisis los
números enteros o los sistemas numéricos, finitos o infinitos, de los números
enteros unidos por una red de relaciones de igualdades o deigualdades. La
Matemática, como dicen, es aritmetizable.
Parte III
Se nos ocurre una primera pregunta. ¿Se puso fin a esta evolución?. ¿Hemos
finalmente alcanzado el rigor absoluto?. En cada etapa de la evolución de nuestros
padres también pensaron que la habían alcanzado. Si se engañaron a sí mismos,
¿no nos engañamos a nosotros mismos del mismo modo?
Creemos que en nuestros razonamientos ya no apelamos a la intuición; los filósofos
nos dirán que eso es una ilusión. La pura lógica nunca nos podría conducir a otra
cosa que a tautologías; no podría crearse nada nuevo; de ella sola no podría surgir
nunca un tema científico. En cierto sentido, estos filósofos tienen razón; para
construir la aritmética, lo mismo que para la geometría, o para cualquier ciencia, es
necesario algo más que la pura lógica. Para designar esta otra cosa necesaria no
tenemos ninguna palabra que no sea intuición. ¿Pero cuántas ideas diferentes se
esconden bajo esta misma palabra?
Compare vd. estos cuatro axiomas:
(1) Dos cantidades iguales a una tercera son iguales entre sí.
(2) Si el teorema es cierto para el número 1, y si se demuestra que es cierto
para n+1 cuando es cierto para n, entonces, ¿será cierto para todos los números
enteros positivos?.
(3) Si en una recta el punto C está entre A y B, y el punto D entre A y C , entonces
el punto D estará entre A y B .
(4) Por un determinado punto no hay más de una paralela a una recta dada.
Los cuatro se atribuyen a la intuición, y sin embargo, el primero es la enunciación
de una de las reglas de la lógica formal; el segundo es un sintético verdadero sobre
un juicio a priori, fundamento de la inducción matemática rigurosa; el tercero es un
llamamiento a la imaginación; el cuarto es una definición encubierta.
4
La intuición no está necesariamente fundada en la evidencia de los sentidos; los
sentidos no tardarían en convertirse en impotentes; por ejemplo, no podemos
representarnos a nosotros mismos un chiliágono (polígono de 1000 lados), y sin
embargo, la intuición de polígonos en general incluye al chiliágono como un caso
particular.
¿Sabeis lo que Poncelet entendía por principio de continuidad?. Lo que es cierto
para una cantidad real, dijo Poncelet, debe ser verdad para una cantidad
imaginaria; lo que es verdad de la hipérbola cuyas asíntotas son reales, entonces
debe ser verdad de la elipse cuyas asíntotas son imaginarias. Poncelet fue una de
las mentes más intuitivas de este siglo; era apasionado, casi ostentosamente, así
consideraba el principio de continuidad como una de sus concepciones más audaces
y sin embargo este principio no se durmió en la evidencia de los sentidos. Asimilar
la hipérbola a la elipse era bastante para contradecir esta evidencia. Fue sólo una
especie de generalización precoz e instintiva que, además, no tengo ningún deseo
de defender.
Tenemos entonces muchos tipos de intuición; primero, la apelación a los sentidos y
a la imaginación; luego tenemos la generalización por inducción, reflejo, por así
decirlo, de los procedimientos de las ciencias experimentales, teniendo finalmente,
la intuición de número puro, de donde surge el segundo de los axiomas enunciados,
que es capaz de crear un razonamiento matemático real. He mostrado
anteriormente con ejemplos que las dos primeras, la apelación a los sentidos y la
imaginación, no pueden darnos la certeza; pero ¿quién va a dudar seriamente de la
tercera, que sería dudar de la aritmética?
Ahora en el análisis diario, cuando nos preocupamos de tomarnos la molestia de ser
rigurosos, no puede haber nada más que los silogismos o apelaciones a esta
intuición del número puro, la única intuición que no nos puede engañar. Se puede
decir que entonces alcanzamos el rigor absoluto.
Parte IV
Los filósofos hacen aún otra objeción: "Lo que se gana en rigor –dicen-, se pierde
en objetividad”. Pueden elevarse hacia los ideales de la lógica únicamente cortando
los lazos que les unen a la realidad. Su ciencia es infalible, pero pueden. Sólo que
permanecen encarcelados en una torre de marfil renunciando a toda relación con el
mundo externo. A partir de este aislamiento es como deben intentar la menor
aplicación ".
Por ejemplo, busco mostrar que alguna propiedad pertenece a un objeto cuyo
concepto me parece a primera vista indefinible, porque es intuitivo. Al principio no
llego o debo contentarme con pruebas aproximadas; pero finalmente me decido a
dotar a mi objeto de una definición precisa, y esto me permitirá establecer la
propiedad de manera irreprochable.
"Y entonces, -dicen los filósofos- todavía quedaría por demostrar que el objeto que
corresponde a tal definición es de hecho el mismo objeto dado a conocer por la
intuición, o bien que algún objeto real y concreto cuya conformidad con su idea
intuitiva que cree usted reconocer de inmediato corresponde a su nueva definición.
Sólo entonces se puede afirmar que tiene la propiedad de que se trata. Sólo se ha
desplazado la dificultad".
5
Eso no es exactamente así; la dificultad no ha sido desplazada, se ha dividido. La
proposición que se estableció estaba en realidad compuesta por dos verdades
diferentes, al principio no distinguibles. La primera era una verdad matemática, y
ahora
queda
rigurosamente
establecida. La
segunda
era
una
verdad
experimental. Sólo la experiencia puede enseñarnos que un objeto real y concreto
corresponde o no corresponde a una definición abstracta. Esta segunda veracidad
no está matemáticamente demostrada, pero tampoco puede probarse más de lo
que pueden hacerlo las leyes empíricas de las ciencias físicas y naturales. No sería
razonable pedir más.
Bueno, ¿es que un gran avance se confunde erróneamente?. ¿Significa esto que no
queda nada de la objeción de los filósofos?. No tengo intención de decir eso; al ser
rigurosa, la ciencia matemática tiene un carácter tan artificial que puede impactar
en cualquier tema; No olvidemos sus orígenes históricos. Generalmente vemos
como ha de contestarse las preguntas, y no vemos porqué se hacen las preguntas.
Esto nos muestra que la lógica no es suficiente; que la ciencia de la demostración
no es toda la ciencia y que la intuición debe conservar su papel como complemento,
estaba a punto de decir, como contrapeso o como antídoto de la lógica.
Ya he tenido ocasión de insistir en el lugar que la intuición debe tener en la
enseñanza de las ciencias matemáticas. Sin ella las mentes jóvenes no podrían
tener un comienzo en la comprensión de las matemáticas; no podían aprender a
amarla y verían en ella no más que una logomaquia vana; sobre todo, sin la
intuición nunca llegarían a ser capaces de aplicar las matemáticas. Pero ahora me
gustaría antes de todo hablar del papel de la intuición en la ciencia misma. Si es útil
para el estudiante, lo es más aún para el científico creativo.
Parte V
Buscamos la realidad, pero ¿cuál es la realidad? Los fisiólogos nos dicen que los
organismos están formados por células; los químicos añaden que las propias
células están formadas por átomos. ¿Significa esto que los átomos o las células
constituyen la realidad, o más bien que son la única realidad?. La forma en la que
estas células se disponen y de la que resulta una unidad global ¿no es también una
realidad mucho más interesante que la de los elementos aislados?, y ¿debe un
naturalista que nunca ha estudiado al elefante, excepto por medio del microscopio,
creerse lo suficientemente familiarizado con el estudio de ese animal?.
Bueno, hay algo análogo a esto en las matemáticas. El lógico corta, por así decirlo,
cada demostración en un gran número de operaciones elementales; cuando hemos
examinado estas operaciones una tras otra y nos hemos cerciorado de que cada
una de ellas es correcta, ¿debemos pensar que hemos comprendido el verdadero
significado de la manifestación?. ¿Lo hemos entendido cuando, por un esfuerzo de
memoria, hemos llegado a ser capaces de repetir esta prueba mediante la
reproducción de todas estas operaciones elementales en tan sólo el orden en que el
inventor les había arreglado? Evidentemente, no; todavía no poseeremos toda la
realidad; que yo sepa, no poseeremos algo importante, que hace que la unidad de
la demostración nos eluda por completo.
El análisis puro pone a nuestra disposición una multitud de procedimientos cuya
infalibilidad garantiza; se abre a nosotros de mil maneras diferentes que podemos
emprender con toda confianza; estamos seguros de satisfacerlas sin que haya
ningún obstáculo, pero, de todas estas formas, ¿cuál de ellas nos llevará más
6
rápidamente a nuestra meta? ¿Quién nos dirá cuál elegir? Necesitamos una facultad
que nos haga ver el final desde lejos, y la intuición es esta facultad. Es necesario
explorar para la elección de la ruta; ello no es menos importante que la tarea de
quien, tras su rastro, desea saber porqué tal ruta fue la elegida.
Si usted presencia el juego de ajedrez, no será suficiente para la comprensión del
juego conocer las reglas para mover las piezas. Este echo sólo le permitirá
reconocer si cada movimiento se ha hecho conforme a estas reglas y este
conocimiento realmente tiene muy poco valor. Sin embargo, esto es lo que el lector
de un libro sobre matemáticas haría si fuera sólo un lógico. Para entender el juego
es imprescindible otra cuestión, saber porqué el jugador mueve esta pieza en lugar
de aquella otra que podría haber movido sin romper las reglas del juego. Es decir,
percibir el motivo interior que hace de esta serie de sucesivos movimientos una
especie de todo organizado. Esta facultad es aún más necesaria para el propio
jugador de lo que lo es para el inventor.
Dejemos esta comparación y volvamos a las matemáticas. Por ejemplo, para ver lo
que ha ocurrido con la idea de función continua. Al principio esto era sólo una
imagen sensible, por ejemplo, de una marca continua trazada por la tiza en una
pizarra. Luego se convirtió poco a poco en algo más refinado; antes de mucho
tiempo se utilizará para construir un complicado sistema de desigualdades, que
reproducen, por así decirlo, todos los rasgos de la imagen original; esta
construcción que determinó el centrado del arco fue abandonada y la
representación en bruto que inicialmente tenía sirvió temporalmente como soporte
y por inútil fue rechazada después; sólo quedaba la construcción en sí, intachable a
los ojos de el lógico. Y sin embargo, si la imagen primitiva había desaparecido
totalmente de nuestro recuerdo, ¿cómo podríamos adivinar por qué capricho todas
estas desigualdades se erigieron de esta manera una sobre otra?
Tal vez ustedes piensan que utilizo demasiadas comparaciones; sin embargo me
van a perdonar otra. Ustedes han visto, sin duda, esos delicados conjuntos de
agujas silíceos que forman el esqueleto de ciertas esponjas. Cuando la materia
orgánica ha desaparecido, sólo queda un encaje de trabajo frágil y elegante. Es
cierto que no hay nada allí, excepto el sílice, pero lo que es interesante es la forma
actual que el sílice ha tomado, y no podríamos entenderlo si no supiéramos la
estructura estelar de la esponja, que le ha dado precisamente esa forma. Así es
como las viejas nociones intuitivas de nuestros padres, incluso cuando los hemos
abandonado, todavía imprimen su forma sobre las construcciones lógicas que
hemos establecido en su lugar.
Este punto de vista de la agregación es necesario para el inventor, y es igualmente
necesario para el que quiera realmente comprender al inventor. ¿Puede la lógica
dárnosla? No; los mismos nombres que los matemáticos le dan bastarían para
probar esto. En matemáticas lógica se denomina análisis y análisis significa
división, disección. No puede tenerse, por lo tanto, ninguna herramienta que no sea
el bisturí y el microscopio.
Por lo tanto, la lógica y la intuición tienen cada una su necesario papel. Cada una es
indispensable. La lógica, la única que puede dar certeza, es el instrumento de la
demostración; la intuición es el instrumento de la invención.
7
Parte VI
Pero en el momento de formular esta conclusión me asaltan los escrúpulos. Al
principio distinguí dos tipos de mentes matemáticas, una es la de los lógicos y
analistas, la otra, la de los intuicionistas y geómetras. Pues bien, los analistas
también han sido inventores. Los nombres que acabo de citar hacen que mi
insistencia en esto sea innecesaria.
Aquí hay una contradicción, al menos aparentemente, que necesita una
explicación. En principio pensamos que los lógicos siempre han procedido de lo
general a lo particular, ya que las reglas de la lógica formal parecen requerirlo. No
podrían entonces haber extendido los límites de la ciencia; la conquista científica
debe ser hecha solamente por la generalización.
En uno de los capítulos de 'Ciencia e Hipótesis” he tenido ocasión de estudiar la
naturaleza del razonamiento matemático y he demostrado cómo este
razonamiento, sin dejar de ser absolutamente riguroso, podría hacernos avanzar de
lo particular a lo general por un procedimiento que he llamado inducción
matemática. Es por este procedimiento que los analistas han hecho avanzar la
ciencia y si examinamos con el mismo detalle sus manifestaciones se puede
encontrar allí en cada instante el silogismo clásico de Aristóteles. Nosotros, por lo
tanto, vemos que los analistas no son simplemente los encargados de crear
silogismos a la manera de los escolásticos.
Además, ¿podemos creer que siempre han marchado paso a paso sin ninguna
visión de la meta que deseaban alcanzar?. Deben haber adivinado el camino que
conduciría hasta ella, y para eso se necesita una guía. Esta guía es, primero, la
analogía. Por ejemplo, uno de los métodos de demostración muy queridos por los
analistas es la fundamentación del empleo de las funciones dominantes, que
sabemos que ha servido para resolver una multitud de problemas; en qué consiste
entonces el papel del inventor que desea aplicarse a un nuevo problema? En primer
lugar se debe reconocer la analogía del problema con los que ya han sido resueltos
por el mismo método; entonces debe percibir de qué manera se diferencia esta
nueva pregunta de las de problemas anteriores y de ahí deducir las modificaciones
necesarias para aplicar el método.
Pero ¿cómo se perciben estas analogías y las diferencias?. En el ejemplo que
acabamos de citar casi siempre son evidentes, pero me podría haber encontrado
otros en los que habrían estado mucho más profundamente ocultas; a menudo para
su descubrimiento es necesaria una penetración muy poco común. Los analistas no
permiten que estas analogías ocultas escapen de ellos, es decir, con el fin de ser
inventores, deben, sin la ayuda de los sentidos y ni de la imaginación, tener una
comprensión directa de lo que constituye la unidad de la pieza del razonamiento, de
lo que hace, por así decirlo, su alma y su fundamento.
Cuando nos referíamos a M. Hermite, vimos que nunca evocaba una imagen
sensual y sin embargo pronto percibíamos que las entidades más abstractas eran
para él como los seres vivos. No las veíamos, pero percibíamos que no eran un
conjunto artificial y que tenían algún principio de unidad interna.
Pero se dirá que todavía es intuición. ¿Debemos concluir que la distinción que
hicimos al principio es sólo aparente?, ¿que sólo hay un tipo de mente y que todos
los matemáticos son intuicionistas, al menos aquellos matemáticos que son capaces
de inventar?.
8
No, nuestra distinción corresponde a algo real. He dicho antes que hay muchas
clases de intuición. He dicho lo mucho que la intuición del número puro, de donde
viene la inducción matemática rigurosa, difiere de la intuición sensible a la que la
imaginación, propiamente dicha, es el principal contribuyente.
¿Es el abismo que los separa menos profundo de lo que al principio
parecía?. ¿Podríamos reconocer con un poco de atención que esta misma intuición
pura no podía hacerse sin la ayuda de los sentidos?. Esto es asunto del psicólogo o
del metafísico y yo no discutiré este asunto. Pero si la cuestión permanece dudosa
ello es suficiente para justificar el reconocimiento y la afirmación de una diferencia
esencial entre los dos tipos de intuición; que no tienen el mismo objeto y parecen
poner en juego dos facultades diferentes de nuestro intelecto; podríamos pensar en
dos luces de búsqueda dirigidas a dos mundos extraños entre sí.
Es la intuición del número puro, de las formas lógicas puras, lo que ilumina y
orienta a los que hemos llamado analistas. Esto es lo que les permite no solo
demostrar, sino también inventar. Por lo que perciben a simple vista el plan general
de un edificio lógico, y sin que los sentidos parezcan intervenir. Al rechazar la
ayuda de la imaginación, que, como hemos visto, no siempre es infalible, pueden
avanzar sin miedo a engañarse a sí mismos. Felices, por lo tanto, son los que
¡pueden prescindir de esta ayuda!. Debemos admirarlos, aunque son raros.
Entre los analistas entonces habrá inventores, pero serán pocos. La mayoría de
nosotros, si deseamos ver de lejos mediante la sola intuición pura, pronto
sentiremos el vértigo. Nuestra debilidad tiene necesidad de una ayuda personal
más sólida, y, a pesar de las excepciones de las que acabamos de hablar, no deja
de ser cierto que la intuición sensible es en matemáticas el instrumento más
habitual de invención.
A propósito de estas reflexiones, una pregunta me surge que no tengo tiempo, no
ya de resolver, sino incluso de enunciar con los desarrollos que la cuestión debería
admitir. ¿Hay algún espacio para una nueva distinción, para distinguir entre los
analistas a los que, sobre todo, utilizan esta intuición pura y los que están en
primer lugar preocupados solo por la lógica formal?.
M. Hermite, por ejemplo, que acabo de citar, no puede ser clasificado entre los
geómetras que hacen uso de la intuición sensible; pero tampoco es un lógico,
propiamente dicho. Él no oculta su aversión a los procedimientos puramente
deductivos que parten de lo general y terminan en lo particular.
Versión al castellano
Carlos S. Chinea
casanchi.com
9