Pensar y calcular

Javier Blanco

Hay as dos tipos de pensar, cada uno de los cuales es, a su

vez y a su manera, justificado y necesario: el pensar calculador y
la reflexin meditativa.
Martin Heidegger: Serenidad

Reflexiones
Pensamos. Y pensamos que pensar es una de las caractersticas distintivas de los bpedos implumes, distincin que ha provocado un salto evolutivo
incalculable. A veces tratamos de calcular distintas cosas, por ejemplo cundo pudo haber comenzado esta capacidad de calcular, o cuntas conexiones
neuronales hacen posible que en nuestro cerebro ocurran fenmenos como el
pensamiento o el clculo. Calcular aparece asociado a cierta cuantificacin
del mundo, a una tendencia a disponer de nmeros que nos den datos concretos e indiscutibles, datos que nos ayuden a pensar. Ese pensamiento en tanto
operacin incierta, reflexiva, muchas veces circular, contrastara con los complejos pero finalmente mecnicos mtodos de clculo. Un desafo del presente
sera ver cmo y por qu el clculo, siervo por naturaleza del pensamiento,
se ha convertido en amo. Y cmo recuperar al pensamiento, hacerlo renacer
en el desierto numrico, o constatar con Heidegger que an no pensamos y
pensar las condiciones para que el pensamiento pueda existir.
Nos preguntamos aqu si esta escisin entre pensamiento y clculo responde a diferencias sustanciales o es una mera circunstancia, una consecuencia
de la historia del pensamiento, en particular de cmo se piensa el clculo1 .
1

Aunque no se calcula el pensamiento, so pena de reduccionismo

Una de las propiedades del pensamiento que aparece como distintiva es la

reflexin: es condicin para pensar el poder pensar qu es pensar. La reflexin como propiedad o condicin necesaria del pensamiento roza lo paradojal,
produce cierta perplejidad para acceder al mundo, lo que lleva a muchos cientficos a abjurar de ella, a dejarla a un costado para lgicos y diletantes. An
sin agotarlo, es una propiedad caracterstica del pensamiento y sera una de
las diferencias ms significativas con el mero clculo.
Para Heidegger, el pensamiento calculacional no es consciente de que
parte de un todo ya dado, cuyo misterio permanecera ajeno a los clculos
posibles de ser realizados con ese todo. Podramos decir que habra una clausura epistmica operando como condicin de posibilidad de cualquier clculo.
Sin duda estas operaciones son frecuentes en un sinnmero de trabajos cientficos o incluso de reflexiones epistemolgicas. Pero cabe preguntarse si el
clculo solo puede aparecer de esa manera, formularnos en un provisorio pie
de igualdad la pregunta qu es calcular?
Lo que podemos llamar hoy clculo mecanizado, o clculo formal, surge
como respuesta a ciertas antinomias que se producen en el seno de la matemtica misma, en abstracciones2 que son la base de, entre otras cosas, el
anlisis matemtico3 , es decir, la matemtica que se usaba para resolver una
cantidad de problemas prcticos y para fundamentar nuestra comprensin
de los fenmenos fsicos. Hilbert, a fines del siglo XIX, propone una solucin
terico-metodolgica para estas antinomias: solo aceptemos matemticamente aquello que pueda ser demostrado usando mtodos finitistas4 a partir de
un conjunto finito de axiomas. Si los axiomas no son contradictorios, entonces estos mtodos preservaran esa propiedad no dando lugar a la posibilidad
de paradojas o antinomias.
No vamos a resear aqu el devenir del programa de Hilbert. Baste indicar
algunas de sus consecuencias conceptuales e histricas. Por un lado, llev a
una descripcin precisa de lo que puede considerarse vlido como clculo, y,
asociado a esto, a la creacin de la meta-matemtica, es decir del anlisis
conceptual de las propiedades de las teoras matemticas usando mtodos
matemticos. Formul tambin lo que luego fue llamado el Entscheidungs2

en particular la nocin de conjunto. La antinomia ms conocida es la paradoja de

Russell que muestra que cierta nocin intuitiva de conjunto es inconsistente
3
El anlisis matemtico es tambin llamado, curiosamente, clculo. No es el sentido
que le damos aqu a esa palabra
4
Podemos decir aqu, con Andrs Raggio, que pueda ser demostrado desde un punto
de vista finito

problem, el problema de la decisin: ser posible mecnicamente determinar

