¿Por qué la lógica y las matemáticas parecen trascender la materia?

¿Por qué la lógica y las matemáticas parecen trascender la materia?

Un matemático escribe una ecuación en la pizarra. La tiza es física. La pizarra es física. El movimiento de la mano es físico, y también lo son los procesos eléctricos y químicos que se disparan en el cerebro. Pero ¿qué hay de la verdad que expresa la ecuación?

Los símbolos pueden borrarse sin que la ecuación se vuelva falsa. Todos los matemáticos que la entienden podrían morir sin alterar sus consecuencias lógicas. Otra civilización podría escribir la misma relación con signos completamente distintos. La inscripción física claramente no es lo mismo que la verdad matemática que comunica.

La lógica plantea un enigma parecido. Podemos escribir la ley de no contradicción en un papel, pero la ley no está hecha de tinta. Podemos pensar en ella con neuronas, y sin embargo su validez no parece depender del estado del cerebro de nadie. Un cerebro dañado puede fallar al razonar correctamente; con eso no cambia lo que el razonamiento correcto es.

Observaciones como estas han llevado a muchos filósofos a concluir que la lógica y las matemáticas no pueden explicarse puramente como objetos o sucesos físicos. Otros se resisten a esa conclusión y sostienen que el lenguaje matemático puede entenderse mediante convenciones humanas, construcciones conceptuales, sistemas formales o ficciones útiles.

Así que la cuestión no se resuelve con declarar simplemente: «Los números son inmateriales, por tanto Dios existe». Filósofos serios discrepan sobre si los números existen siquiera, a qué se refieren en realidad los enunciados matemáticos y qué tipo de realidad poseen las leyes lógicas. La versión honesta de la pregunta es comparativa:

¿Qué significa «trascender la materia»?

Decir que la lógica y las matemáticas parecen trascender la materia no significa que floten en algún lugar por encima del universo como objetos fantasmales. Significa que tienen rasgos difíciles de identificar con cualquier cosa física en particular.

Consideremos el enunciado:

Dos más dos son cuatro.

La oración en una pantalla es física. Los sonidos pronunciados son vibraciones físicas. El acto mental de considerarla presumiblemente involucra al cerebro. Y sin embargo la verdad del enunciado no parece estar en ninguna dirección. No tiene peso, temperatura, carga ni tamaño. Y, según los significados ordinarios de los términos, no ocurre meramente que sea verdadero: no podría haber sido falso.

Las condiciones físicas podrían haber sido otras. El universo podría haber contenido menos galaxias. La Tierra podría no haberse formado nunca. Podría no haber surgido jamás ninguna civilización humana. Pero es difícil imaginar cómo alguno de esos cambios haría que dos y dos dejaran de ser cuatro. Ese contraste, entre hechos físicos contingentes y verdades aparentemente necesarias, está en el centro del problema.

En palabras sencillas:

Contingente significa «podría haber sido de otro modo»: la Tierra podría no haberse formado nunca. Necesario significa «no podría haber sido de otro modo»: dos y dos no pueden dar cinco. El mundo físico está lleno de hechos contingentes. Las matemáticas parecen estar llenas de hechos necesarios. Ese desajuste es todo el enigma en una frase.

Hay, sin embargo, una salvedad importante. No todo naturalista cree que solo existen objetos físicos. Algunos filósofos naturalistas aceptan entidades matemáticas abstractas precisamente porque las matemáticas parecen indispensables para nuestra mejor ciencia. Por eso naturalismo, fisicalismo y nominalismo no deben tratarse como intercambiables. El desafío que aquí se plantea golpea con más fuerza a un materialismo estrictamente reduccionista, es decir, la postura según la cual nada existe más allá de la realidad física concreta.

Los filósofos llaman abstracto a algo que no está hecho de materia, no está ubicado en el espacio y no puede causar que ocurra nada; por ejemplo, el número tres mismo, a diferencia de tres monedas que puedes dejar caer sobre una mesa. Ten presente esa palabra: el resto del ensayo gira en torno a si tales cosas son reales.

¿Dónde vive la ley de no contradicción?

