“En la investigación matemática, la intuición señala el camino, el rigor establece sus límites, la simulación computacional permite explorar y visualizar sus posibilidades, y la demostración matemática transforma una idea posible en una verdad compartida; juntas, estas fuerzas permiten descubrir, comprender y revelar las estructuras profundas que habitan detrás de los fenómenos matemáticos.”
PREÁMBULO
Cuando la naturaleza deja migajas
“La madre naturaleza es una asesina serial. No hay nadie mejor, ni más creativo. Pero como todo asesino serial, tiene el terrible deseo de ser descubierta. ¿Para qué cometer crímenes tan brillantes si nadie se lleva el crédito?
Así que deja migajas. Lo más difícil, lo que te mantiene una década en la escuela, es reconocer las migas como los indicios que son.
Y a veces, lo que creíste que era el aspecto más cruel y brutal del virus, es la gran debilidad en su armadura. Y le encanta disfrazar las debilidades como fortalezas”.
La frase anterior, pronunciada en el contexto de la película Guerra Mundial “Z”, la cual ví el domingo por la tarde, después de una comida, pertenece al lenguaje de la ficción.
Sin embargo, contiene una metáfora que puede trasladarse de manera extraordinariamente sugerente al territorio de la investigación matemática.
La naturaleza no se presenta ante nosotros con un pizarrón en la mano.
No entrega sus leyes acompañadas de un manual de instrucciones.
No nos dice qué ecuación debemos utilizar para comprender un fenómeno, ni nos indica dónde se encuentra, de manera explícita, la estructura que buscamos.
En ocasiones, solamente deja indicios.
Una regularidad numérica. Una simetría inesperada.
Una sucesión que parece obedecer una ley desconocida.
Una curva que modifica su forma, pero conserva alguna propiedad.
Una ecuación cuya sencillez aparente esconde una arquitectura que todavía no alcanzamos a comprender.
El investigador observa.
Se pregunta.
Compara.
Formula una hipótesis.
Y, en ese proceso, descubre que aquello que parecía una simple coincidencia podría ser la manifestación de una estructura matemática.
Pero reconocer una migaja no significa haber descubierto toda la verdad.
Esta distinción es fundamental.
La intuición puede señalar el camino, pero no puede sustituir la explicación.
La imaginación puede sugerir una relación, pero no puede reemplazar la demostración.
La belleza de una fórmula puede despertar admiración, pero no constituye, por sí misma, una prueba matemática.
En matemáticas, una idea extraordinaria adquiere su verdadera fuerza cuando puede ser expresada con claridad, examinada con rigor y justificada mediante argumentos válidos.
Esta reflexión nos conduce hacia la vida y obra de uno de los matemáticos más extraordinarios de la historia: Srinivasa Ramanujan.
A través de la película El hombre que conocía el infinito, nos aproximamos a un personaje cuya relación con los números parece desarrollarse con una sensibilidad excepcional.
Un hombre que encuentra belleza donde otros observan únicamente símbolos; que descubre relaciones donde otros ven expresiones aisladas; que se aproxima al infinito con una mezcla de curiosidad, sencillez y profundidad.
Ramanujan llega a un mundo académico en el que el rigor y la lógica constituyen una regla fundamental de comunicación matemática.
Un mundo donde las ideas deben ser expresadas de manera comprensible para otros investigadores, donde las afirmaciones necesitan fundamentos y donde una intuición, por brillante que sea, debe encontrar una forma de ser explicada.
El encuentro con G. H. Hardy representa, en la narración cinematográfica, mucho más que la reunión de dos matemáticos.
Representa el encuentro de dos lenguajes.
Uno que parece escuchar la música de los números y reconocer sus armonías.
Otro que exige que esas armonías sean expresadas mediante el lenguaje preciso de la demostración.
No se trata de afirmar que Ramanujan carecía de lógica, ni de reducir a Hardy a un matemático sin intuición.
Ambos poseían capacidades extraordinarias. La diferencia que nos interesa explorar está en sus trayectorias, sus formas de trabajo y las exigencias de la tradición matemática en la que se encuentran.
La pregunta que surge es inevitable: ¿Qué sucede cuando una intuición matemática extraordinaria se encuentra con un mundo que exige demostrar aquello que se afirma?
Esta pregunta no pertenece únicamente a la historia de Ramanujan.
Pertenece a todo aquel que se aproxima a la investigación matemática.
Porque investigar no consiste solamente en encontrar resultados.
Consiste también en comprenderlos, comunicarlos, someterlos a examen y establecer bajo qué condiciones son verdaderos.
Y aquí aparece una segunda pregunta, estrechamente relacionada con la primera:
¿Qué ocurre cuando una estructura permanece oculta detrás de la forma observable de un fenómeno?
Esta última inquietud nos conduce hacia una línea de reflexión que acompaña nuestra investigación personal sobre el problema del milenio de Navier–Stokes: la búsqueda de aquello que permanece, o que puede caracterizarse matemáticamente, cuando la forma visible de un fenómeno dinámico cambia.
La matemática, entonces, se presenta como un lenguaje capaz de aproximarnos a lo invisible.
Pero ese lenguaje tiene reglas.
Tiene definiciones.
Tiene axiomas.
Tiene demostraciones.
Y tiene, sobre todo, una responsabilidad: explicar por qué una afirmación matemática debe ser aceptada como verdadera dentro del marco en el que se formula.
El presente artículo propone una reflexión sobre ese encuentro entre la intuición y el rigor, tomando como punto de partida la vida de Ramanujan y su encuentro con Hardy.
No pretende establecer una equivalencia entre la obra de Ramanujan y la investigación sobre Navier–Stokes, sino explorar una afinidad metodológica: la búsqueda de estructuras que no siempre se revelan de inmediato a la observación.
Porque quizá una de las grandes lecciones de la investigación matemática sea precisamente esta:
La naturaleza puede dejar migajas.
La intuición puede reconocerlas.
Pero solamente el lenguaje matemático, cuando es claro, explicable y riguroso, nos permite comprender qué significan.
I. LA INVESTIGACIÓN MATEMÁTICA: ENTRE LA CURIOSIDAD Y LA VERDAD
¿Por qué matemáticas?
El lector podría preguntarse por qué comenzar una reflexión sobre la investigación matemática a partir de una película, una frase sobre la naturaleza y la vida de un matemático autodidacta.
La respuesta es sencilla, aunque sus consecuencias son profundas.
Las matemáticas forman parte de nuestra vida cotidiana.
Están presentes cuando pagamos una cuenta, medimos la temperatura, calculamos cuánto tiempo tardaremos en llegar a un destino, dividimos el pago de una cena o determinamos las cantidades necesarias para realizar una actividad.
También están presentes en problemas más complejos: el diseño industrial, la ingeniería electromecánica, la arquitectura, la física, la informática, la economía, la medicina, la astronomía y la exploración del universo.
En cada uno de estos campos, las matemáticas permiten describir relaciones, cuantificar fenómenos, formular modelos y estudiar estructuras.
Sin embargo, existe una diferencia importante entre utilizar las matemáticas y hacer investigación matemática.
En la vida cotidiana, podemos emplear una fórmula conocida para resolver un problema.
En la investigación, en cambio, podemos encontrarnos frente a una pregunta cuya respuesta todavía no conocemos.
No sabemos necesariamente qué fórmula utilizar.
No conocemos la estructura que buscamos.
No tenemos garantizado que el método que funcionó en un caso particular funcione en todos los casos.
Y es precisamente ahí donde comienza una actividad intelectual distinta: la investigación.
Investigar matemáticamente significa aventurarse hacia una región en la que el conocimiento existente puede no ser suficiente.
Es observar lo conocido y preguntarse qué falta por comprender.
Es reconocer que una expresión puede esconder una relación más profunda.
Es formular una conjetura y buscar los argumentos que permitan determinar si esa conjetura es verdadera.
Pero también significa aceptar la posibilidad de equivocarse.
Una intuición puede ser extraordinaria y, aun así, conducir a una afirmación falsa.
Una generalización puede funcionar en cien ejemplos y fallar en el siguiente.
Una simulación puede mostrar un comportamiento sugerente y, sin embargo, no demostrar que ese comportamiento se mantenga en todos los casos.
Por ello, el investigador matemático necesita algo más que creatividad.
Necesita claridad.
Necesita disciplina.
Necesita capacidad de explicación.
Y necesita rigor.
La intuición no es la demostración
Podemos expresar esta distinción mediante una formulación sencilla:
Intuición → Conjetura
Pero el proceso no termina ahí.
Conjetura → Análisis → Demostración
Cuando la afirmación ha sido demostrada bajo las hipótesis correspondientes, puede establecerse como un teorema.
Conjetura demostrada = Teorema
Esta expresión debe entenderse con precisión. La demostración debe ser válida, las definiciones deben estar claras y las hipótesis deben haber sido formuladas correctamente.
La intuición puede ayudarnos a encontrar el resultado.
El rigor nos permite justificarlo.
Y la explicación matemática permite que otros investigadores comprendan el camino seguido.
La investigación matemática no exige renunciar a la intuición; exige que la intuición encuentre un lenguaje que pueda ser comprendido y examinado.
II. EL HOMBRE QUE CONOCÍA EL INFINITO
La película El hombre que conocía el infinito nos aproxima a la historia de Srinivasa Ramanujan y a su encuentro con el mundo académico de Cambridge, particularmente con G. H. Hardy.
Más allá de la dramatización cinematográfica, hay un asunto que merece nuestra atención como investigadores: la relación entre la intuición matemática y la demostración rigurosa.
Ramanujan no llegó a las matemáticas desde el camino académico convencional de su época. Su formación fue en gran medida autodidacta. Trabajó con fórmulas, identidades, series, fracciones continuas y propiedades de los números, guiado por una intuición extraordinaria.
Su manera de acercarse a las matemáticas parecía, en muchos momentos, distinta de la de sus contemporáneos.
Él encontraba resultados.
Veía relaciones.
Reconocía patrones.
Y, en numerosas ocasiones, llegaba a conclusiones cuya profundidad sorprendía a quienes posteriormente estudiaban sus escritos.
Sin embargo, el mundo al que llegó exigía algo más:
No bastaba con encontrar la verdad. Era necesario demostrarla.
Y aquí aparece una de las grandes lecciones de la investigación matemática.
La intuición es una fuerza creadora, pero la demostración es la herramienta que permite establecer la validez de una afirmación.
La intuición puede sugerir una identidad.
La matemática rigurosa debe determinar si esa identidad es verdadera y bajo qué condiciones.
La intuición puede revelar una estructura.
La investigación debe definirla, examinarla y justificarla.
La belleza de una idea no disminuye cuando se demuestra.
Por el contrario, puede adquirir una profundidad todavía mayor.
III. DOS LENGUAJES MATEMÁTICOS
La intuición que descubre y el rigor que explica
La expresión “dos lenguajes matemáticos” no debe entenderse como una oposición absoluta.
No existen, por un lado, las matemáticas de la intuición y, por otro, las matemáticas de la lógica, como si fueran disciplinas independientes.
La intuición y la lógica forman parte de una misma actividad matemática.
Sin intuición, la investigación podría carecer de preguntas originales.
Sin rigor, las respuestas podrían permanecer en el terreno de la especulación.
La intuición permite imaginar una relación.
El lenguaje matemático permite formularla.
La demostración permite establecerla.
Y la comunicación permite compartirla.
Podemos representar esta relación de la siguiente manera:
Intuición → Formulación → Explicación → Demostración
Esta secuencia no debe interpretarse como un procedimiento rígido que siempre ocurre en ese orden.
En la práctica, el investigador puede avanzar, retroceder, reformular hipótesis, encontrar contraejemplos y modificar sus ideas.
Sin embargo, sí expresa una exigencia fundamental:
Una intuición matemática debe poder convertirse en una afirmación precisa y examinable.
Si alguien afirma que una sucesión presenta una regularidad, debe poder indicar cuál es la regularidad.
Si propone que una estructura permanece durante la evolución de un fenómeno, debe definir qué entiende por estructura y qué significa que permanezca.
Si afirma que una ecuación posee una propiedad determinada, debe establecer bajo qué condiciones esa propiedad se cumple.
La intuición abre la puerta.
La explicación nos permite entrar.
El rigor nos permite saber qué encontramos.
Una metodología para transformar la intuición en conocimiento
La historia de Ramanujan y su encuentro con Hardy nos permite reflexionar sobre la importancia de contar con herramientas que ayuden a transformar una intuición en una investigación matemática formal.
Así como en su tiempo G. H. Hardy representó, dentro de la historia que nos ocupa, una figura vinculada con la exigencia del rigor matemático, en este siglo XXI encontramos al Dr. Francisco Bulnes, matemático mexicano, cuya propuesta metodológica y cuyo trabajo en investigación han contribuido a mi propia formación y a la manera en que actualmente me aproximo al estudio de las matemáticas.
En este punto deseo hacer una referencia personal.
Durante mi proceso de formación matemática he estado estudiando la Metodología de Investigación por Fundamentos, desarrollada por el Dr. Francisco Bulnes, y he comenzado a incorporarla con mayor dominio a mis propios trabajos de investigación y divulgación.
A través de esta metodología he encontrado una herramienta que me permite organizar las preguntas, identificar sus fundamentos y conducirlas hacia una formulación matemática que pueda ser examinada con mayor claridad.
No se trata solamente de comenzar con una idea y buscar una ecuación que parezca describirla.
Se trata de preguntarse:
¿Qué estoy afirmando?
¿Por qué considero que esa afirmación es verdadera?
¿Cuáles son los fundamentos que la sostienen?
¿Qué conceptos matemáticos necesito definir?
¿Qué problema surge de esa afirmación?
¿Qué estructura matemática puede expresar lo que estoy buscando?
Y, finalmente:
¿Qué necesito demostrar para que mi investigación pueda sostenerse matemáticamente?
Estas preguntas representan un cambio importante en la manera de aproximarse a la investigación.
La intuición continúa siendo necesaria.
La creatividad continúa siendo indispensable.
Pero ambas comienzan a integrarse dentro de una arquitectura de pensamiento que exige fundamentos, precisión y demostración.
De la premisa verdadera a la demostración
Una de las ideas centrales que he encontrado en el estudio de la Metodología de Investigación por Fundamentos es la importancia de comenzar con una premisa verdadera.
Esta exigencia tiene un significado profundo.
Una investigación matemática no puede construirse adecuadamente sobre afirmaciones que no han sido examinadas, conceptos ambiguos o supuestos que se presentan como verdades sin fundamento.
Por ello, el primer paso consiste en identificar una afirmación que pueda sostenerse.
A partir de ella, se busca formular un fundamento matemático.
Ese fundamento puede expresarse mediante un axioma, una definición, una hipótesis o un resultado previamente establecido, según la naturaleza del problema.
Después, la investigación puede avanzar hacia la formulación de un teorema, la construcción de lemas auxiliares, la elaboración de pruebas y la demostración rigurosa.
Podemos representar esta arquitectura de manera esquemática:
Premisa verdadera → Fundamento matemático → Teorema → Lemas → Pruebas → Demostración
Sin embargo, esta representación debe entenderse como una guía metodológica y no como una secuencia obligatoria para toda investigación matemática.
En matemáticas, el orden lógico puede variar.
En ocasiones, primero se formula una conjetura.
Después se buscan ejemplos.
Se identifican propiedades auxiliares.
Se construyen lemas.
Se descubre que una hipótesis necesita modificarse.
Se reformula el enunciado.
Y solamente después se alcanza una demostración.
Lo importante no es seguir mecánicamente una lista de pasos, sino comprender que cada afirmación debe tener un fundamento y que cada conclusión debe estar respaldada por argumentos válidos.
La premisa verdadera: el punto de partida
Una premisa es una afirmación que se utiliza como punto de partida para un razonamiento.
En una investigación matemática, la premisa debe ser clara y estar debidamente justificada.
Por ejemplo, podemos considerar la siguiente afirmación:
La suma de dos números pares es un número par.
Esta afirmación puede expresarse matemáticamente.
Sean a y b dos números pares.
Entonces existen enteros m,n tales que:
a = 2m, b = 2n.
Por tanto,
a + b = 2m + 2n = 2(m + n).
Como m + n es un entero, concluimos que a + b es par.
a + b es par.
En este ejemplo, la afirmación inicial puede justificarse mediante la definición de número par y una demostración elemental.
La investigación matemática, sin embargo, puede comenzar con premisas mucho más complejas.
Puede partir de una propiedad geométrica.
De una ecuación diferencial.
De una estructura algebraica.
De una observación sobre una sucesión.
De una hipótesis física que necesita ser traducida al lenguaje matemático.
En todos los casos, el investigador debe preguntar qué significa exactamente la afirmación y qué fundamentos permiten utilizarla.
El axioma: un fundamento dentro de un sistema
El axioma ocupa un lugar importante en la construcción matemática.
Un axioma es una afirmación que se adopta como punto de partida dentro de un sistema formal.
No debe confundirse con una afirmación que simplemente nos parece evidente.
La evidencia intuitiva y la aceptación de un axioma son cuestiones diferentes.
Un axioma forma parte de las reglas o supuestos que definen el marco en el que se desarrolla una teoría.
A partir de esos fundamentos, y mediante reglas válidas de razonamiento, pueden establecerse nuevos resultados.
Podemos expresar esta relación:
Axiomas + Definiciones + Reglas lógicas → Teoremas
En este contexto, la intuición puede sugerir qué axiomas, definiciones o propiedades conviene estudiar, pero la construcción matemática exige precisar su significado.
La metodología que estoy estudiando me invita a prestar especial atención a este punto: no basta con formular una pregunta interesante; es necesario identificar los fundamentos que permitirán desarrollarla.
Del fundamento al teorema
Un teorema es un enunciado matemático que ha sido demostrado a partir de hipótesis, definiciones y resultados previamente establecidos.
La diferencia entre una conjetura y un teorema es esencial.
Una conjetura puede ser una afirmación que parece verdadera.
Un teorema es una afirmación cuya demostración ha sido establecida dentro del marco matemático correspondiente.
Podemos expresarlo así:
Conjetura + Hipótesis + Argumentos válidos → Teorema
La demostración no es un trámite posterior.
Es el procedimiento que permite establecer la validez del resultado.
En una investigación personal, esta distinción adquiere un valor especial.
Cuando encuentro una relación que considero interesante, debo preguntarme si se trata de una observación, una hipótesis, una conjetura o un resultado ya demostrado.
Cada categoría tiene un significado distinto.
Y reconocer esa diferencia es parte del aprendizaje matemático.
Los lemas y las pruebas: construir el camino
En matemáticas, un lema es un resultado auxiliar que se utiliza para demostrar otro resultado, con frecuencia un teorema.
Un lema puede parecer pequeño en comparación con el resultado principal, pero su importancia puede ser considerable.
En ocasiones, la demostración de un teorema depende de establecer previamente varias propiedades auxiliares.
Podemos representarlo: L₁, L₂, L₃ → Teorema
Donde cada Lᵢ representa un lema demostrado.
Las pruebas son los argumentos mediante los cuales se establece que una afirmación se sigue de los fundamentos disponibles.
En este punto, la metodología de investigación adquiere una dimensión práctica.
La pregunta deja de ser únicamente:
¿Qué creo que está ocurriendo?
Y comienza a transformarse en: ¿Qué puedo demostrar acerca de lo que estoy estudiando?
Esta transición es fundamental.
Porque la investigación matemática no consiste únicamente en formular ideas originales.
Consiste en construir un camino lógico que permita a otros investigadores comprender y examinar esas ideas.
IV. RAMANUJAN, HARDY Y LA FORMACIÓN DE UN INVESTIGADOR
De la intuición al lenguaje compartido
La historia de Ramanujan nos muestra un encuentro entre un matemático de formación autodidacta y una tradición académica caracterizada por el rigor de la demostración.
Mi propia experiencia de formación matemática me ha permitido encontrar otra dimensión de ese encuentro: la relación entre la intuición, el estudio sistemático y una metodología que ayuda a organizar la investigación.
Así como Ramanujan encontró en Cambridge un ambiente donde sus resultados debían expresarse en un lenguaje matemático compartido, en mi proceso de formación he encontrado en el estudio de la Metodología de Investigación por Fundamentos una herramienta para fortalecer la manera en que formulo mis propias preguntas.
El objetivo no es imitar la trayectoria de Ramanujan.
Tampoco establecer una comparación entre su obra y la de investigadores contemporáneos.
La intención es reconocer una enseñanza común:
La investigación matemática necesita tanto la capacidad de descubrir como la capacidad de explicar.
En este sentido, el trabajo del Dr. Francisco Bulnes representa para mi formación una referencia metodológica importante.
Su propuesta me ha permitido estudiar la investigación desde una perspectiva en la que los fundamentos ocupan un lugar central.
La premisa verdadera.
El fundamento matemático.
El problema.
La formulación.
El teorema.
Los lemas.
Las pruebas.
La demostración.
Cada uno de estos elementos puede ayudar a construir una investigación más clara y ordenada.
No porque toda investigación deba recorrer exactamente el mismo camino, sino porque cada resultado debe encontrar su lugar dentro de una estructura lógica.
La investigación como aprendizaje permanente
La formación matemática no termina cuando se aprende una fórmula.
Tampoco termina cuando se comprende una demostración.
La investigación exige continuar aprendiendo.
Exige reconocer los límites del conocimiento propio.
Exige estudiar nuevas herramientas.
Exige aceptar que una pregunta puede ser más profunda de lo que inicialmente parecía.
En mi caso, el estudio de la matemática ha representado un proceso de aprendizaje continuo.
La incorporación de la Metodología de Investigación por Fundamentos forma parte de ese proceso.
A través de ella, he buscado desarrollar una manera más precisa de trabajar con las ideas que surgen en mis investigaciones, incluyendo aquellas relacionadas con las estructuras matemáticas y la dinámica de los fenómenos.
La intuición continúa siendo una fuente de preguntas.
Pero ahora la pregunta se acompaña de una exigencia adicional:
¿Cómo puedo expresar matemáticamente lo que estoy observando y qué necesito demostrar para sostenerlo?
Esta pregunta representa una de las transformaciones más importantes que puede experimentar un investigador.
V. LA MÚSICA DE LOS NÚMEROS
Ramanujan y la belleza de las relaciones matemáticas
La expresión “escuchar la música de los números” puede parecer poética, pero nos permite formular una reflexión matemática importante.
Los números poseen relaciones.
Las sucesiones pueden presentar regularidades.
Las funciones pueden mostrar simetrías.
Las identidades pueden revelar que expresiones aparentemente diferentes representan el mismo objeto matemático.
En ocasiones, el investigador reconoce esas relaciones antes de encontrar una demostración completa.
La sensibilidad para percibirlas puede convertirse en una fuente de descubrimientos.
Sin embargo, la metáfora musical no sustituye la explicación.
Si una sucesión parece armoniosa, debemos determinar qué significa esa armonía.
Si una identidad parece evidente, debemos establecer por qué es válida.
Si una estructura parece conservarse, debemos precisar qué se conserva y bajo qué hipótesis.
La matemática convierte la percepción de una relación en un objeto que puede ser analizado.
Un ejemplo: el número 1729
El conocido episodio del número 1729 permite mostrar cómo una observación numérica puede conducir a una pregunta matemática.
1729 = 1³ + 12³
y también:
1729 = 9³ + 10³.
Por tanto,
1729 = 1 + 1728 = 729 + 1000.
El número posee una propiedad especial: es el menor entero positivo que puede expresarse como suma de dos cubos positivos de dos maneras distintas.
Esta propiedad puede formularse mediante la pregunta:
¿Para qué números n existen enteros positivos distintos a,b,c,d tales que
n = a³ + b³ = c³ + d³?
La observación de una propiedad particular nos conduce a una pregunta general.
Y la pregunta general nos conduce a una investigación.
Aquí aparece nuevamente la relación entre intuición y rigor.
La intuición puede señalar que un número posee una propiedad interesante.
La matemática permite formular esa propiedad con precisión.
El rigor permite determinar qué afirmaciones son verdaderas.
La investigación continúa cuando intentamos comprender la estructura de todos los números que poseen esa característica.
VI. LAS MIGAJAS DE LA NATURALEZA Y LAS ESTRUCTURAS OCULTAS
Del indicio a la pregunta matemática
La frase que da origen a este artículo nos conduce nuevamente a la metáfora de las migajas.
En la investigación matemática, una migaja puede ser una observación pequeña que abre una pregunta mayor.
Un número puede revelar una propiedad inesperada.
Una ecuación puede mostrar una simetría.
Una sucesión puede sugerir una ley.
Un fenómeno dinámico puede presentar una regularidad que no resulta evidente a simple vista.
Pero debemos tener cuidado.
No toda regularidad es una ley matemática.
No todo patrón observado es una estructura universal.
No toda coincidencia numérica tiene una explicación profunda.
El investigador necesita distinguir entre lo que observa y lo que puede demostrar.
Esta distinción es especialmente importante cuando se utilizan herramientas computacionales.
Una simulación puede mostrar que una propiedad parece conservarse durante cierto intervalo de tiempo.
Eso puede ser una pista.
Puede sugerir una conjetura.
Puede ayudar a explorar un problema.
Pero no demuestra, por sí sola, que la propiedad se conserve para todas las condiciones posibles.
La simulación es una herramienta de investigación.
La demostración es el procedimiento que establece la validez matemática de una afirmación dentro de su marco formal.
Una premisa para investigar la estructura invisible
La metodología que estoy estudiando también puede ayudarnos a formular con mayor precisión la pregunta que acompaña nuestra investigación personal sobre Navier–Stokes: ¿Qué estructura matemática permanece cuando la forma observable de un fenómeno dinámico cambia?
Esta pregunta puede conducir hacia una premisa de investigación.
Sin embargo, debemos distinguir entre una premisa de trabajo y un resultado demostrado.
Podemos proponer, como punto de partida exploratorio: En determinados fenómenos dinámicos, la evolución de la forma observable puede estar acompañada por propiedades matemáticas que permitan caracterizar su comportamiento.
Esta afirmación no establece que exista una huella geométrica universal.
Tampoco demuestra que una estructura permanezca invariante en todos los flujos.
Es una premisa que debe ser examinada.
Para desarrollarla matemáticamente, sería necesario definir con precisión:
¿Qué entendemos por forma observable?
¿Qué entendemos por estructura?
¿Qué significa que una estructura permanezca?
¿Qué tipo de función o cantidad matemática podría representar esa permanencia?
¿Bajo qué hipótesis sería posible demostrarla?
Estas preguntas nos conducen nuevamente al encuentro entre intuición y rigor.
La intuición puede sugerir una posible huella.
La metodología puede ayudar a organizar el problema.
Las matemáticas deben permitirnos formularlo con precisión.
Y la demostración debe determinar qué afirmaciones pueden sostenerse.
VII. EL ENCUENTRO CON NAVIER–STOKES: UNA INVESTIGACIÓN PERSONAL.
De la forma observable a la estructura matemática
La relación entre la intuición y el rigor adquiere una dimensión especial cuando nos aproximamos a problemas de la matemática contemporánea.
El problema del milenio de Navier–Stokes constituye uno de los ejemplos más conocidos de una pregunta cuya formulación puede expresarse mediante ecuaciones, pero cuya resolución general exige responder cuestiones profundas sobre la existencia y regularidad de soluciones.
Las ecuaciones de Navier–Stokes describen el movimiento de fluidos bajo un modelo matemático determinado.
Una de las preguntas centrales del problema del milenio es si, para datos iniciales suaves y apropiados, las soluciones en tres dimensiones permanecen suaves y existen globalmente en el tiempo, o si pueden desarrollar singularidades.
La pregunta no se resuelve observando únicamente un río, una corriente de agua o una simulación.
Tampoco se resuelve afirmando que una estructura parece conservarse en un conjunto de ejemplos.
La investigación requiere formular con precisión las propiedades que se estudian y demostrar los resultados bajo las hipótesis correspondientes.
Aquí es donde la metáfora de las migajas vuelve a adquirir significado.
Una simulación puede mostrar una regularidad.
Una observación puede sugerir una estructura.
Una comparación puede revelar un patrón.
Pero la matemática debe determinar qué significa ese patrón y si puede establecerse como una propiedad general.
En nuestra investigación personal sobre la estructura invisible, la pregunta por la huella geométrica puede servir como una dirección exploratoria.
No como un resultado ya demostrado.
No como una afirmación de que se ha resuelto Navier–Stokes.
Sino como una pregunta que necesita desarrollarse mediante definiciones, formulaciones matemáticas y argumentos verificables.
La intuición puede conducirnos hacia una posible estructura.
El rigor nos obliga a preguntar si realmente existe, cómo se define y bajo qué condiciones puede demostrarse.
VIII. LA RESPONSABILIDAD DE EXPLICAR
La matemática como lenguaje compartido
La investigación matemática posee una dimensión que merece especial atención: la responsabilidad de comunicar.
Un resultado que no puede ser comprendido por otros investigadores puede permanecer aislado.
Una intuición que no encuentra una formulación precisa puede ser difícil de examinar.
Una afirmación que no distingue sus hipótesis de sus conclusiones puede conducir a interpretaciones incorrectas.
Por ello, explicar no significa simplemente utilizar palabras sencillas.
Significa hacer explícita la estructura lógica del razonamiento.
Significa definir los conceptos.
Significa indicar las hipótesis.
Significa distinguir lo que se observa de lo que se demuestra.
Significa reconocer qué resultados son conocidos, cuáles son conjeturas y cuáles son aportaciones propias.
La metodología de investigación por fundamentos me ha ayudado a comprender la importancia de esta responsabilidad.
El investigador no debe limitarse a decir: “He encontrado una relación”.
Debe poder expresar: “Esta es la relación que propongo, estas son sus condiciones, estos son los fundamentos que utilizo y este es el argumento mediante el cual intento demostrarla”.
Esa es una diferencia esencial entre una intuición y una investigación matemática formal.
La humildad frente a la matemática
La investigación matemática puede conducir a resultados extraordinarios, pero no elimina la necesidad de aprender.
Siempre existen definiciones que comprender, métodos que estudiar, argumentos que revisar y preguntas que todavía no sabemos responder.
El investigador puede tener una intuición profunda y, al mismo tiempo, necesitar aprender nuevas herramientas para expresarla.
Puede descubrir una relación y descubrir después que debe reformularla.
Puede encontrar un patrón y comprobar que no se cumple bajo las condiciones que inicialmente había supuesto.
La humildad matemática consiste en reconocer que una idea, por hermosa que sea, debe someterse a examen.
No se trata de disminuir la confianza en la creatividad.
Se trata de reconocer que la matemática posee una estructura lógica que no depende de la seguridad personal del investigador.
En ese sentido, la humildad y el rigor no son actitudes opuestas.
Ambas contribuyen a la investigación.
IX. EL INVESTIGADOR Y EL VALOR DE APRENDER
La formación matemática como un camino abierto
Existe una idea que merece ser destacada: nadie necesita haber nacido dentro de una universidad para desarrollar una pregunta matemática valiosa.
La historia de Ramanujan nos recuerda que la curiosidad, el estudio y la capacidad de observar pueden conducir hacia descubrimientos extraordinarios.
Pero también nos recuerda que la formación matemática requiere esfuerzo.
Requiere aprender el lenguaje.
Requiere estudiar los fundamentos.
Requiere comprender las herramientas.
Requiere aceptar que una idea puede ser correcta en su intuición, pero insuficiente en su formulación.
La investigación matemática es un camino de aprendizaje permanente.
No se trata de llegar a un punto en el que ya no existan preguntas.
Se trata de adquirir mejores herramientas para formularlas.
En mi propio proceso de formación, el estudio de la Metodología de Investigación por Fundamentos representa una parte importante de ese camino.
La posibilidad de comenzar con una premisa verdadera, formular un fundamento, desarrollar una pregunta y buscar la demostración me permite observar la investigación desde una perspectiva más estructurada.
Esta metodología no elimina la incertidumbre.
La hace visible.
No sustituye el trabajo matemático.
Lo organiza.
No garantiza que una conjetura sea verdadera.
Ayuda a determinar qué necesitamos demostrar.
Y en esa exigencia se encuentra una de las grandes riquezas de la investigación.
X. EPÍLOGO
El encuentro de dos lenguajes y una misma búsqueda
La historia de Ramanujan y Hardy nos permite reflexionar sobre dos dimensiones fundamentales de la investigación matemática.
La intuición que descubre.
El rigor que explica.
Ramanujan nos recuerda la importancia de la creatividad, de la curiosidad y de la capacidad de reconocer relaciones profundas en los números.
Hardy nos recuerda la importancia de la demostración, de la precisión y de un lenguaje matemático compartido.
En el siglo XXI, el estudio de la Metodología de Investigación por Fundamentos del Dr. Francisco Bulnes me ha permitido encontrar una herramienta para continuar desarrollando mi propia formación matemática.
A través de ella, he comenzado a trabajar con mayor dominio en la formulación de premisas, fundamentos, problemas, teoremas, lemas, pruebas y demostraciones.
Este aprendizaje forma parte de mi investigación personal.
No pretende sustituir la intuición.
Pretende darle una estructura.
No pretende limitar la creatividad.
Pretende ayudar a expresarla con mayor claridad.
No pretende convertir toda observación en un teorema.
Pretende establecer las condiciones necesarias para que una afirmación pueda ser examinada y, cuando corresponda, demostrada.
Porque en matemáticas, una idea puede ser hermosa.
Puede ser original.
Puede ser sorprendente.
Pero su valor como resultado matemático depende de que pueda sostenerse mediante argumentos válidos.
La naturaleza puede dejar migajas.
El investigador puede reconocerlas.
La intuición puede conducirnos hacia una posible estructura.
La metodología puede ayudarnos a organizar la búsqueda.
Y el rigor matemático puede permitirnos determinar qué hemos encontrado realmente.
Una última reflexión
Quizá el mayor desafío de la investigación matemática no consiste únicamente en descubrir algo que nadie había visto.
Quizá consiste también en aprender a explicar aquello que hemos visto, para que otros puedan comprenderlo, examinarlo y continuar la búsqueda.
Porque la matemática no pertenece exclusivamente a quien encuentra una idea.
Pertenece también a quienes la estudian, la cuestionan, la demuestran y la desarrollan.
En ese sentido, Ramanujan continúa siendo una inspiración.
No únicamente por sus resultados.
También por la curiosidad que representa, por la profundidad de sus preguntas y por la posibilidad de encontrar belleza en estructuras que, a primera vista, parecían ocultas.
Hardy nos recuerda que el rigor es indispensable.
La Metodología de Investigación por Fundamentos nos invita a organizar la búsqueda desde sus cimientos.
Y la investigación contemporánea nos recuerda que todavía existen preguntas cuya respuesta permanece abierta.
La intuición puede ser la primera chispa.
La explicación puede convertirla en una pregunta.
La matemática puede darle forma.
La demostración puede establecer su verdad.
Y el conocimiento compartido puede permitir que esa verdad continúe iluminando a otros.
Porque investigar matemáticamente es aprender a mirar más allá de lo evidente, reconocer las migajas que deja la naturaleza y tener la humildad de convertir cada intuición en una pregunta que merezca ser demostrada.
“Entre la intuición que descubre y el rigor que demuestra existe un lenguaje común: las matemáticas. Ramanujan nos enseñó a reconocer la belleza de los números; Hardy, la responsabilidad de demostrarla. Y en nuestro tiempo, la investigación continúa cuando aprendemos a transformar una premisa en una pregunta, una pregunta en un teorema y un teorema en conocimiento compartido.”