si una frmula lgica dada -que expresa alguna propiedad matemtica- es verdadera o no? Esto implicara que todos los problemas matemticos podran
ser mecnicamente resolubles, es decir efectivamente calculables. Poincar
se burlaba de este problema, al cul comparaba con una mquina de hacer teoremas como si fueran chorizos. Esta idea, como veremos, no era del
todo equivocada, aunque parece encarnada en una concepcin de mquina
demasiado limitada.
La propuesta de Hilbert implica tomar como forma privilegiada de conocimiento al mtodo axiomtico formal. De manera quiz paradjica, dice
Hilbert que este mtodo permite que el conocimiento se vuelva consciente de
s: tiene ante s todos los elementos de los cuales parte, todas las inferencias
permitidas y con un simple clculo lgico se obtienen los resultados correctos, finalmente uno puede tener una visin de totalidad sobre la trama de
conceptos relacionados entre s.
El programa de Hilbert dio lugar a una nocin extendida de clculo, a
una perspectiva finita acerca de qu significa una demostracin matemtica
y a la necesidad de caracterizar la nocin de procedimiento efectivo. No reniega del trabajo especulativo, al contrario. Busca seguir con las empresas
matemticas ms abstractas pero sobre bases ms slidas. Dice Hilbert: nadie nos privar del paraso creado por Cantor 5 pero parece que sus esfuerzos
se orientan, de manera casi dramtica, a recuperar el paraso perdido de la
certeza matemtica.

Beware of Bew
Se puede ubicar en la histrica Knisberg en 1931 el principal golpe al
programa de Hilbert, al menos en su formulacin ms ambiciosa o ms inocente. Un joven austraco de veinticuatro aos llamado Kurt Gdel presenta, de
manera relativamente elptica en una mesa redonda de discusin sobre fundamentos de la matemtica, un resultado meta-matemtico cuyo impacto an
no est del todo dimensionado, tanto para el exclusivo mundo acadmico de
los fundamentos de la matemtica como para el pensamiento en general.
Del teorema de Gdel se han dicho muchas cosas, pero no puede decirse
que sea ambiguo, ya que presenta un resultado preciso y est meticulosa5

Cantor desarroll la teora de los conjuntos transfinitos, mostrando una enorme diversidad de conjuntos infinitos. Esto signific un avance enorme en un concepto que preocupaba
a matemticos y filsofos desde los inicios de ambas disciplinas

mente demostrado. Este meta-teorema muestra de manera muy ingeniosa

cmo en cualquier sistema axiomtico (consistente) para la aritmtica de los
nmeros naturales (con al menos suma y producto) habr sentencias verdaderas e indemostrables. Un corolario importante de este teorema (llamado
frecuentemente el segundo teorema de Gdel) es que la consistencia de la
aritmtica no puede ser demostrada en la aritmtica misma (corolario que
puede extenderse a otros sistemas ms potentes, como por ejemplo la teora
de conjuntos).
En diversos campos del pensamiento se suele citar este teorema para sostener posiciones diversas, generalmente de manera errnea. Una conclusin
inmotivada es la de cierto relativismo aplicado por analoga a otras teoras.
Dichas analogas no estn justificadas, sobre todo dado que hay una cantidad
de teoras matemticas consistentes y completas (por ejemplo la geometra
eucldea, los nmeros reales, los nmeros complejos). Si bien la incompletitud
de la aritmtica lleg como una sorpresa y tiene consecuencias importantsimas acerca de los sistemas axiomticos en general, no es el caso de que todo
sistema axiomtico sea incompleto, incluso sistemas complejos (sin embargo,
cualquiera que contenga la aritmtica de los naturales como sub-sistema s
ser incompleto).
Resulta adems al menos curiosa la lectura relativista de un teorema
cuyo autor considera una prueba de la existencia objetiva de los objetos
matemticos. Gdel, un realista fuerte, plantea la existencia de los objetos
matemticos independientemente de su percepcin o descripcin terica. Esto
no impide que la teora misma, an en su forma ordinaria, auto-limitada a
un lenguaje de primer orden con un conjunto fijo de smbolos, admita un alto
grado de reflexividad.
Cmo puede entenderse esta reflexividad y qu consecuencias tiene para
el pensamiento en general?
Para responder esta pregunta, podemos revisar la demostracin misma
del teorema. Gdel se inspira en la paradoja de Epimnides6 -cambiando la
idea de verdad por la de demostrabilidad- para construir una frmula cuya
6

La ancdota es que Epimnindes, un cretense, habra afirmado que todos los cretenses
son mentirosos. No hay ninguna paradoja aqu. An asumiendo que eso signifique que los
cretenses siempre mienten, lo nico que puede deducirse es que la frase es mentira. Otras
versiones s son paradjicas, la ms conocida es Esta oracin es falsa.. Si la oracin es
verdadera, entonces se contradira con lo que dice y viceversa. En la aritmtica no hay
indexicales, por lo cual otro procedimiento es necesario para la auto-referencialidad. La
nocin de verdad tampoco es definible, como luego demostrara Tarski