La ley de no contradicción suele formularse como el principio de que una cosa no puede tener y no tener a la vez la misma propiedad, al mismo tiempo y en el mismo sentido. Aristóteles la trató como el principio más seguro en que se apoya el pensamiento con sentido. En el libro IV de la Metafísica sostuvo que negarla amenaza la posibilidad misma de un significado definido y de un discurso racional.

Supongamos que alguien afirma:

La ley de no contradicción es falsa.

La afirmación tiene sentido solo si afirmar que es falsa excluye afirmar que es verdadera, en el mismo sentido. De modo que el crítico parece apoyarse en una distinción entre afirmar y negar mientras ataca el principio que sustenta esa distinción.

Esto no significa que ningún filósofo haya cuestionado jamás la ley sin restricciones. Los dialeteístas sostienen que al menos algunas contradicciones son verdaderas, a menudo apoyándose en paradojas como la del mentiroso («esta oración es falsa»). También se han construido lógicas paraconsistentes en las que una contradicción no implica toda conclusión posible. Pero paraconsistencia y dialeteísmo no son lo mismo: un lógico puede estudiar un sistema tolerante a las contradicciones sin creer que alguna contradicción real sea verdadera. El dialeteísmo sigue siendo una postura minoritaria incluso entre quienes trabajan en el razonamiento paraconsistente.

Aun así, preguntar dónde «vive» la ley quizá ya suponga demasiado. Un nominalista responde que las leyes lógicas no son objetos que necesiten ubicación alguna; son reglas que gobiernan el lenguaje o la inferencia. Un realista dice que expresan rasgos necesarios de la realidad. Un conceptualista las lee como estructuras del pensamiento racional. Y un conceptualista teísta las funda en el intelecto divino eterno. La pregunta no es geográfica sino ontológica: ¿qué tipo de cosa es, si es algo, una ley lógica?

«Ontológico» solo significa «relativo a lo que existe y a qué tipo de cosa es». El desacuerdo no es sobre en qué estante se encuentra la ley de no contradicción. Es sobre si es una cosa en absoluto, una regla que seguimos o una verdad que ya estaba en vigor antes de que alguien la enunciara.

Vale la pena señalar que algunos filósofos cristianos han llevado este punto concreto hasta convertirlo en un argumento. James Anderson y Greg Welty, por ejemplo, han sostenido que las leyes de la lógica se entienden mejor como pensamientos, y que pensamientos necesarios y universales requieren una mente necesaria y universal que los piense. Se considere o no decisiva la inferencia, muestra que la «ubicación» de las leyes lógicas es territorio filosófico vivo y no un asunto zanjado.

¿Se inventan o se descubren las matemáticas y la lógica?

El conocido debate entre invención y descubrimiento puede inducir a error, porque las matemáticas parecen implicar ambas cosas.

Los seres humanos claramente inventan los símbolos («2», «π», «=»), la terminología y la notación, los sistemas de medida, las definiciones, los marcos axiomáticos particulares y las preguntas que los matemáticos eligen perseguir. No hay nada inevitable en escribir «2» para el número que sigue al uno; otra civilización podría usar un signo diferente sin practicar una aritmética diferente.

Sin embargo, una vez fijadas las definiciones y los axiomas, sus consecuencias no parecen plegarse a las preferencias. Un matemático no puede decidir que una demostración válida ha dejado de serlo porque su conclusión resulta incómoda. Aparecen relaciones nuevas que nadie anticipaba cuando se introdujeron los conceptos originales.

Inventamos el juego del ajedrez, pero una vez fijadas las reglas descubrimos qué posiciones son posibles y qué estrategias ganan. Las matemáticas pueden funcionar de manera similar, aunque la analogía no resuelve si las estructuras matemáticas son meras invenciones regidas por reglas o realidades que nuestros sistemas van descubriendo. Es posible un resumen equilibrado: inventamos lenguajes y métodos matemáticos, y descubrimos relaciones que no están bajo nuestro control individual. Lo que sigue en disputa es por qué esas relaciones tienen su aparente objetividad y necesidad.

