(Se recomienda leer los artículos Lo que ninguna máquina puede calcular, y los místicos y las máquinas, que son las primeras dos entregas de este hilo).
Hay una premisa silenciosa en todo lo que llevamos dicho en los mencionados artículos.
La cadena que va de Kant a Brouwer a Turing sostiene que el pensamiento riguroso, la matemática y la computación comparten una misma estructura: la sucesión de instantes discretos. Un ahora, después otro ahora, después otro. La intuición temporal como fundamento común.
La cadena está muy bien armada. Y depende, entera, de que el tiempo sea uno.
Vale entonces preguntar qué pasa si no lo es.
El precedente del espacio
Ya vimos qué le pasó a Kant con el espacio. Él lo había asociado a la geometría euclidiana y lo usó como paradigma de conocimiento sintético a priori: los axiomas de Euclides eran verdades necesarias y universales precisamente porque describían la estructura de nuestra intuición espacial pura.
Después vinieron Lobachevsky, Bolyai y Riemann demostrando que hay muchas geometrías consistentes, y ninguna privilegiada por la razón. Einstein remató mostrando que la geometría del universo real es no euclidiana.
La intuición espacial pura, como Kant la había planteado, resultó ser una posibilidad entre varias.
Hay lecturas kantianas más generosas —separar la forma pura de las métricas específicas, y en ese caso Kant queda menos expuesto— pero la versión estándar, la que sirvió durante un siglo, quedó desnuda.
¿Por qué asumimos que no le pasó lo mismo con el tiempo?
El grosor del "ahora"
Una tradición fenomenológica posterior a Kant se dedicó a mirar con lupa cómo experimentamos el tiempo, y encontró algo que él había dado por sentado.
El "ahora" que vivimos no es un instante puntual sin espesor, como el que requiere la sucesión mecánica. Es un presente ancho, que retiene lo que acaba de pasar y anticipa lo que viene.
Cuando escuchás una melodía no oís una sucesión de notas aisladas: oís la nota actual como continuación de las que acaban de sonar y como promesa de las que vendrán. El presente vivido tiene grosor. Una nota sola, sin nada antes ni después, no es música: es un pitido.
Esa misma tradición distinguió después dos cosas que solemos confundir bajo la misma palabra.
Está el tiempo del reloj, espacializado, divisible, hecho de instantes intercambiables.
Y está la duración vivida, cualitativa, donde los momentos se interpenetran en vez de sucederse. En este segundo caso, la duración no se puede cortar en instantes. Es continua en un sentido más fuerte que el del análisis matemático, porque cada momento contiene y transforma a los anteriores.
Si esa lectura es correcta, la intuición temporal de Kant es una abstracción tardía, no la estructura primaria de la experiencia.
Kant se quedó con la parte medible, contable, sucesiva del tiempo —la que sirve para fundar la aritmética— y la llamó "intuición pura". Pero la intuición temporal REAL podría ser es mucho más rica. Y mucho menos apta para la matemática.
Lo que muestra la clínica
Hay evidencia empírica que le da peso a la sospecha filosófica. Cuando una mente humana se deteriora —en demencias avanzadas, en amnesias severas, en ciertas lesiones frontales— no pierde el tiempo. Pierde tiempos, en plural, y los pierde en un orden llamativamente estable:
- primero se cae la biografía —la capacidad de ubicarse en la propia vida—,
- después la capacidad de sostener un hilo de conversación durante varios minutos,
- después el presente amplio con retención y anticipación,
- y en las etapas finales sobrevive apenas un mínimo tiempo de sucesión sensorial, el que basta para sobresaltarse ante un ruido o seguir con la mirada un objeto que se mueve.
Un paciente con Alzheimer terminal no está fuera del tiempo. Habita un tiempo más pequeño, casi puntual, sin biografía ni continuidad, pero todavía temporal. Cada capa tiene su propio modo de existir y su propio modo de morirse.
Esto sugiere fuerte que el tiempo no es una intuición sino una arquitectura estratificada: muchas intuiciones apiladas, con sustratos neurales distintos y grados de fragilidad diferentes.
Brouwer ya lo había visto
Podría parecer que con esto también se cae Brouwer: si el tiempo no es uno sino muchos, fundar toda la matemática en una única intuición temporal repetiría exactamente el error kantiano.
Y ahí hay que detenerse, porque Brouwer, misteriosamente, tenía dos mecanismos que anticipaban precisamente esta objeción.
EL PRIMER MECANISMO; está en el corazón de su intuición primordial. Brouwer no la llamó "sucesión" ni "instante después de instante". La llamó Zweieinigkeit: dualidad, o dos-en-uno.
El momento primordial es la caída de un momento de vida en dos cosas distintas, una de las cuales cede su lugar a la otra pero es retenida por la memoria. La retención está adentro del acto originario, no es un agregado posterior.
Fenomenológicamente, es casi idéntico a lo que la tradición fenomenológica describiría décadas después. Brouwer, sin conocer ese vocabulario, había puesto la retención como componente constitutivo de la intuición temporal.
Y sostuvo desde el principio que continuidad y discreción aparecen en la intuición primordial como complementos inseparables, sin que ninguna sea derivable de la otra.
El continuo no se construye a partir de lo discreto, aparece junto con lo discreto, desde el arranque, en el mismo acto.
EL SEGUNDO MECANISMO; es más audaz. Alrededor de 1918, Brouwer introdujo las keuzerijen —secuencias de elección— que ya vimos en el artículo anterior: sucesiones infinitas donde el sujeto creador elige cada término, uno por vez, en el tiempo.
Lo crucial es la distinción entre dos tipos. Si la sucesión está determinada por una ley o un algoritmo, es lawlike, "regida por ley". Si no está sujeta a ninguna ley, es lawless, "sin ley".
Desde cualquier perspectiva algorítmica, las secuencias sin ley son un objeto extrañísimo.
Ningún algoritmo las genera.
Ninguna ley las captura.
Ninguna descripción finita las produce.
Son micro-decisiones libres del sujeto en el tiempo. A cada paso, el sujeto elige, y la elección no está predeterminada por nada anterior.
Una secuencia sin ley es, literalmente, indeterminación viva. En cualquier momento dado, uno posee su segmento inicial finito, pero el resto todavía no existe porque no ha sido elegido.
Esto tiene consecuencias lógicas pesadas. Las afirmaciones matemáticas, en el marco brouweriano, tienen un aspecto temporal irreducible. Un hecho probado se vuelve probado, pero una afirmación demostrada en el tiempo t no tiene valor de verdad antes de t. La verdad se acumula, no está dada desde el principio.
Esto es incompatible con la temporalidad estándar de Turing, donde el resultado de una computación es correcto o incorrecto atemporalmente, independientemente de si ya fue ejecutada.
Brouwer, entonces, no cometía el error kantiano de fundar todo en una única intuición temporal de tipo mecánico. Su intuición primordial ya era polifónica —retención y sucesión en el mismo acto, continuidad y discreción como complementos originarios— y sus secuencias sin ley abrían un tipo de temporalidad genuina, no algorítmica, donde el futuro no está determinado.
El pobre místico anticipó no solo la computación clásica. Anticipó también la crítica a la computación clásica.
Las máquinas también tienen muchos tiempos
Si la mente humana no habita una temporalidad sino varias, la pregunta natural es si a las máquinas les pasa lo mismo.
La respuesta es sí, y en un sentido que confirma la sospecha del apartado anterior: la computación real, la que corre en el mundo físico, terminó desarrollando temporalidades alternativas.
Primero, el tiempo causal de los sistemas distribuidos.
Cuando cientos de millones de personas usan Amazon, Netflix o WhatsApp al mismo tiempo, es físicamente imposible mantener un único reloj universal para ordenar todos los eventos. La velocidad de la luz en la fibra óptica impone un límite duro: entre dos servidores en distintos continentes hay decenas de milisegundos que no se pueden achicar. Si el sistema esperara a sincronizarse antes de responder, sería inusable.
Leslie Lamport propuso en 1978 una solución filosóficamente radical, sin plantearla así: abandonar el tiempo absoluto y trabajar con tiempo causal. La pregunta ya no es "¿esto pasó a las 15:00:01?" sino "¿esta acción ocurrió antes o después de que este nodo se enterara de aquel evento?". El tiempo se vuelve una red de relaciones causales entre eventos, no una línea única sobre la que se los ordena. Cassandra, DynamoDB, la infraestructura de Google Spanner: buena parte de los sistemas que sostienen la internet moderna corren sobre esta temporalidad plural.
Segundo, el continuo analógico.
Si la máquina de Turing corta el tiempo en instantes discretos, la computación analógica es el imperio del continuo. No hay ticks del reloj. El cálculo se realiza por el flujo continuo de corriente, voltaje o luz a través de circuitos físicos.
Para calcular una integral en una computadora analógica no se ejecuta un algoritmo paso a paso: se hace pasar corriente por un capacitor y se lo deja cargarse. La forma en que la carga se acumula es, físicamente, integración. El tiempo de cómputo es tiempo físico continuo, sin discretización.
No es una curiosidad histórica. Los chips neuromórficos de hoy —Loihi de Intel, TrueNorth de IBM, SpiNNaker de Manchester— están volviendo a esta arquitectura porque imita mejor el funcionamiento del cerebro y consume órdenes de magnitud menos energía. Cuando estos chips procesan una tarea de inteligencia artificial, no hay reloj marcando pasos discretos: hay pulsos continuos integrando sobre tiempo físico.
Tercero, el continuo cuántico.
La computación cuántica va todavía más lejos. Un qubit no es un cero ni un uno: es una superposición continua de ambos estados. Mientras la computadora cuántica está calculando —antes de que la midamos— sus qubits no habitan el mundo binario de Turing. Habitan un espacio continuo de probabilidades, una función de onda evolucionando en tiempo físico que contiene simultáneamente todos los estados posibles.
Hay un paralelo con Brouwer que vale la pena señalar, con la advertencia de no forzarlo. Brouwer rechazaba el principio del tercero excluido —la ley clásica de "A o no-A"— para el continuo. Sostenía que dentro del flujo de la construcción mental hay estados intermedios que no son ni verdaderos ni falsos todavía, sino que están en proceso de construirse. Durante décadas eso sonó a mística pura. Un qubit en superposición ofrece una imagen tentadora del mismo tipo de estructura: un estado que no es cero ni uno, sino un continuo de amplitudes que solo se resuelve cuando lo medimos. Cuando forzamos a la naturaleza a "cerrar los ojos" y elegir, colapsamos ese continuo en un valor binario clásico.
El paralelo es sugerente, pero no hay que forzarlo. La indeterminación cuántica se rige por amplitudes complejas y evolución unitaria lineal; la indeterminación brouweriana viene de la libre elección del sujeto creador y de la imposibilidad de fijar de antemano los términos de una sucesión. Son dos indeterminaciones de naturaleza distinta, con matemáticas distintas, que apenas comparten la propiedad negativa de "no ser binarias hasta que algo las obligue". Aun así el guiño es válido: durante décadas, tomar en serio estados que no eran ni verdaderos ni falsos parecía una excentricidad filosófica sin correlato en la naturaleza. La computación cuántica muestra que la naturaleza sí opera con estructuras que resisten la lógica binaria clásica, aunque no lo haga en el sentido exacto que Brouwer imaginaba.
Un detalle importante para evitar confusión: en 1985, David Deutsch demostró que las computadoras cuánticas resuelven exactamente el mismo conjunto de problemas que las máquinas de Turing clásicas. Ni uno más, ni uno menos. El problema de la parada sigue siendo incomputable, y el décimo problema de Hilbert sigue sin algoritmo. Lo que cambia radicalmente es la eficiencia: cosas que a una máquina clásica le llevarían más tiempo que la edad del universo, una cuántica las resuelve en minutos. La computación cuántica no rompe los límites de lo computable, pero sí rompe los límites de lo prácticamente computable.
Cuarto, el tiempo estructural.
Hay una temporalidad más, menos famosa pero muy usada en el diseño de sistemas concurrentes: la de las redes de Petri. En una red de Petri no hay una cinta con celdas sucesivas, ni un reloj global. Hay lugares y transiciones, y una transición se dispara cuando sus condiciones se cumplen, sin importar qué otra transición se disparó "antes" o "después". El tiempo se vuelve estructural: es la topología de las dependencias entre eventos, no una línea que avanza. Dos eventos pueden ser genuinamente concurrentes, no en el sentido débil de "pasan al mismo tiempo", sino en el sentido fuerte de que no hay ningún hecho del asunto sobre cuál ocurrió primero.
La lección
Cada una de estas arquitecturas —distribuida, analógica, cuántica, concurrente— implementa una intuición temporal distinta.
Y ninguna es reducible a las otras sin pérdida.
El modelo secuencial de Turing es uno entre varios. No es la forma canónica del cálculo. Es una forma, particularmente potente para ciertos problemas, especialmente elegante para ciertas demostraciones, y particularmente inadecuada para otros.
Esto da vuelta el ensayo al final.
En la Entrega 2 celebramos la coincidencia entre la intuición mística de Brouwer y la realidad computacional como si fuera un hallazgo profundo sobre la naturaleza del pensamiento. Y algo de eso hay. Pero ahora podemos verlo con más precisión: la coincidencia fue estrecha. Brouwer y Turing tocaron la misma capa temporal —la discreta y constructiva— porque los dos estaban trabajando dentro del pensamiento discursivo, del paso a paso. La duración vivida, el presente con grosor, los chips neuromórficos que imitan el cerebro hoy: tocan otras capas. La mente tiene muchos tiempos, y las máquinas también empiezan a tenerlos.
Epílogo
Empezamos con una pregunta técnica: ¿qué significa que una computadora sea Turing completa? Terminamos preguntándonos si el tiempo es uno o son muchos, y qué clase de máquina puede, verdaderamente, pensar.
Nada de eso fue un desvío. Fue el itinerario natural. Cuando uno tira del hilo de la computación con paciencia, aparece la lógica. Cuando tira de la lógica, aparecen los fundamentos. Cuando tira de los fundamentos, aparece la epistemología. Cuando tira de la epistemología, aparece el tiempo. Y dentro del tiempo, uno termina leyendo, casi accidentalmente, a místicos medievales.
Ese itinerario deja una lección. Los tres verbos del recorrido —temporalizar, computar, pensar— no son tres cosas separadas que después se relacionan entre sí. Son tres nombres de lo mismo visto desde tres distancias distintas. Pensar es construir en el tiempo. Computar es la mecanización de ese construir. Y el tiempo, al final, no es el escenario donde ocurre el pensamiento: es su sustancia.
Durante décadas creímos que esos ingredientes eran innecesarios: que la máquina de Turing alcanzaba para hablar del cálculo, y que el cálculo alcanzaba para hablar del pensamiento. La historia de la computación desde 1950 hasta hoy es la lenta historia de descubrir que no alcanzaba, y de reincorporar por ingeniería lo que la filosofía había tenido que sacrificar en aras del rigor.
Y aun así, la pregunta de cierre —¿pueden pensar las máquinas?— sigue sin respuesta. Está mejor formulada, que es distinto. Ya no es una pregunta sobre "las máquinas" en general; es una pregunta específica sobre qué arquitectura temporal encarna la máquina en cuestión. Una máquina de Turing pura, con su cabezal y su tabla de estados, probablemente no piense en ningún sentido interesante. Una arquitectura con retención continua, con indeterminación genuina, con pluralidad temporal —quizás.
De los discos girando en el monte Randa a los qubits en superposición, la historia del cálculo es la historia de nuestra propia búsqueda por describir cómo pensamos. Cada vez que creímos haber encontrado la respuesta, el pensamiento nos mostró que tenía todavía otra capa.