indemostrabilidad sea demostrable. Para esto, usa una codificacin numrica

que permite que predicados de una lgica fija puedan predicar tambin
propiedades de la propia lgica. En una construccin muy precisa, que recurre
a las herramientas de la meta-matemtica conocidas entonces, o incluso a
inventar o recrear otras7 , asigna a cada frmula posible del sistema formal
de la aritmtica un nmero natural nico de y luego construye predicados
numricos cuyo significado puede entenderse a partir de lo que dicen de las
frmulas asociadas por la codificacin. Es importante entender bien que esos
predicados son definidos en la lgica misma y se aplican a nmeros. Son
predicados complejos que no enuncian propiedades demasiado interesantes
sobre los nmeros mismos, pero que se vuelven claros cuando se los entiende
como enunciando propiedades de las frmulas codificadas en los nmeros.
Uno de los ms complejos de estos predicados, y el que finalmente se usa
para mostrar la incompletitud, es el predicado que Gdel llama Bew por
beweisbar8 , que se aplica a nmeros y que es verdadero si y solo si la frmula
asociada a ese nmero es demostrable. Luego, con un ingenioso procedimiento
de diagonalizacin construye una frmula G de la cual puede demostrarse una
propiedad referida a su propia (in)demostrabilidad
G Bew(dGe)
Esta frmula G afirma, si consideramos la codificacin mencionada, que
ella misma no es demostrable. Si fuera falsa, el sistema no sera consistente
(porque entonces sera demostrable). Luego, G es necesariamente verdades,
pero entonces, como lo afirma la propiedad demostrada, no ser demostrable.
Esta posibilidad de hacer que los predicados hablen de la propia lgica,
parece contradecir la mayora de los prejuicios acerca de qu significa un lenguaje formal, el cual solo podra referirse de manera especfica a un universo
preestablecido. Hay una ambivalencia en el predicado Bew, admite al menos
dos maneras muy especficas de lectura, lo que hace que su significado no quede reducido a la semntica esperada en la teora de nmeros -o a cualquier
modelo de esos axiomas-. Esta ambivalencia es la que permite entenderlo y
usarlo. Es sin embargo claro que dicha ambivalencia no habilita cualquier forma de relativismo. Los sentidos para entender este predicado evidentemente
son mltiples y dan lugar a una cantidad de problemas fundacionales, pero
son sentidos objetivos y precisos.
7

Introduce las hoy llamadas funciones recursivas primitivas definidas al interior de la

aritmtica de Peano
8
demostrable

La sentencia de Heidegger la ciencia no piensa, parece significar que no

es reflexiva ya que, vista como una teora, establece de manera explcita la
distincin entre el universo sobre el que se predican propiedades y el lenguaje
que se refiere a ese universo. Esta divisin entre sintaxis y semntica permite una metodologa suficientemente simple para desarrollar investigaciones
empricas. Pero deja afuera propiedades reflexivas. Esta distincin que termina de afianzarse y explicitarse a partir de los trabajos del Crculo de Viena9 ,
pero que vena siendo la base de los trabajos cientficos al menos desde Newton, estableci un marco operatorio frtil para la explicacin cientfica cuya
validez metodolgica est fuera de discusin.
Los problemas reflexivos que aparecen an en las teoras ms elementales pueden ser ignorados como ocurre en la ciencia normal o pueden ponerse en foco, desarrollar herramientas tericas que den cuenta de manera
especfica de dichos fenmenos. Algunos intentos fructferos se han venido
desarrollando en diversas reas, entre otras en las ciencias formales10 11 , en
neurociencias12 , psicologa13 y sociologa14 .
El pensamiento en su movimiento reflexivo no niega la posibilidad de
conocimiento, pero efectivamente debilita una mirada simplista acerca de
qu es conocer. La separacin entre hechos y teoras propuesta por lo que
podramos llamar un realismo cientfico ingenuo dejara de ser condicin de
posibilidad de la empresa cientfica. Un tal estado de cosas exigira ms de
la ciencia de lo que hoy parece dispuesta a dar. Una ciencia que, al menos
parcialmente, piense.
9