Cuatro maneras de entender la verdad matemática

Los filósofos han desarrollado muchas posturas en la filosofía de las matemáticas. Cuatro importan más para la pregunta de si las matemáticas trascienden la materia. Aquí están de un vistazo antes de recorrer cada una:

1 · Platonismo: los objetos matemáticos existen independientemente

El platonismo matemático sostiene, en términos generales, que los objetos matemáticos —números, conjuntos, funciones— existen independientemente de las mentes humanas y de las cosas físicas. El número tres no es idéntico a tres manzanas, tres neuronas ni al signo «3»; esas son instancias físicas o representaciones de la «tresidad». El número mismo es abstracto: no físico, no espacial y no dependiente de los pensamientos de nadie. (El platonismo moderno no debe confundirse con aceptar cada detalle de la filosofía del propio Platón; es una familia de posturas unidas por la creencia en una realidad matemática independiente de la mente.)

Su fortaleza. El platonismo explica con sencillez por qué las matemáticas se sienten descubiertas y no inventadas. Los matemáticos pueden equivocarse porque hay una materia objetiva sobre la cual pueden equivocarse. Las verdades matemáticas valdrían aunque no hubiera seres humanos, porque no dependen de nosotros. Y el platonismo respalda leer los enunciados matemáticos ordinarios en su sentido llano: «tres es primo» parece tratar del número tres, no ser solo una jugada en un juego de símbolos.

Su dificultad. El gran desafío es el conocimiento. Si los números son causalmente inertes y están fuera del espacio y del tiempo, ¿cómo saben algo de ellos los seres humanos físicos? No vemos el número siete por un telescopio ni lo detectamos en un acelerador de partículas. El influyente ensayo de Paul Benacerraf de 1973, «Mathematical Truth», planteó exactamente esto: una explicación que haga objetiva la verdad matemática debe explicar también cómo los sujetos cognoscentes obtienen un acceso fiable a ella. El platonismo explica bien la objetividad, pero tropieza en el acceso, y puede dejar sin explicar el asombroso ajuste entre la matemática abstracta y la naturaleza física.

Normalmente aprendemos sobre el mundo porque las cosas nos afectan: la luz llega a nuestros ojos, el sonido llega a nuestros oídos. Pero un número abstracto no puede tocar nada ni ser tocado. Entonces, si los números existen en su propio reino, ¿cómo llega el conocimiento de ellos a un cerebro? Esa brecha —verdad objetiva de un lado, ningún puente causal hacia ella del otro— es el desafío de Benacerraf.

2 · Nominalismo: no hay objetos matemáticos abstractos

El nominalismo niega que existan objetos matemáticos abstractos. Según esta postura, usar lenguaje numérico no requiere un objeto no físico llamado el número dos. Luego los distintos nominalistas explican las matemáticas de maneras diferentes: algunos las tratan como manipulación formal de símbolos; otros como una ficción útil —valiosa, coherente y sumamente eficaz, sin comprometerse literalmente con entidades abstractas—; otros intentan reformular las afirmaciones aparentemente matemáticas para que se refieran solo a cosas concretas y a sus relaciones.

Science Without Numbers (1980), de Hartry Field, se convirtió en la defensa emblemática. Field sostuvo que las matemáticas pueden ser útiles en la ciencia sin ser literalmente verdaderas de un reino abstracto y, como es sabido, elaboró una reformulación nominalista de la teoría gravitacional newtoniana para mostrar que se podía hacer.

Su fortaleza. Economía ontológica: el nominalismo evita poblar la realidad con un vasto dominio de entidades no físicas causalmente inertes, lo cual atrae a quien quiere una imagen plenamente naturalista. También esquiva la forma más aguda del problema de Benacerraf: no hace falta ningún contacto misterioso con los números si no hay números.

