(Se recomienda leer previamente el artículo “Lo que ninguna máquina puede calcular” previo a comenzar con este).-
En 1905, un matemático holandés de veinticuatro años publicó un librito extraño donde atacaba prácticamente todo. La sociedad industrial. La ciencia moderna. El lenguaje. El estado. La razón instrumental. La vida en las ciudades. Se llamaba Leven, Kunst en Mystiek —Vida, arte y mística—, y su autor se llamaba Luitzen Egbertus Jan Brouwer.
Sin saberlo, ese libro era el principio de una descripción anticipada de cómo iban a funcionar las computadoras.
El místico
Brouwer no era un lógico frío que hacía matemática técnica. Era un místico filosófico con ideas profundas y, por momentos, delirantes sobre la mente, el lenguaje y la realidad. Su matemática constructivista era, para él, apenas la consecuencia de una visión filosófica mucho más ancha.
En Vida, arte y mística sostenía que la humanidad había caído en un estado degradado al separarse de la contemplación mística directa de la realidad. El intelecto y el lenguaje eran, para él, herramientas de dominación —sobre la naturaleza, sobre los otros, sobre uno mismo— y no vehículos de verdad.
Presentó su tesis doctoral en matemáticas en Ámsterdam, su director tuvo que forzarlo a eliminar ciertos pasajes por "demasiado filosóficos y no lo suficientemente matemáticos". Tenía pasajes con el tono de Vida, arte y mística: crítica del lenguaje, del intelecto, de la formalización.
De esa visión mística salió su filosofía de la matemática, radical hasta lo insultante. Cuatro tesis, más o menos.
La matemática no está en el mundo ni en un cielo platónico de ideas. Está en la mente. Concretamente, en lo que Brouwer llamó el sujeto creador —scheppende subject—, una conciencia matemática idealizada.
El origen de toda la matemática es la intuición del tiempo.
Brouwer creía, siguiendo a Kant, que percibimos el tiempo como una sucesión de instantes distinguibles.
Esa capacidad de distinguir un "ahora" de un "después" es la intuición primordial, y de ahí surge el concepto de número: uno, después otro, después otro.
En principio, toda la matemática debía poder reducirse a construcciones mentales basadas en esa intuición temporal.
El lenguaje es secundario y peligroso. La matemática real ocurre en la mente. Escribirla en símbolos es apenas comunicación imperfecta. Los formalistas como Hilbert, de quién ya hablamos en el artículo anterior “Lo que ninguna máquina puede calcular” confundían el mapa con el territorio. O peor, adoraban el mapa.
La lógica no funda a la matemática, sino al revés. Las leyes lógicas son observaciones sobre cómo funciona nuestro pensamiento matemático, no principios previos. Y algunas de esas leyes —notoriamente, el principio del tercero excluido— sencillamente no aplican cuando pensamos lo infinito.
Las secuencias de elección
Acá se vuelve más raro y más hermoso.
Brouwer introdujo el concepto de secuencias de elección —keuzerijen en holandés—: sucesiones infinitas donde el sujeto creador elige libremente cada término, uno por vez, a través del tiempo. Estas sucesiones no están "dadas de antemano" como en la matemática clásica. Se crean sobre la marcha.
Esto lleva a consecuencias bizarras y bellas. En su análisis, por ejemplo, se puede demostrar que toda función total de los reales a los reales es continua.
En la matemática clásica esto es evidentemente falso —pensá en una función escalón—. Pero en la matemática de Brouwer es verdad, porque las funciones deben ser calculables a partir de aproximaciones finitas del input.
Brouwer llevaba esta lógica hasta el solipsismo. Creía, literalmente, que la matemática era la actividad de una sola conciencia —en última instancia, la suya—.
La comunicación matemática entre personas era, para él, una ilusión: cada matemático construye la matemática en su propia mente, y coincidimos aproximadamente por accidente.
En una carta a su alumno Arend Heyting escribió que la matemática era una actividad esencialmente solitaria del alma.
Heyting, mucho más pragmático, terminó formalizando la lógica intuicionista contra los deseos de su maestro, que consideraba formalizar como una traición al espíritu de la cosa.
La cabaña
La vida acompañaba a la filosofía.
Brouwer vivía en una cabaña en el bosque —él la llamaba "la choza"— en Blaricum, Holanda, dentro de una comuna semianarquista de artistas e intelectuales. Era vegetariano estricto en una época en que eso era una excentricidad. Se involucró en movimientos políticos poco convencionales, incluyendo simpatías con la extrema derecha en los años 30.
Después de la Segunda Guerra Mundial fue acusado de colaborar con los nazis —los cargos son discutibles— y suspendido temporalmente de su cátedra en Ámsterdam.
Al final se fue aislando cada vez más, se volvió amargado y paranoico. Sentía que la comunidad matemática mundial lo había traicionado.
Murió en 1966, atropellado por un auto al cruzar la calle frente a su propia casa. Tenía ochenta y cinco años.
A pesar de toda esa excentricidad filosófica —o quizá gracias a ella—, sus ideas técnicas resultaron profundamente correctas y útiles.
Los lenguajes funcionales, los asistentes de demostración, la teoría moderna de tipos: todo eso vive en el universo lógico que Brouwer inventó por razones místicas.
Pensaba que estaba describiendo la actividad mística del alma matemática. Terminó describiendo cómo funcionan las computadoras.
Qué significa místico
Vale detenerse en la palabra.
Viene del griego mystikós, que a su vez viene de myein: "cerrar los ojos" o "cerrar la boca".
El sentido literal era "aquello a lo que se accede cerrando los ojos" —lo que se ve no por percepción sensorial ordinaria sino por algún tipo de visión interior—.
También estaba conectado con los mystēria, los ritos de misterio de la Grecia antigua —los famosos misterios eleusinos—, donde los iniciados accedían a un conocimiento secreto que no podía compartirse con los de afuera.
De ahí las dos ideas que la palabra todavía carga: acceso interior a algo oculto, y secreto reservado para pocos.
En la tradición cristiana medieval y sus paralelas —sufismo en el Islam, cábala en el judaísmo, bhakti en el hinduismo— un místico era alguien que buscaba la experiencia directa de lo divino, sin mediación de instituciones, textos ni razonamientos.
Meister Eckhart, Juan de la Cruz, Teresa de Ávila. Todos describen momentos en que el alma se encuentra con Dios sin palabras, sin conceptos, sin imágenes. La marca es la unión directa: no "creer en Dios" ni "razonar sobre Dios", sino experimentar la presencia divina en primera persona. Esa experiencia se describe típicamente como inefable, transitoria y transformadora.
Con el tiempo la palabra se expandió más allá de lo religioso. Empezó a usarse para cualquier postura que sostuviera que hay verdades importantes a las que se accede no por razonamiento discursivo ni por observación empírica, sino por algún tipo de intuición inmediata.
Es en ese segundo sentido —más amplio, más epistemológico— que Brouwer era un místico.
La coincidencia con la computación
Brouwer insistía en tres cosas que en su época sonaban a mística pura:
- La matemática se hace paso a paso, en el tiempo, por un sujeto que construye.
- No alcanza con decir "X existe": hay que poder mostrar cómo se construye X.
- Ciertas verdades solo tienen sentido cuando efectivamente las calculamos, no como abstracciones eternas.
Traducí eso al lenguaje de la programación y obtenés, casi textualmente, los principios centrales de la computación:
- Un programa se ejecuta paso a paso, en el tiempo, por una máquina que construye estados.
- No alcanza con decir "el resultado existe": el programa tiene que producirlo.
- Un valor solo tiene sentido cuando efectivamente se calcula, no como abstracción.
Es la misma idea en dos vocabularios distintos. Donde Brouwer decía sujeto creador, nosotros decimos CPU. Donde él decía construcción mental en el tiempo, nosotros decimos ejecución de un algoritmo. Donde él rechazaba las demostraciones no constructivas, nosotros rechazamos las especificaciones no implementables.
Brouwer y Turing estaban mirando el mismo fenómeno desde lados opuestos.
Turing eventualmente preguntó "¿qué puede hacer una máquina?" y llegó a una teoría de la computación mecánica.
Brouwer preguntó "¿qué puede hacer una mente?" y llegó a una teoría de la construcción intuitiva. Resultaron ser la misma teoría.
Es filosóficamente vertiginoso, porque toca una pregunta vieja: ¿qué es pensar? Al menos para una capa del pensamiento, la del razonamiento discursivo, constructivo, paso a paso.
La respuesta parece ser que esa capa comparte su estructura con la computación.
No en el sentido pobre de "el cerebro es una computadora", sino en el sentido más estrecho y preciso de que la actividad de razonar constructivamente y la actividad de computar comparten la misma estructura lógica.
Brouwer habría odiado esta interpretación. Para él, reducir la actividad mística del sujeto creador a un proceso mecánico habría sido una blasfemia. El era antimecanicista hasta la médula.
Pero la matemática tiene la costumbre cruel de tomar venganza sobre sus creadores. Hay un paralelo hermoso con Einstein, que rechazó las implicaciones cuánticas de su propio trabajo —"Dios no juega a los dados"— y terminó siendo, contra su voluntad, uno de los padres fundadores de la mecánica cuántica.
Newton, uno de los magos
Y Brouwer no es el único caso de esta operación curiosa. La historia intelectual de Occidente está llena de místicos que, sin quererlo, terminaron fundando disciplinas racionales. El caso más famoso es Newton.
Newton, el fundador de la física moderna, dedicó más tiempo en su vida a la alquimia y a la teología esotérica que a la ciencia. Cuando John Maynard Keynes compró los manuscritos privados de Newton en una subasta en 1936, se encontró con miles de páginas dedicadas a la alquimia, a la teología herética —Newton no creía en la Trinidad—, a la cronología esotérica y a la búsqueda de conocimiento oculto en textos antiguos. Después de leer todo eso, Keynes soltó una frase que se hizo famosa: "Newton no fue el primero de la era de la razón. Fue el último de los magos".
Newton usaba métodos matemáticos y experimentales para la física, pero su motivación era mística.
Creía que estudiar la naturaleza era leer el segundo libro de Dios —después de la Biblia—, descifrar el diseño oculto del creador.
La física era, para él, teología por otros medios. Sin esa creencia teológica no habría llegado a la formulación de la física clásica. Su intuición del espacio absoluto tenía raíces místicas —el espacio como el sensorium de Dios, el órgano por el que Dios percibe el universo—. Einstein, dos siglos después, despojó a la física de la fundación teológica. Y con eso, el espacio absoluto también colapsó.
Llull en el monte
Pero el sueño de un cálculo mecánico empieza mucho antes, en una montaña de Mallorca, con un franciscano que había tenido visiones.
Ramon Llull nació en Palma hacia 1232, hijo de la aristocracia que había reconquistado la isla a los musulmanes una generación antes. Fue paje, cortesano, poeta amoroso, hombre casado con hijos, y —según su propia autobiografía, la Vida coetánea— un joven bastante disoluto.
A los treinta y pico tuvo cinco apariciones sucesivas de Cristo crucificado que le cambiaron la vida. Abandonó a su familia, repartió sus bienes, se hizo terciario franciscano y decidió dedicar el resto de su existencia a una única misión: convertir a los infieles —musulmanes y judíos— al cristianismo.
Pero no por la fuerza ni por la retórica. Por la razón. Por un método que demostrara, mecánicamente, la verdad del cristianismo a cualquier mente que lo siguiera.
Alrededor de 1274, después de años de estudio, retiro y ayuno, Llull subió al monte Randa en Mallorca. Ahí, según cuenta, tuvo una iluminación divina en la que Dios le mostró la forma y el método de un arte universal para descubrir toda verdad.
Bajó de la montaña con la estructura completa en la cabeza. La llamó Ars Magna —o, en su versión final, Ars Generalis Ultima—.
El Ars era literalmente una máquina. Discos de papel concéntricos con letras que representaban atributos divinos —bondad, grandeza, eternidad, poder, sabiduría, voluntad, virtud, verdad, gloria—. Al hacer girar los discos, se generaban combinaciones válidas de proposiciones teológicas. Cada combinación era una verdad demostrable sobre Dios y el mundo. La idea era que un misionero, munido de este dispositivo, pudiera sentarse frente a un imán o un rabino y derivar mecánicamente, paso a paso, la verdad del dogma cristiano sin apelar a la fe ni a la revelación.
Es, cuatro siglos antes de Descartes y siete antes de Turing, el primer algoritmo simbólico documentado de la historia occidental.
Un dispositivo mecánico de cálculo lógico, diseñado por un místico que había recibido su plano en una visión divina.
Llull dedicó los cuarenta años siguientes a perfeccionar el Ars, escribir más de doscientas cincuenta obras —en catalán, latín y árabe, que aprendió especialmente para poder predicar a los musulmanes— y viajar incansablemente por el Mediterráneo tratando de convencer a papas y reyes de financiar escuelas de lenguas orientales para misioneros. Murió hacia 1315 o 1316, probablemente en Mallorca.
Su influencia posterior fue enorme, aunque casi siempre subterránea. Cuatro siglos después, un joven Leibniz (competidor intelectual de Newton y co-creador del cálculo) leyó a Llull con atención y publicó en 1666 su primera obra, la Dissertatio de arte combinatoria, como un intento explícito de perfeccionar el arte lulliana.
De ahí saldría el sueño de Leibniz de la characteristica universalis, el calculemus, y en última instancia el programa de Hilbert.
La línea que va de aquel franciscano en el monte Randa hasta Turing derrumbando el programa de Hilbert es directa, aunque no continua. Cada tanto se corta, se olvida, y alguien la retoma.
Descartes, el meditador algorítmico
Descartes es otro caso paradigmático. Quizá el más claro de todos, metodológicamente hablando.
Su método tiene una estructura profundamente similar a la de la mística. Mirá la coreografía general de las Meditaciones.
Primero, se retira del mundo externo. Descartes literalmente se encierra en un cuarto con una estufa, en Alemania, en invierno, a meditar. Ese aislamiento físico refleja un aislamiento epistemológico: dejar de confiar en los sentidos, en la autoridad, en los libros.
Segundo, se retira del mundo interno compartido. Duda de todo lo aprendido, de sus propios recuerdos, de sus creencias culturales. Se queda solo, sin nada externo en que apoyarse.
Tercero, llega a un núcleo interno que resiste toda duda. El "pienso, luego existo". Ese núcleo es autoevidente, no requiere prueba, no depende de nada más.
Cuarto, desde ese núcleo reconstruye todo el edificio del conocimiento.
Es exactamente la coreografía del ejercicio espiritual medieval. Y no es casualidad. Descartes estudió con los jesuitas en La Flèche, y los jesuitas practicaban los Ejercicios espirituales de Ignacio de Loyola, que son literalmente una técnica de meditación de cuatro semanas para reordenar el alma.
Descartes tomó esa estructura ignaciana y la aplicó al conocimiento en lugar de a la salvación. Por eso las Meditaciones metafísicas se llaman así —meditaciones— y no Argumentos metafísicos.
Pero Descartes estaba haciendo, además, otra cosa. Estaba escribiendo un algoritmo. Cuatro años antes de las Meditaciones, en el Discurso del método (1637), dio explícitamente un procedimiento de cuatro pasos para pensar correctamente:
- Regla 1, de la evidencia: no aceptar nada como verdadero si no lo conozco con evidencia clara y distinta.
- Regla 2, del análisis: dividir cada dificultad en tantas partes como sea posible, para resolverla mejor.
- Regla 3, de la síntesis: conducir los pensamientos por orden, empezando por lo más simple y ascendiendo gradualmente hacia lo más complejo.
- Regla 4, de la enumeración: hacer enumeraciones tan completas y revisiones tan generales que uno esté seguro de no omitir nada.
Ahora leelo con ojos de programador.
- Regla 1 es validación de input: no aceptes basura.
- Regla 2 descomponé el problema en subproblemas.
- Regla 3 es recursión bottom-up: resolvé los casos base primero, después combiná hacia arriba.
- Regla 4 es verificación de completitud: chequeá que cubriste todos los casos.
Descartes, además tenía un proyecto todavía más ambicioso: la Mathesis Universalis, una "ciencia universal" que permitiría reducir todos los problemas a operaciones simbólicas mecánicas, como el álgebra.
En una carta a Mersenne de 1629 esbozó la idea de un lenguaje universal donde cada pensamiento pudiera representarse por símbolos, y donde el razonamiento correcto fuera simplemente cálculo correcto con esos símbolos. Un "error de pensamiento" sería como un error aritmético: mecánicamente detectable y corregible.
Este es exactamente el sueño de Hilbert, trescientos años antes. Y Leibniz —que había empezado su carrera intelectual intentando perfeccionar el arte lulliana— retomó el proyecto con su characteristica universalis, soñando con que las disputas filosóficas se resolvieran diciendo calculemus —calculemos— y corriendo el algoritmo.
Por qué la coincidencia
Vale preguntarse: ¿es casualidad que cuatro figuras fundacionales del pensamiento occidental hayan sido, cada una a su modo, místicos? ¿O hay algo en la estructura de la contemplación mística que es precisamente la estructura del pensamiento riguroso?
Al menos dos respuestas son posibles.
La escéptica: coincidencia. Cada uno tuvo la suerte de tropezar con ideas técnicamente correctas por razones equivocadas.
La profunda: hay algo en la naturaleza del razonamiento riguroso que es intrínsecamente computacional, y estos pensadores lo percibieron por introspección aunque les faltara el vocabulario técnico para nombrarlo. La mente humana, cuando razona en serio, ejecuta algo muy parecido a un programa. Los místicos, al mirar hacia adentro con más atención que nadie, tropezaron con esa estructura mucho antes que los ingenieros.
La raíz kantiana
Hay un eslabón más en esta cadena, que conviene mencionar antes de cerrar, porque sostiene lo que viene después.
Brouwer salió directamente de una tradición kantiana. A veces se olvida que sus ideas más "místicas" eran, en realidad, reformulaciones bastante fieles de Kant.
Kant, en la Crítica de la razón pura (1781), quería explicar cómo era posible que tuviéramos conocimiento necesario y universal sobre el mundo. ¿Por qué estamos seguros de que 2+2=4 en cualquier tiempo y lugar? ¿Por qué estamos seguros de que los ángulos de un triángulo suman 180 grados sin necesidad de medirlos?
Su respuesta fue revolucionaria: porque el espacio y el tiempo no son cosas del mundo, sino estructuras que nuestra mente impone sobre la experiencia.
No vemos el espacio como vemos un árbol; vemos los árboles a través del espacio, como si el espacio fuera una lente por la que percibimos todo. Lo mismo con el tiempo. Kant los llamó intuiciones puras.
Intuición en el sentido técnico kantiano de percepción inmediata y directa, no en el sentido cotidiano de "corazonada". Pura porque preceden a toda experiencia: no aprendemos qué es el espacio experimentándolo; ya lo tenemos como estructura antes de cualquier experiencia posible.
Brouwer, como buen kantiano, quería fundar la matemática en las intuiciones puras. Pero no podía usar la intuición espacial de Kant: el descubrimiento de las geometrías no euclidianas —Lobachevsky, Bolyai, Riemann— había mostrado que no existe una única estructura espacial necesaria. ¿Cuál geometría es la intuitiva? ¿La euclidiana? ¿La hiperbólica? ¿La elíptica? No hay respuesta obvia.
Entonces Brouwer descartó la intuición espacial como fundamento. Reconoció que Kant se había equivocado en ese punto. Pero mantuvo la intuición temporal. Y radicalizó su alcance.
Para Brouwer, no solo la aritmética se fundaba en la intuición pura del tiempo, como decía Kant, sino toda la matemática.
La conciencia del tiempo como sucesión de momentos distinguibles era la intuición primordial.
De ahí se construía el número natural, después las operaciones, después estructuras más complejas.
Turing, sin proponérselo, hizo una especie de experimento kantiano. Se preguntó cuál era la estructura mínima que se requiere para que una entidad —mente, máquina, lo que sea— realice un cálculo. Y la respuesta fue: una cinta —memoria—, un cabezal —foco de atención—, estados discretos y transiciones sucesivas —tiempo—.
La máquina de Turing es, literalmente, una destilación mecánica de la intuición temporal kantiana. La estructura irreducible del cálculo es la estructura sucesiva del tiempo.
La cadena queda así:
- Kant, 1781: la aritmética se funda en la intuición pura del tiempo.
- Brouwer, 1907: toda la matemática se funda en la intuición temporal del sujeto (creador).
- Turing, 1936: el cálculo mecánico se define como sucesión discreta de estados en el tiempo.
- Curry-Howard, años sesenta: las demostraciones constructivas son programas.
Es un mismo hilo, tirado por manos distintas a lo largo de siglo y medio.
Y es un hilo aún más viejo. Probablemente empieza con Aristóteles o antes, con la intuición de que pensar es un movimiento, no una contemplación estática. Los griegos ya tenían el verbo diánoia —pensamiento discursivo, literalmente "pensar a través"— en oposición a nóesis —intuición inmediata—. La diánoia es sucesión, tiempo, cálculo. Computar es diánoia mecanizada.
Pero acá empieza a asomar la primera grieta seria. Hasta ahora seguimos la cadena Kant-Brouwer-Turing como si estuviera perfectamente cerrada. Y lo está, siempre que aceptemos una premisa silenciosa: que el tiempo es uno. Que hay una única estructura temporal —la sucesión de instantes discretos— que sirve por igual como fundamento del pensamiento, de la matemática y de la computación.
Ya vimos qué le pasó a Kant con el espacio. ¿Por qué asumimos que no le pasó lo mismo con el tiempo?