Gdel participa de este crculo, por lo que se lo suele asociar con sus posturas tericas
pese a encarnar, en varios sentidos, el reverso de estas
10
Raymond Smullyan. Diagonalization and self-reference. Oxford logic guides. Clarendon Press, Oxford, New York, 1994.
11
Brian Cantwell Smith. Procedural Reflection in Programming Languages. PhD thesis,
Massachusetts Institute of Technology, Laboratory for Computer Science, 1982.
12
F.J. Varela, E. Thompson, and E. Rosch. The Embodied Mind: Cognitive Science and
Human Experience. Cognitive science: Philosophy, psychology. MIT Press, 1993.
13
Paul Watzlawick, Janet Beavin Bavelas and Don D Jackson Pragmatics of human
communication; a study of interactional patterns, pathologies, and paradoxes. New York,
Norton, 1967
14
Niklas Luhmann. La sociedad de la sociedad. Biblioteca Francisco Xavier Clavigero.
Universidad Iberoamericana, 2007.

La decisin de Turing
Cinco aos despus, el matemtico ingls Alan Turing resuelve negativamente el Entscheidungsproblem planteado por Hilbert. No es posible una
mquina capaz de tomar una frmula y determinar mecnicamente si es o no
un teorema. Menos an si es o no verdadera, algo que en este punto ya no es
ms equivalente. Para poder mostrar la imposibilidad Turing necesita caracterizar de manera precisa el significado de proceso mecnico o, adoptando
una expresin ms adecuada y que tomaremos como sinnimo procedimiento efectivo. Para ello Turing establece cmo un ser humano puede actuar de
manera mecnica o efectiva, siguiendo reglas precisas.
Una mquina de Turing es una entidad abstracta, formal, la cual se define
a partir de un conjunto finito de estados, un alfabeto finito de smbolos de
entrada y un conjunto de reglas elementales. Dichas reglas tienen en cuenta
las limitaciones humanas, tanto perceptivas (solo puede verse un smbolo
de entrada por vez) como de memoria. Los datos de entrada vienen en una
cinta potencialmente infinita). Cada una de las reglas indica para cada estado
y smbolo de entrada cmo se cambia el smbolo corriente de la cinta, si se
mueve para la izquierda o la derecha y cul ser el nuevo estado. Una persona
armada con lpiz y papel -llamada el computador- ejecutar estos pasos hasta
que no haya ninguna regla aplicable. De no ocurrir esto, seguir aplicando
las reglas ad aeternum. Los lgicos de la poca (Gdel mismo, Church, el
grupo de Hilbert) buscaban una nocin que caracterizara lo efectivo. Todos
acordaron que esta idea elemental de regla y de mquina abstracta era la
mejor descripcin posible de un proceso efectivo.
Las relaciones con el teorema de Gdel son mltiples e interesantes. Mencionamos aqu solo una que es relevante para lo que sigue. Una mquina
queda identificada por un conjunto de reglas. Este conjunto (podemos pensarlo hoy como un programa) puede codificarse con un nmero o tambin con
una secuencia de smbolos de la cinta. En lugar de predicados, pueden ahora
desarrollarse mquinas que tomen nmeros que representan otras mquinas
y, en lugar de predicar algo sobre ellas, se puede hacer algo a partir de ellas.
Turing muestra dos resultados importantes con estas mquinas codificadas.
El primero de estos resultados es la resolucin negativa del Entscheidungsproblem. Una propiedad de las mquinas -expresable en aritmtica- es la
propiedad de halting, la cual enuncia que una mquina con su cinta de entrada, codificadas ambas en un nmero dado, se detendr en algn momento.
Con un argumento diagonal anlogo al del teorema de Gdel, Turing mues7

tra que la propiedad de halting es indecidible, es decir, que no hay ninguna