Su dificultad. El costo es explicar la aparente verdad y objetividad de las matemáticas. Si las matemáticas son una ficción útil, ¿en qué sentido es un teorema verdadero? ¿Por qué pueden demostrarse las afirmaciones en lugar de simplemente adoptarse? ¿Por qué matemáticos independientes convergen en los mismos resultados? ¿Y por qué las matemáticas están tan entretejidas con la ciencia exitosa? El proyecto de Field muestra que al menos parte de la física puede reconstruirse sin números, pero construir sustitutos nominalistas para toda la amplitud de la ciencia moderna es extraordinariamente exigente. El nominalismo es una opción seria, no una evasión, pero debe reconstruir buena parte de lo que el realismo explica con más naturalidad.

3 · Conceptualismo: las matemáticas dependen de las mentes

El conceptualismo sitúa la realidad matemática dentro de la actividad mental y no en un reino platónico aparte. Los números y los conjuntos se entienden como conceptos, construcciones posibles o estructuras generadas por el pensamiento racional, no como entidades independientes que existan fuera de toda mente.

Adopta varias formas. Algunas se acercan al intuicionismo o al constructivismo matemáticos; otras intentan preservar grandes porciones de la práctica ordinaria mientras tratan los objetos matemáticos en términos de lo que pueden construir coherentemente los pensadores racionales. Nik Weaver, por ejemplo, ha defendido un riguroso «conceptualismo matemático». (Para ser precisos sobre su postura: es una forma de predicativismo —un programa que restringe las matemáticas a los objetos que pueden construirse sin circularidad viciosa— y no una afirmación de que la aritmética dependa de la psicología de una persona en particular.)

Su fortaleza. El conceptualismo explica cómo conocemos las matemáticas. Si las estructuras matemáticas son construcciones inteligibles de la mente, no se necesita ningún puente causal misterioso hacia un reino remoto; participamos directamente en la actividad de la que surgen las matemáticas. También refleja la práctica real: los matemáticos razonan mediante definiciones, construcciones y demostraciones, no observando pasivamente objetos.

Su dificultad. Las mentes humanas son contingentes, limitadas y falibles. ¿Dejarían dos y dos de ser cuatro si desapareciera todo ser humano? ¿No valió ninguna verdad matemática antes de que apareciera la primera criatura racional? Un conceptualista sofisticado no necesita responder de manera burda: la verdad matemática podría entenderse como lo que cualquier mente racional adecuada podría construir, y no lo que alguien esté pensando por casualidad. Aun así, la postura debe explicar cómo conceptos dependientes de la mente adquieren necesidad y universalidad sin quedar a merced de la psicología humana contingente. Acorta la distancia entre el sujeto cognoscente y la verdad, pero corre el riesgo de hacer depender de mentes pasajeras verdades que parecen eternas.

4 · Conceptualismo teísta: la verdad matemática se funda en Dios

El conceptualismo teísta coincide en que la verdad matemática se relaciona fundamentalmente con la mente, pero niega que las mentes humanas finitas sean su fundamento último. En cambio, las verdades lógicas y matemáticas se fundan en el intelecto eterno de Dios. Las propiedades, las proposiciones, las posibilidades y las estructuras matemáticas se entienden como ideas divinas, o como realidades funcionalmente equivalentes a ideas en la mente divina.

La postura tiene raíces hondas. San Agustín sostuvo que las verdades numéricas no se obtienen meramente de la sensación corporal y no cambian cuando las mentes humanas no logran captarlas; en *Sobre el libre albedrío* describió el orden y la verdad del número como estables, incorruptibles y comunes a todos los que razonan. Las versiones modernas están más desarrolladas técnicamente; la explicación de Greg Welty llamada «realismo conceptual teísta», por ejemplo, trata al menos algunos objetos abstractos como pensamientos divinos increados con una realidad objetiva independiente de los pensadores finitos.

Su fortaleza. Pretende conservar las principales virtudes tanto del realismo como del conceptualismo. Las verdades matemáticas son objetivas porque no dependen de la opinión humana; necesarias porque la naturaleza y el conocimiento de Dios no son contingentes; cognoscibles porque la realidad y la mente humana proceden en última instancia de la misma fuente racional. También resulta menos sorprendente el ajuste entre las matemáticas y la naturaleza: las estructuras mediante las cuales se hizo el mundo y las estructuras que la mente reconoce fluyen de una sola sabiduría divina. Obsérvese que, en la mayoría de las versiones, Dios no decide arbitrariamente que dos más dos son cuatro; la necesidad matemática expresa la naturaleza racional inmutable de Dios y no un decreto que pudo haber sido de otro modo.

