Lògica i intuïció.
Buscamos la realidad, pero ¿qué es la realidad?
Los fisiólogos nos enseñan que los organismos están formados por células; los químicos agregan que las células mismas están formadas por átomos. ¿Quiere decir esto que esos átomos o esas células constituyen la realidad o, por lo menos, la única realidad? La forma en que estas células están dispuestas y de la cual resulta la unidad del individuo, ¿no es también una realidad mucho más interesante que la de los elementos aislados? Un naturalista que no hubiera estudiado nunca al elefante sino con el microscopio, ¿creería conocer suficientemente a este animal?
Pues bien, en matemáticas ocurre algo análogo. El lógico descompone, por decirlo así, cada demostración en un número muy grande de operaciones elementales; cuando se hayan examinado estas operaciones, unas después de otras, y se haya comprobado que cada una de ellas es correcta, ¿se creerá haber comprendido el verdadero sentido de la demostración? ¿Asimismo, se habrá comprendido cuando, por un esfuerzo de memoria, nos hayamos capacitado para repetirla, reproduciendo todas esas operaciones elementales en el mismo ordenen que las había colocado el inventor?
Evidentemente, no; todavía no poseeremos la realidad completa; ese no sé qué que hace la unidad de la demostración, se nos escapará totalmente.
El análisis puro pone a nuestra disposición una multitud de procedimientos cuya infalibilidad nos garantiza; nos abre mil caminos diferentes en los que podemos entrar con toda confianza; estamos seguros de no encontrar obstáculos en ellos, pero ¿cuál todos de esos caminos es el que nos llevará más rápidamente al fin? ¿Quién nos dirá cuál hay que elegir? Nos hace falta una facultad que nos haga ver el objeto de lejos y esa facultad es la intuición. Es necesaria al explorador para elegir su ruta; no lo es menos a quien sigue sus huellas y quiere saber por qué la ha elegido.
Si asistís a una partida de ajedrez, para comprenderla no os bastará saber las reglas del movimiento de las piezas. Esto os permitirá solamente reconocer que cada jugada ha sido hecha conforme a estas reglas, y esta ventaja tendrá verdaderamente muy poco valor. Es, sin embargo, lo que haría un lector de un libro de matemáticas, si no fuera más que lógico.
Comprender la partida es enteramente otra cosa; es saber por el jugador avanza tal pieza más bien que tal otra que habría podido mover sin violar las reglas del juego. Es advertir la razón íntima que hace de esta serie de jugadas sucesivas una especie de todo organizado. Con mayor razón, esta facultad es necesaria al jugador mismo, es decir, al inventor.
[…] Por ejemplo, veamos lo que ha ocurrido con la idea de función continua. Al principio no era más que una imagen sensible, por ejemplo, la de un trazo continuo descrito con tiza en un pizarrón. Después se ha depurado poco a poco; pronto se ha utilizado para construir un complicado sistema de desigualdades, que reproduciría, por decirlo así, todas las líneas de la imagen primitiva; cuando esta construcción estuvo terminada, se ha descimbrado, por decirlo así, se ha desechado esta representación grosera que momentáneamente le había servido de apoyo y que sería inútil en adelante; no ha quedado más que la construcción misma, irreprochable ante los ojos del lógico.
Sin embargo, si la imagen primitiva hubiera desaparecido totalmente de nuestro recuerdo, ¿cómo adivinaríamos por qué capricho se han dispuesto estas desigualdades de esa manera, unas sobre otras?
[…] Así es como las antiguas nociones intuitivas de nuestros antepasados, aun cuando las hayamos abandonado, todavía imprimen su forma a los andamiajes lógicos que hemos colocado en su lugar.
Esta vista de conjunto es necesaria al inventor; es necesaria igualmente a aquél que quiere realmente comprender al inventor. ¿Puede dárnosla la lógica?
No, el nombre que le dan los matemáticos bastaría para probarlo. En matemáticas, la lógica se llama análisis, y análisis significa división, disección. No puede tener, pues, otra herramienta que el escalpelo y el microscopio.
De este modo, la lógica y la intuición tienen cada una un papel necesario. Ambas son indispensables. La lógica, que puede dar por sí misma la certeza, es el instrumento de la demostración; la intuición es el instrumento de la invención.
Comentaris