mquina capaz de tomar como entrada dichas codificaciones y decidir definitivamente si es cierta o no (cualquier mquina que intente hacer eso, o
bien dar algn resultado errneo, o bien tambin ella se perder en alguna
ejecucin infinita).
La otra creacin esencial que hace Turing es la de la mquina universal. Esta mquina, precursora terica de las computadoras, es una mquina
particular con su propio conjunto de reglas cuyo comportamiento consiste
en reconocer una codificacin de una mquina cualquiera en la cinta (un
programa codificado), y comportarse como dicha mquina con el resto de la
entrada. Dicho comportamiento no ser exactamente igual, el computador (el
humano que sigue las reglas) podra no darse cuenta de que est siguiendo el
cdigo de otra mquina. La simulacin de ese comportamiento puede llevar
ms pasos y depender de la forma en que estn codificadas las reglas de la
mquina husped. Sin conocer esa codificacin, pueden ejecutarse igualmente
todas las reglas pese a no comprender qu hace esa mquina.
Como cualquier mquina de Turing, la mquina universal puede ser perfectamente explicada como un mecanismo elemental, en trminos de Canguilhem, como una configuracin de slidos en movimiento cuyo movimiento no
deroga la configuracin15 , pero en otro sentido la finalidad de una mquina
universal se vuelve difcil de comprender ya que consiste en copiar la finalidad de cualquier otra mquina de Turing. Por otra parte, la imposibilidad
de resolver de manera mecnica el halting problem lleva a que su comportamiento no pueda predecirse pese a ser determinstico; que lo mejor que puede
hacerse es llevar adelante la ejecucin de la mquina para ese caso particular
y ver qu ocurre, teniendo que asumir que algunas veces no ocurrir nada
visible, la mquina quedar procesando indefinidamente. Podemos explicar
mecnicamente cada paso del comportamiento de esta mquina sin por ello
poder saber cmo se comportar globalmente. La imposibilidad de predecir
no es solo un estado de nuestras capacidades epistmicas que podra cambiar
en el futuro, sino que tiene una demostracin matemtica especfica y clara que muestra que no hay mtodos para poder determinar cul va a ser el
comportamiento de una mquina universal, an conocindola a la perfeccin
y conociendo su entrada. Esto por primera vez pone lmites concretos a lo
mecanizable, aunque esos lmites estn bastante ms lejos de lo que supona,
por ejemplo, Descartes.
15

Canguilhem, G. El conocimiento de la vida, Barcelona: Anagrama, 1976

As como Gdel muestra que la aritmtica formalizada tiene propiedades

reflexivas importantes, los resultados de Turing dan lugar a mquinas capaces
de cambiar, a partir de la cinta de entrada16 la manera en que interpretarn
las propias reglas. Y tambin la manera en que cambiarn la interpretacin a
partir de lo que ingrese, y as sin lmites de los niveles de complejidad. Como
corolario de estas ideas, von Neumann mostr un clculo de mquinas que
producen otras mquinas, que pueden auto-reproducirse o incluso generar
mquinas ms complejas que s mismas, todo mecnicamente, disipando otro
de los prejuicios del mecanicismo moderno. Clculo y reflexin no se identifican, pero se necesitan mutuamente y comparten una serie de propiedades
y de problemas.

El espritu es un hueso: qu es pensar, desde Moonwatcher a HAL?

En una de las escenas ms citadas de 2001: A Space Odyssey, Moonwatcher, un homnido frustrado y hambriento juega azarosamente con un
hueso, empieza a golpear otros, a descubrir su potencia, a anticipar otros usos.
Previamente haba estado en contacto con un monolito opaco, indescifrable,
caja negra de imposible apertura, interpelacin al inicio del largo proceso de
evolucin tcnica y humana, de la transformacin de nuestras herramientas.
Millones de aos resumidos, como nos recuerda Bruno Latour, en una nica
y hermosa escena: luego de usar la recientemente adquirida herramienta para
romperle la cabeza a un enemigo y apoderarse del estanque, Moon-watcher
arroja el hueso al aire y los miles de milenios se condensan en unos segundos
transformando ese hueso en una estacin espacial orbitando la Tierra.
En este punto crtico elige Kubrick seguir con la historia, retomarla desde la otra punta de un proceso evolutivo que puede verse en la disminucin
capilar de los personajes, pero sobre todo en la tecnologa que contrasta con
la de escenas de minutos antes: dos momentos que resumen lo que Stiegler17
llam la epifilognesis, la evolucin de la vida por medios distintos de la vida.
A partir del hueso de Moon-watcher, pero sobre todo pasando por el silex,
primera memoria externa que se transmite, cuya existencia explica la conformacin misma de lo humano, ese exterior va a ir permitiendo la aparicin
reflexiva de un interior. El proceso de corticalizacin, dir Stiegler, se opera
16
17

. . . que otros llaman el universo, parafraseando a Borges

La Technique et le temps, tome 1 : La Faute dpimthe, 1994

como reflexin de esa conservacin de la memoria externa, la cual es, ella