Su dificultad. La postura plantea preguntas teológicas difíciles. ¿Son los conceptos divinos idénticos a Dios o entidades distintas dentro de él? Si son distintos, ¿amenaza eso la simplicidad divina o hace que Dios dependa de algo distinto de sí mismo? Si Dios crea las verdades matemáticas, ¿necesitó posibilidades lógicas ya establecidas para poder crearlas? Si no las crea, ¿en qué sentido es la fuente de todo lo que existe? Los filósofos de la religión contemporáneos discrepan sobre si el conceptualismo divino protege de verdad la aseidad, la doctrina de que Dios existe por sí mismo y no depende de nada externo. De hecho, uno de los críticos más agudos es un teísta como ellos: William Lane Craig, en God Over All, defiende la aseidad divina precisamente rechazando la idea de que los objetos abstractos (incluso como ideas divinas) existan junto a Dios. Así que el teísmo cristiano no resuelve por sí solo el debate; los filósofos cristianos pueden ser platonistas, nominalistas, conceptualistas o defensores de alguna explicación mediante ideas divinas.

Aseidad es la idea clásica de que Dios no depende de nada fuera de sí mismo. Simplicidad es la idea de que Dios no está compuesto de partes separadas. Si números eternos estuvieran junto a Dios como cosas que él no hizo, eso parecería menoscabar la aseidad, y esa es una de las razones por las que algunos pensadores colocan las verdades matemáticas dentro de la mente de Dios. Pero si son ideas distintas dentro de Dios, eso puede parecer chocar con la simplicidad. Los conceptualistas teístas dedican mucho esfuerzo a enhebrar justamente esa aguja.

Estructuralismo: ¿son los números posiciones y no objetos?

Otro enfoque influyente es el estructuralismo matemático. Los estructuralistas sostienen que las matemáticas tratan principalmente de estructuras y de las posiciones que los objetos ocupan en ellas, no de objetos aislados. El número dos, por ejemplo, puede entenderse como «la posición posterior a uno y anterior a tres» dentro de la estructura de los números naturales, y no como un objeto independiente con una identidad separada de esa estructura.

El trabajo de Stewart Shapiro ha sido especialmente importante en el desarrollo de esta postura. El estructuralismo puede adoptar formas realistas o antirrealistas, de modo que no sustituye simplemente el debate anterior: replantea la pregunta, que pasa de «¿qué tipo de objeto es el número dos?» a «¿qué tipo de realidad posee la estructura de los números naturales?». Eso puede aclarar la práctica, pero la pregunta metafísica de fondo regresa: ¿las estructuras se descubren, se construyen, son abstractamente reales o se fundan en la mente?

¿Existirían las verdades matemáticas sin cerebros humanos?

La respuesta depende en parte de lo que entendamos por «verdad». Sin seres humanos no habría oración en español «dos más dos son cuatro», ni marcas de tiza, ni libros de texto, ni actos humanos de cálculo. Pero ¿seguiría valiendo la relación que expresa la oración?

• El platonista dice que sí, porque los objetos matemáticos existen independientemente.
• El conceptualista humano puede decir que la verdad se refiere a lo que los agentes racionales podrían construir en condiciones adecuadas, y no a un reino que exista de forma independiente.
• El nominalista puede resistirse a hablar de una proposición que existe sin ningún pensador, aunque sostenga que cualquier aritmética correctamente construida daría el mismo resultado.
• El conceptualista teísta dice que sí, porque la verdad matemática permanece eternamente presente ante el intelecto divino.

Esto saca a la luz una distinción útil entre una oración, un pensamiento y la realidad o relación que expresan. Destruir toda expresión escrita de una verdad no destruye evidentemente aquello de lo que trataba la expresión. La intuición obstinada de que las relaciones matemáticas seguirían siendo válidas sin nosotros no es una prueba del platonismo ni del teísmo, pero sí es evidencia de que el pensamiento matemático ordinario está comprometido con una objetividad que excede a cualquier cerebro particular.