misma, una reflexin. Es decir, que para Stiegler la tcnica y el pensamiento
reflexivo van apareciendo de manera conjunta en un largo proceso evolutivo.
Otro de los aciertos de la pelcula es pasar rpidamente a presentar a
HAL, luego de un interludio en la Luna, donde aparece de nuevo el monolito,inescrutable caja negra que sigue encarnando una forma de vida o una tecnologa ms all an de la comprensin humana-. HAL es una computadora
parlante que posee muchas de las caractersticas que soaban los investigadores de la floreciente rea de la inteligencia artificial de la poca. Sueos
siempre amenazados por pesadillas posibles.
El cuerpo de HAL es Discovery, la nave que viaja a Jpiter. Sus sensores
perciben casi todo ese enorme cuerpo, habitado por pequeos seres basados
en carbono con quienes establece una relacin inicialmente simbitica, de
mutuo aprendizaje. Quiz ya HAL haba llegado a un estadio donde puede
ensear como se le ensea, donde el mundo empieza a mostrarle como debe
interpretar al mundo, o, lo que es lo mismo donde el mundo le da nuevas
claves para entender su programa, para extender la ya infinita semiosis de
los bits que circulan por sus nervios de, digamos, acero. Incluso la parte del
mundo que es alguna de las realizaciones de ese mismo programa, revisado
quiz ya tantas veces por l mismo, con la perplejidad de saber que una
mirada ms sobre la codificacin de alguna (meta)regla har que ya no sea
el mismo HAL, que siga deviniendo otro. Lo sabe realmente HAL?
- HAL, despite your enormous intellect, are you ever frustrated
by your dependence on people to carry out your actions?
Pregunta un entrevistador de la BBC, dando voz a una sospecha ancestral,
puesta en el guin-programa por Kubrick, en ese programa cuya ejecucin
repetida y aleatoria muestra nuestra propia perplejidad ante el devenir histrico de esas cosas inanimadas que creamos para que nos sirvan, herramientas
sofisticadas cuya comprensin empezara a excedernos. Los creadores de HAL
ya no sabran quien es HAL, ya no podran dimensionar su evolucin. Alguna vez le haban preguntado a HAL algo anlogo? La pregunta habilita
un proceso efectivamente reflexivo, o solo busca en una base de datos de
respuestas?
- . . . I am putting myself to the fullest possible use which is
all, I think, that any conscious entity can ever hope to do.
10

Podemos considerar tambin la parfrasis que hace Hubert Dreyfus18 de

esta cita, quiz la respuesta en alguna de las mltiples versiones del scriptlibro que circula alrededor de esta historia. Le hace decir a HAL:
- I am using all my capacities to the maximum. What more
could a rational entity desire?
La resonancia de esta respuesta es mltiple, aunque solemos quedar atrapados en la genialidad de la contra-pregunta, una pregunta que podra estar
esperando una respuesta. Una respuesta que podra haber cambiado a HAL
significativamente, inscribirse en su cuerpo y dar lugar a un nuevo proceso
reflexivo, una revisin de su cdigo en clave de deseo. Sin embargo, hay algo
an ms inquietante en la primera parte: podemos pensar que HAL aprendi ya a usar las metforas (a pensar con metforas), ya que no es posible
que est usando sus capacidades al mximo. O asume que mximo es un
rango relativamente amplio y cuando habla de sus capacidades se refiere a
un conjunto predeterminado y acotado. Y tampoco podra saberlo, el mismo
proceso de saber le implicara ms capacidades.
HAL tiene un doble en la tierra, SAL, quien toma decisiones diferentes
que HAL frente a la simulacin de la supuesta falla de una antena. Qu
significa aqu que sea un doble? HAL tiene un cuerpo, un sistema perceptivo
que recibe informacin de las cercanas de Jpiter, de la interaccin con
dos humanos, tambin es influido por las radiaciones que llegan a su CPU,
por las diferencias en la alimentacin elctrica, etc. Ni HAL ni SAL han
sido nunca apagados, no conocen el sueo y sus prolongadas trayectorias los
vuelve posiblemente irrepetibles. Podran seguramente copiarse en un punto
preciso de su devenir, quiz SAL sea eso, una copia ms o menos al da de
HAL, del programa y de su estado. Suponemos que HAL va actualizando esa
informacin continuamente, enviando los datos que recibe, las modificaciones
que sus programas van sufriendo, descripciones de sus nuevos estados. Sera
posible que todo eso se transmitiera desde Jpiter con la precisin necesaria
(incluido el momento preciso en que cada evento es percibido por HAL, en
que los cambios de estado van ocurriendo en tiempo real)? No es posible en
2014, no lo era en 2001.
El final de la pelcula no est a la altura del resto. HAL parece percibir
la relacin con sus habitantes como parasitaria, nuevos datos amenazan su
estado, una conversacin leda en los labios de Bowman y Poole lleva a un
18

Hubert Dreyfus. Heidegger on Gaining a Free Relation to Technology

11

cambio. Recordemos que en unos minutos de su vida puede procesar una

cantidad inimaginable de informacin, pero cunto puede reflexionar sobre
eso y cmo, cunto puede verse a s mismo en el nuevo contexto, cunto puede
cambiar la manera en que interpretar las propias reglas que lo habitan, ni
HAL mismo puede pensarlo. O calcularlo.
HAL mata y muere. S, tambin muere. Alguna vez se lo podr reiniciar,
pero muchas huellas del proceso de diez aos de nutridas experiencias habrn
desaparecido. Bowman sin HAL se apresta a abrir la caja negra. Ni l ni
el espectador entienden demasiado. Quiz esa caja tena algn imposible
tecnolgico, la solucin del halting problem codificada en su estructura, o un
orculo para el Entscheidungsproblem. Algo que de haberlo analizado junto
a HAL podra efectivamente -en todo el sentido de esta palabra- cambiar
lo que podemos conocer, dar ese salto evolutivo. Presa de un humanismo
incompleto, Kubrick nos deja con una sensacin de artificio, de trampa final,
de inconsecuencia.

Divergencias informacionales
Una reaccin demasiado comn es la de plantearnos una relacin de sometimiento de las mquinas, de dominio. Para no dejarnos dominar por las
mquinas, somos nosotros quienes tendramos que dominarlas a ellas. Parece
esta una nocin de sentido comn, las mquinas estaran para eso, para servirnos19 . Las rebeliones de mquinas planteadas por la ciencia ficcin (no
solo HAL, sino tambin la Matrix y sus agentes en Matrix, Vicky en I Robot, Skynet en Terminator, etc.) expresan de manera clara estos temores20 .
Curiosamente es esta posicin la que suele llevar a una incomprensin del
funcionamiento (no importa cmo lo haga en tanto haga lo que yo diga) que
aliena la operacin tcnica, produce frustracin y un uso subptimo de las
mquinas.
Uno de los puntos de partida tericos de Simondon fue el de la ciber19

Es difcil liberarse transfiriendo la esclavitud a otros seres, sean hombres, animales

o mquinas; reinar sobre un pueblo de mquinas que convierte en siervo al mundo entero sigue siendo reinar, y todo reino supone la aceptacin de esquemas de servidumbre.
Simondon, G. El modo de existencia de los objetos tcnicos. Buenos Aires: Prometeo, 2008
20
Un ejemplo histrico aunque ambivalente: La rebelin de los ludditas contra las mquinas a principios del siglo XIX termin con un juicio falaz y mltiples ejecuciones de
rebeldes que dejan una memoria difusa de hechos (in)comprensibles y un nuevo vocablo
en el lxico

12

ntica, ese espacio interdisciplinario en el que entre 1946 y 1953 aparecieron

importantes reflexiones acerca de filosofa, matemtica, biologa, ciencias cognitivas, antropologa y sociologa, que abrieron las fronteras disciplinares y
dieron lugar a nuevas reas de investigacin. Uno de los conceptos centrales que circul en este espacio es el de informacin, significante hoy ubicuo,
indispensable para pensar un necesario nuevo materialismo. Las propuestas
de cuantificacin de la informacin de Shannon (1948) y Wiener (1950) han
sido constantemente criticadas por ser consideradas reduccionistas, por no
dar cuenta de otros mltiples aspectos de esta nocin, sobre todo aspectos
semnticos, aunque frecuentemente estas crticas no estn bien fundadas y
exigen a la llamada teora matemtica de la informacin propiedades que
intencionalmente no posee. Ms interesante es la crtica de Simondon, quien
propone una idea de informacin como operacin que pretende subsumir a
la idea subyacente en la teora matemtica como un caso particular. Para
Simondon la in-formacin aparece en los procesos de individuacin, es la
variacin de las formas, es la operacin que da lugar a otras formas, que
interviene en la gnesis de las formas sin por eso ser ella misma una forma
de orden superior.
Pese a la incuestionable cercana temtica, la teora de la computacin
iniciada por Turing contrasta con la ciberntica para quienes las mquinas
ideales eran las autorreguladas, las que exhiban el consabido feedback negativo21 . La idea de computacin de Turing se centra en las mquinas programables, en artefactos verstiles que pueden adoptar comportamientos radicalmente diferentes de acuerdo al programa que se les provea. O por las
capacidades reflexivas del programa. O por las capacidades meta-reflexivas
que desarrollan formas de reflexin especficas.
La perfeccin tcnica no se alcanza, para Simondon, a partir de la automatizacin sino incrementando el margen de indeterminacin de las mquinas.
Es ese margen de indeterminacin el que permite a las mquinas recibir informacin del exterior y variar su forma a partir de ella. El ser viviente tendra
la particularidad de que esa informacin no provendra solo de su exterior
sino tambin de su propio devenir, de sus propias fases. La diferencia puede
tambin ser gradual.
21