¿Por qué es la naturaleza matemáticamente inteligible?

El estatus de las matemáticas sería desconcertante aunque se quedara dentro de los libros de texto. Su eficacia para describir el mundo físico hace más hondo el misterio. Ecuaciones desarrolladas mediante razonamiento abstracto describen a menudo fenómenos naturales con una exactitud extraordinaria, no solo ordenando observaciones pasadas sino prediciendo sucesos nunca antes vistos.

En 1960 el físico Eugene Wigner llamó célebremente a esto «la irrazonable eficacia de las matemáticas en las ciencias naturales» (traducción nuestra). Subrayó que los conceptos matemáticos siguen apareciendo en contextos físicos inesperados y describiéndolos con notable precisión, aunque la razón de esta correspondencia permanezca oscura. Wigner lo presentó como un enigma de peso, no como una prueba de Dios. Hay varias explicaciones sobre la mesa.

Las matemáticas se desarrollaron a partir de la naturaleza

Los conceptos matemáticos humanos comienzan a menudo en la experiencia ordinaria. Contar nace del encuentro con objetos distintos; la geometría refleja relaciones espaciales; la medición viene de comparar magnitudes físicas. No es de extrañar, entonces, que herramientas abstraídas del mundo puedan aplicarse de nuevo a él. Esto explica parte de la aplicabilidad, pero quizá no toda. Las matemáticas muy abstractas encuentran a veces uso físico mucho después de su desarrollo, habiendo sido diseñadas sin pensar en ningún fenómeno de ese tipo.

Seleccionamos las matemáticas que funcionan

Parte del aparente misterio puede ser un efecto de selección. Los matemáticos han producido incontables conceptos; los científicos conservan los que modelan la naturaleza y dejan en silencio de lado los fracasos. La eficacia «sorprendente» de las matemáticas que sobreviven puede parecer mayor cuando se ignora todo lo que no se aplicó. Es un correctivo genuino: no toda teoría elegante describe el universo, e incluso los modelos exitosos suelen aplicarse solo dentro de dominios limitados. Pero la sola selección no vuelve trivial el ajuste. Solo puedes elegir una herramienta que funcione si ya existe una correspondencia estructural suficientemente honda para que cualquier herramienta produzca predicciones precisas y comprobables.

El propio mundo físico tiene estructura matemática

Quizá las matemáticas tienen éxito porque la naturaleza está genuinamente ordenada: los modelos funcionan porque captan patrones, simetrías, cantidades y relaciones reales del mundo. La inteligibilidad reside en la naturaleza, no en una misteriosa transferencia de la invención humana a una realidad ajena. Es plausible, pero traslada la pregunta en lugar de disolverla: ¿por qué posee el universo físico una estructura tan estable, elegante y susceptible de ser descubierta?

El mundo procede de una mente racional

La explicación teísta es que el universo es matemáticamente inteligible porque procede de la sabiduría divina. Podemos entender el mundo porque tanto la mente racional como la creación ordenada se remontan a Dios; las matemáticas se aplican no por coincidencia sino porque la creación tiene una estructura inteligible y la razón humana es capaz, aunque imperfectamente, de reconocerla. Esto tiene un auténtico poder unificador, pues une en una sola visión la necesidad matemática, el conocimiento humano y el orden de la naturaleza.

No es, sin embargo, una prueba deductiva del cristianismo. Un platonista puede afirmar la realidad matemática objetiva sin Dios. Un naturalista puede argumentar que las matemáticas siguen la estructura física. Un nominalista puede entender su utilidad de manera instrumental. La fuerza del argumento teísta es comparativa, no mecánica. La pregunta es si un Creador racional hace menos sorprendente la siguiente conjunción:

• verdad lógica y matemática necesaria,
• mentes finitas capaces de conocerla,
• un universo físico descriptible a fondo mediante ella, y
• una correspondencia estable entre el pensamiento y la naturaleza.
• 
  

Un argumento cuidadoso a partir de la lógica y las matemáticas

El argumento no debe formularse como un silogismo rápido: «Los números son inmateriales; las cosas inmateriales requieren a Dios; por tanto, Dios existe». Casi todos los pasos ahí necesitan defensa: los nominalistas niegan la primera premisa y los platonistas pueden negar la segunda. Una versión más responsable es abductiva: una inferencia a la mejor explicación.

Esto no es una prueba como 2+2=4. Es el razonamiento que usa un detective: dadas todas las pistas sobre la mesa, ¿qué explicación única hace que el conjunto resulte menos sorprendente? Los argumentos abductivos aumentan o disminuyen probabilidades; no obligan a una conclusión. Por eso el veredicto honesto de abajo es modesto.

Este argumento no establece todas sus premisas más allá de toda disputa, por lo que su conclusión debe enunciarse con modestia. La lógica y las matemáticas no llevan a una persona directamente de la aritmética a la doctrina cristiana de Dios. Lo que hacen es resistir la suposición de que la realidad se agota en materia concreta en movimiento. Sugieren que la verdad no es meramente algo que los cerebros fabrican, y que el universo no se nos presenta solo como fuerza física sino también abierto a la comprensión racional.

Significado teológico

La teología cristiana no comienza con un reino matemático impersonal sino con el Dios vivo. El Evangelio de Juan declara que todas las cosas fueron hechas por medio del Verbo eterno, el Logos (Juan 1:1–3). Esto no debe aplanarse en la afirmación de que Logos significa simplemente «lógica», ni San Juan estaba ofreciendo una teoría de los objetos matemáticos abstractos. La afirmación es mayor: la creación procede por medio del Verbo y la sabiduría divinos y no de una irracionalidad última. El mundo no es independiente de Dios, y su inteligibilidad no es ajena a su origen.

San Pablo escribe igualmente que todas las cosas fueron creadas por medio de Cristo y para él, y que en él todas las cosas subsisten (Colosenses 1:16–17). La fe cristiana lee, por tanto, el orden racional de la creación como dependiente del Hijo divino, no como un reino rival que esté eternamente junto a Dios. Nuestras mentes no contienen ni dominan la verdad; recibimos la capacidad de reconocer un orden que nos precede.

Esa capacidad es finita. El genio matemático no elimina la falibilidad humana, y la destreza lógica no produce sabiduría moral. La razón misma puede volverse hacia el orgullo, la manipulación y el autoengaño. Sin embargo, su uso propio es sagrado: razonar con honestidad es someter la mente a una verdad que no creó.

Reflexión

Hay algo silenciosamente humilde en las matemáticas. Un teorema no se pliega a nuestra preferencia. La ley de no contradicción no se ablanda porque la coherencia se haya vuelto incómoda. La verdad sigue siendo lo que es mientras generaciones se levantan, discuten, aprenden y pasan. Entramos en un orden racional que ya nos estaba esperando.

El cristiano no necesita tratar cada ecuación como un código secreto que prueba la existencia de Dios. La creación no es un acertijo diseñado para hacer fácil la fe. Pero tampoco deberíamos perder el asombro: criaturas frágiles y encarnadas pueden elevar su mente más allá del mundo inmediato del hambre, el peligro y la sensación para contemplar verdades que parecen atemporales. Contamos porque la creación tiene orden. Razonamos porque la realidad es inteligible. Descubrimos porque la verdad no es nuestra posesión sino nuestra herencia.

La respuesta cristiana más honda no es, entonces, el triunfo intelectual sino la gratitud. El Verbo eterno por medio del cual fueron hechas todas las cosas ha dado a los seres humanos mentes capaces de buscar lo verdadero. Toda demostración honesta, toda corrección de un error, todo atisbo de orden oculto puede convertirse en un acto de reverencia. Las matemáticas quizá no lleven a todo pensador a Dios. Pero para el cristiano su belleza no es fría ni vacía. Es una señal más de que la creación lleva la impronta de la sabiduría, y de que la mente humana halla su descanso no solo en conocer verdades, sino en conocer a Aquel que es su fuente eterna.