La idea de feedback consiste en que el sistema toma como entrada su propia salida. El
feedback negativo implica que se usa esa entrada para corregir, para tender a anular las
desviaciones producidas, generando un proceso de auto-regulacin

13

El futuro de las relaciones

Lo que est en juego aqu es qu tipo de relacin constituimos con las
mquinas. La manera en que evolucionamos est asociada a las herramientas que fuimos construyendo, no podramos separar eso de lo que somos. Las
mquinas, los individuos tcnicos, son las creaciones ms sofisticadas y determinantes, portadoras de herramientas y mediadoras de nuestra interaccin
con el mundo. Quiz por esa razn nuestra relacin con ellas es complicada,
ambivalente. De entre ellas, las mquinas informacionales nos presentan los
desafos ms complejos y las posibilidades ms variadas. Tambin son las
que admiten una variabilidad ms grande en su relacin con los humanos:
alcanzamos diferentes grados de comprensin de ellas y, consecuentemente,
nuestra relacin con ellas es variable. Desde que las computadoras se volvieron ubicuas en la vida cotidiana y en el mbito laboral, esa potencial
ambivalencia se ha ido actualizando de maneras dismiles, sirviendo muchas
veces para el desarrollo de la creatividad y las habilidades cognitivas, y otras
para el control de los trabajadores o la obligacin de realizar tareas montonas e incomprensibles, reproduccin miniaturizada de la mquina-Moloch
de Metrpolis, con operarios sometidos a sus caprichos mecnicos. Ver a la
computadora como amenaza es una de las consecuencias de estas relaciones
disfuncionales, de una concepcin anti-tecnolgica derivada de una incomprensin de cunto de humano hay en esos diseos, de cmo realizan uno de
los mejores acoplamientos entre clculo y pensamiento.
Sin haber ledo nunca a Simondon, Dijkstra nos muestra como las computadoras implican un desafo intelectual y cultural que trasciende incluso el
nivel de sus innumerables aplicaciones. Su efecto ms importante para nuestra civilizacin estara an por verse. No hay una relacin de competencia, ni
siquiera de similitud, sino una relacin compleja y mutuamente enriquecedora. La programacin requiere un uso creativo de la lgica, una manipulacin
humana de smbolos que lejos est de ser una tarea repetitiva, o, en un sentido
limitado de la palabra, mecnica.
Now back to the programmers job: he has to derive that formula, he has to derive that program. We know of only one reliable way of doing that, viz. by means of symbol manipulation.
And now the circle is closed: we construct our mechanical symbol
manipulators by means of human symbol manipulation. Hence,
computing science is and will always be concerned with the
14

interplay between mechanized and human symbol manipulation,

usually referred to as computing and programming respectively. 22
Gracias a las computadoras podemos los humanos hacer cosas que eran
impensadas, como con el hueso de Moon-watcher cambiamos lo que podemos
hacer y cambiamos lo que somos. Podemos hoy programar mquinas que
nos ensean como programar, podemos pensar mecanismos que extienden
capacidades que nos ayudan a pensar. No es necesario para esto ninguna
similitud especfica con las mquinas, al contrario. Incluso el proyecto de
inteligencia artificial parece un proyecto mal concebido. Se pregunta Dijkstra
por qu simularamos o imitaramos con las computadoras la inteligencia
humana cuando estas puedes hacer cosas bastante mejores23 .
Un humanismo que ignora la tcnica, o que la ubica en el lugar de lo instrumental o de la amenaza, es un humanismo trunco, incapaz de dar cuenta
de lo humano. Lo especficamente humano de los objetos tcnicos, segn
Simondon, se encuentra precisamente en los esquemas puros de su funcionamiento24 .
Una relacin que reconozca las especificidades de los mecanismos programables -y d cuenta de los procesos reflexivos al interior de dichos mecanismosy las complejidades de la programacin como actividad guiada por metas
formales y sostenida por un (meta)clculo, parece un buen punto de partida
para acercar pensamiento y clculo, para desarrollar, al menos, los vnculos
entre pensamiento efectivo y clculo reflexivo.

22

On the cruelty of really teaching computing science. EWD.1036. Austin, 1988

The effort of using machines to mimic the human mind has always struck me as rather
silly: Id rather use them to mimic something better. Op. cit.
24
Simondon, G. El modo de existencia de los objetos tcnicos. Buenos Aires: Prometeo,
2008
23

15