El panóptico digital: el hogar de los hikikomoris

El panóptico fue un edificio singular ideado por Jeremy Bentham, a finales del siglo XVIII, para que sirviera de modelo carcelario. Era un edificio circular, con una cabina central en la que se situaría el carcelero, quien podría vigilar desde ahí a todos los presos, cuyas celdas estarían ubicadas perimetralmente. En el diseño hay un detalle relevante, a saber: que las celdas estaban situadas de tal manera respecto a la cabina del carcelero, que éste podía observar en cualquier momento cada una de las celdas, sin que sus ‘inquilinos’ pudieran saber cuándo eran vigilados; es decir, que los presos nunca podían saber cuándo el carcelero les estaba vigilando expresamente a ellos, y cuándo no. El efecto psicológico de esto es importante, como es el de la sensación de estar constantemente vigilado, como una especie de gran hermano que controla todos y cada uno de nuestros movimientos. El carcelero no necesariamente estaba vigilándole a uno de continuo, pero el caso es que el preso en cuestión no lo sabía y, a la postre, actuaba como si el carcelero estuviera siempre con un ojo puesto en él.

La idea del panóptico ha sido recurrente en algunos filósofos contemporáneos, como Foucault, Deleuze o Han, poniendo de manifiesto la asimetría generada en beneficio de los que ostentan el poder ―sea éste del carácter que sea― en detrimento de los que no. Puede valer tanto para una cárcel, como para una fábrica (en la que no es extraño que los jefes o encargados tengan sus despachos de modo que puedan controlar todo el espacio), o en una sociedad. Si digo ‘sobre una sociedad’ no es gratuitamente, sino que ésta es exactamente la situación (análogamente hablando) en la que vivimos sobre todo en la sociedad occidental, dependientes, vigilados, ¿dominados?, por las NNTT y el big data.

Si la tecnología ha coexistido con el ser humano desde que éste es humano, no es menos cierto que en nuestra época se ha puesto de manifiesto, más que nunca —como dicen los profesores Sanmartín y Peris Cancio— cómo la tecnología puede cambiar sustancialmente nuestras vidas. Ciertamente, el discurso tecnológico no es ni neutro ni autosuficiente; lo alimentamos nosotros continuamente, a la vez que configura nuestras personalidades y psicologías, hasta el punto de que es más que pertinente preguntarnos por el tipo de personas en que nos queremos convertir, o en el que queremos convertir a nuestros descendientes. «¿Qué autocomprensión de las personas queremos desarrollar?», nos cuestionan.

Esta pregunta no es baladí, ni mucho menos, ya que, como muy bien han visto estos autores (entre otros), las nuevas tecnologías de la información y de la comunicación están cada vez más embebidas en nuestras vidas cotidianas; los cachivaches tecnológicos están revestidos de una pátina pegajosa que nos impide deshacernos de ellos. No es exagerado afirmar que ninguno de nosotros es capaz de imaginarse su vida hoy en día sin ellos, no digamos las generaciones más jóvenes. La verdad es que no tienen por qué ser negativos, ni mucho menos, ya que ofrecen muchas y muy buenas posibilidades; el problema es, como en tantas otras cosas, su uso inadecuado; tanto por parte del usuario final, como, que es lo que ha dado origen a la idea del panóptico, por parte de las grandes firmas comerciales y públicas.

¿Qué es el big data? Como afirman Galparsoro y Pérez Pérez, no hay una definición exhaustiva que contente a todos. Podríamos entenderlo como toda la información generada por la digitalización de nuestras costumbres, generadora de tal inmensidad de datos que ni una mente humana, ni siquiera un ordenador convencional, sería capaz de gestionar, haciendo falta supercomputadoras. Habría que realizar dos consideraciones. La primera, tener claro que todos y cada uno de nosotros contribuimos a la generación del big data (yo mismo al publicar este post), tanto consciente como inconscientemente, haciendo pública información privada que quizá nunca hubiese querido publicar. La segunda tiene que ver con quién y para qué tiene interés por esta información. Ya digo, no se puede negar las bondades que pueda tener: quizá la aplicación que ha salido para el seguimiento de las personas infectadas durante la presente pandemia sea una de ellas; pero sería ingenuo pensar que siempre se iba a utilizar toda la información en beneficio del consumidor.

La crítica que hace Han se origina aquí, en el hecho de que hemos hecho públicas nuestras vidas, ausentes ya de privacidad y de todo lo que ello conlleva. Y lo gracioso es que nadie nos ha obligado a ello, sino que lo hacemos porque nos gusta, un gusto coaccionado (ahora sí) por una especie de necesidad interna. Regimos nuestras vidas no desde la originalidad y espontaneidad de una vida asombrada y sorprendente, sino desde el cálculo algorítmico que unos han diseñado para nuestro ‘bienestar’. Nuestro comportamiento se ha tornado previsible, rutinario, incluso aun cuando consumimos esas ‘grandes experiencias’ en las que arriesgamos nuestras vidas para huir del aburrido tedio cotidiano. Una vida auténtica piensa, no calcula. Frente a aquellas épocas en las que la técnica (este exceso de técnica en el que vivimos hoy en día) era vivida con cierta esperanza, hoy hemos sucumbido a sus encantos, acomodándonos en cárceles con barrotes a base de microchips y perfiles virtuales, ausentes de compromisos hondos y profundos, arrastrados por los vaivenes de la opinión superficial. Y el caso es que ahí estamos todos, como perrillos fieles y obedientes, alimentando a una bestia a la que luego nos costará mucho domeñar, si es que realmente nos proponemos hacerlo algún día. Una bestia que ya no tiene un solo ojo, como el panóptico original de Bentham, sino que esa mirada despótica es sustituida por una omnipresencia tecnológica (como dice Han en La sociedad de la transparencia): la vigilancia ya no está localizada en algún lugar, sino que está en todos los lugares, y nosotros le invitamos a que nos observe. ¿Por qué? Pues porque «mientras los moradores del panóptico de Bentham son conscientes de la presencia constante del vigilante, los que habitan en el panóptico digital se creen que están en libertad», dice Han.

Nuestros jóvenes prefieren quedar antes virtualmente con sus amigos que físicamente; prefieren conectarse virtualmente antes que, sencillamente, quedar para tomar un helado o dar ‘un garbeo’, como decíamos antes. Cada vez hay más hikikomoris, como dicen Galparsoro y Pérez: personas que viven al margen de la sociedad, con la que viven conectados virtualmente sin salir de su casa.

No hay espacio para la intimidad: somos transparentes, porque estamos hipercomunicados. Y somos nosotros los que estamos construyendo a diario nuestro propio panóptico, dichosos de ser observados, vigilados, controlados. Esa vigilancia no se realiza como un ataque a nuestra libertad, sino que más bien somos nosotros los que nos entregamos a ella, alimentándola con nuestros perfiles y nuestros ‘me gusta’. «El morador del panóptico digital es víctima y actor a la vez. Ahí está la dialéctica de la libertad, que se hace patente como control». Por eso nos sentimos libres. Pero, libres ¿para qué? Somos libres para comprar esta marca o aquélla, pero no para dejar de comprar las cosas que me dicen que tengo que comprar. Todos mis gustos, mis deseos, mis inquietudes, mis tiempos, mis horarios… todo está ahí, en la nube, a expensas de quien quiera utilizarlo, seguramente para su beneficio, no para el mío. Quizá haya que adquirir cierta consciencia de nuestra realidad, de hasta qué punto somos manipulados en donde más vulnerables somos: en nuestros deseos, en nuestros anhelos. ¿Con qué finalidad? Pues quizá con la de recuperar cierta autenticidad y originalidad de vida, siendo ‘idiotas’ en su sentido etimológico (tal y como explica Deleuze), personas que, de alguna manera, sean capaces de vivir su vida no ‘al margen de’, pues eso sería imposible, pero sí manteniéndose alerta ante ese gran hermano tecnológico que nos vigila en el gran panóptico digital que es nuestra sociedad, generando espacios de desconexión, de distanciamiento, oquedades en las que damos la posibilidad de que surja nuestra verdadera autenticidad del interior.

Cerrando el teorema de Gödel (2 de 2)

Una vez hemos acabado de ver su planteamiento estructural (en el anterior post), vamos ahora con el desarrollo del teorema. Pues bien, lo que busca Gödel es demostrar que existe por lo menos un enunciado tal que, si se cumplen las condiciones de Hilbert (consistencia axiomática y verificabilidad algorítmica), ni él ni su negación se pueden demostrar en el sistema formal (partiendo de sus axiomas y empleando las reglas definidas). O sea, que dicho enunciado es indecidible en dicho sistema. ¿Cómo hacerlo? El planteamiento fue concretar una expresión meta-matemática con su correspondiente número de Gödel, de modo que ni ella ni su opuesta fueran demostrables en el sistema formal. ¿Qué expresión fue ésta? Nos lo explican Nagel y Newman: «Gödel mostró cómo construir una fórmula aritmética G que represente el enunciado meta-matemático: ‘La fórmula G no es demostrable’», en el seno del sistema formal y partiendo de los axiomas dados.

Si nos fijamos, estamos en el caso de la autorreferencialidad que ya comentamos en un post anterior, es decir, queremos expresar una fórmula de una expresión metida dentro de sí misma. De este modo, si tenemos una fórmula cuyo número de Gödel es h, quedaría así: la fórmula cuyo número de Gödel es h, no es demostrable.

Vaya por delante que la proximidad entre este planteamiento y el que vimos cuando hablamos de la paradoja de Richard es evidente. El mismo Gödel se hizo eco de ello, siendo consciente de que G es construido de manera análoga a como se definían los números richardianos; pero recordemos que el planteamiento de Richard era falaz en tanto que empleaba enunciados no meta-matemáticos, sino extra-matemáticos, que es una de las condiciones que hemos supuesto en el planteamiento de Gödel (que los enunciados sean ‘significativos’ en el seno del sistema formal). Y hay otra diferencia importante: el resultado de Richard fue llegar a una paradoja, precisamente afirmando que un número era a la vez richardiano y no richardiano; aunque Gödel utiliza un argumento similar y obtiene un resultado similar, como él no utiliza enunciados extra-matemáticos ajenos al sistema formal, sino enunciados meta-matemáticos decidibles en dicho sistema, ese resultado análogo de que G y ~G son demostrables a la vez no nos lleva a una paradoja, sino a la demostración de su teorema. Y esto, ¿por qué? Llegando a este resultado, se concluiría que el sistema es inconsistente, porque un enunciado y su opuesto son demostrables, lo cual no es posible; pero una condición de partida era la consistencia del sistema axiomático, ya que, si el sistema axiomático no fuera consistente, nada de lo que estamos diciendo tiene sentido. Y, si efectivamente el sistema axiomático es consistente, sólo cabe la conclusión de que ni G y ~G pueden derivarse en el cálculo formal (ya que, en definitiva, pueden demostrarse ambas); o, dicho de otro modo, sólo cabe la conclusión de que hay por lo menos un enunciado indecidible: G. Espero que se entienda la diferencia.

Dicen Nagel y Newman: «Así, si la aritmética [el sistema formal] es consistente, G es una fórmula formalmente indecidible». El razonamiento que lleva a esa indecidibilidad es interesante. Partimos de un conjunto de axiomas que se suponen verdaderos; entonces, todos los enunciados que se puedan derivar formalmente de ellos serán también verdaderos. Ahora bien, aún no sabemos si nuestro enunciado G es verdadero o no. Veamos las dos opciones, que sea falso y que no. a) Si G es falso, la afirmación ‘la fórmula G no es demostrable’ es falsa, luego entonces, G es demostrable. ¿Qué tendríamos entonces? Pues un enunciado falso, y demostrable, lo cual no tiene sentido. b) Si G es verdadero, la afirmación ‘la fórmula G no es demostrable’ es verdadera, luego entonces, G no es demostrable. ¿Qué tendríamos entonces? Pues un enunciado verdadero, y no demostrable, lo cual tampoco tiene sentido.

Vemos cómo ni G ni ~G son demostrables en el seno del cálculo formal, lo cual es una contradicción. Pero, entonces, ¿cómo sabemos que G es verdadero?, porque mediante la operatividad aritmética hemos visto que no lo podemos saber. De nuevo entra en juego esa correlación entre lenguaje aritmético y enunciados meta-matemáticos; porque, efectivamente, no podemos demostrar aritméticamente la verdad de G, pero el caso es que sí se puede hace meta-matemáticamente. Dicen Nagel y Newman: «(…) a pesar de que la fórmula G es indecidible si los axiomas del sistema son consistentes, puede mostrarse, sin embargo, mediante un razonamiento meta-matemático que G es verdadera. Esto es, puede mostrarse que G formula una compleja pero definida propiedad numérica que necesariamente es válida para todos los enteros», asunto que personalmente se me escapa. De este modo, sabiendo por argumentos meta-matemáticos que G es verdadero, no hemos podido demostrarlo algorítmicamente partiendo de los axiomas de la aritmética.

O sea: G es verdadera (meta-matemáticamente) y es indecidible (aritméticamente). Con esto llegamos a la conclusión de que es un sistema consistente, pero incompleto. Recordemos que un sistema era completo cuando todas las proposiciones verdaderas que pudieran expresarse formalmente en el sistema son formalmente deducibles de los axiomas; y que, si no era el caso, el sistema era incompleto. Pues esto es lo que hemos demostrado: que el sistema (consistente) era incompleto.

Recuperando lo visto (1 de 2)

Con todo lo visto en todos los posts anteriores ya estamos en condiciones (¡espero!) de comprender cuál fue el hilo reflexivo que siguió Gödel en su famoso teorema. Hemos ido siguiendo sucesivos pasos para su comprensión. Hemos visto cómo Gödel ha creado su sistema formal, y cómo ha establecido un método para traducir (mapear) los enunciados meta-matemáticos en ciertas sucesiones finitas de signos, en ciertas fórmulas a las cuales les corresponde siempre un número natural, su número de Gödel, obtenido multiplicando potencias de números primos según una estrategia definida previamente (un método ciertamente original). Así, todo enunciado y, por ende, toda fórmula, posee su correspondiente número de Gödel. A las demostraciones de dichos teoremas, en tanto que son también un conjunto de expresiones formales, se les puede asociar a su vez su correspondiente número de Gödel (el cual será mucho más grande, pero a los efectos de esta demostración da igual). Se trata, pues, de un sistema que es consistente, y cuyo método de verificación de los teoremas es algorítmico (Hilbert), lo cual es muy importante por lo que vamos a ver ahora.

Mediante este sistema, Gödel ha conseguido una cosa excepcional, como es que cada enunciado meta-matemático tenga como correlato su correspondiente número de Gödel. Y, viceversa: que cada número (y qué números pueden hacerlo, ya que no todos pueden) tenga como correlato su correspondiente enunciado meta-matemático. Y aquí está el meollo. Lo importante no es tanto que, partiendo de un determinado número, y yendo hacia atrás, mediante su análisis factorial, seamos capaces de alcanzar la fórmula matemática correspondiente y, por tanto, el enunciado meta-matemático; que también. Lo importante de ello es «poder ya reconocer, a través de una operación que se pueda expresar sólo con funciones recursivas, si dicho número es o no el código de una cadena que constituye un enunciado correcto, un axioma, o una demostración. En otras palabras, la posibilidad de reproducir en términos de oportunas expresiones aritméticas (aquellas que representan en el sistema dichas funciones recursivas), la recursiva decidibilidad de tales colecciones» como dice Raguní.

O sea, que, efectivamente, el conjunto formado por los números de Gödel posibles, se corresponden con enunciados meta-matemáticos demostrables; un conjunto de números de Gödel posibles, cuyos elementos se consiguen por operaciones meramente algorítmicas.

Esta idea es fundamental. No todos los números naturales son números de Gödel; sólo aquellos que son obtenidos según la metodología que ya explicamos. No todo número natural es un número de Gödel. Pues bien, lo que Gödel ha mostrado en su planteamiento es que todo número de Gödel se corresponde con un enunciado meta-matemático que es demostrable. O sea, que si el enunciado meta-matemático es correcto, le corresponden sus operaciones adecuadas en el seno de dicho sistema formal; y, lo que es más importante, viceversa: si una expresión formal es resultado de unas operaciones correctas en el seno del sistema formal, su enunciado meta-matemático correspondiente será correcto. ¡Maravilla! O sea: que algunos enunciados pueden probar otros enunciados de forma totalmente algorítmica. Evidentemente, hablamos de enunciados meta-matemáticos que tengan sentido en el seno del sistema formal; no vale cualquier enunciado que se nos ocurra, sino sólo aquellos que ―por decirlo así― posean una significatividad en el seno del sistema formal. Pero el caso es que, entre todos estos enunciados significativos en el marco del sistema, unos muy bien pueden ser verdaderos y otros muy bien pueden ser falsos; de eso se trata: de distinguir los que sean una cosa y los que sean la otra, que es para lo que nos apoyamos en el cálculo formal. Si a un enunciado podemos llegar partiendo de otros verdaderos mediante las reglas del cálculo formal, tal enunciado será verdadero, o demostrable; y viceversa.

La verdad, es que esto no deja de generarme cierta violencia: ¿cómo puede ser que enunciados lingüísticos puedan ser manejados aritméticamente? No acabo de comprenderlo hasta el fondo. Pero el caso es que aquí está el meollo del argumento de Gödel, que esta correlación entre enunciados verdaderos y fórmulas aritméticas demostrables partiendo de los axiomas verdaderos es correcta. Si lo pensamos, algo similar pasa entre lo que es la geometría dibujada y la expresión algebraica de lo que allí se dibuja: hay una correlación adecuada entre una recta dibujada en un eje de coordenadas, y su expresión matemática; del mismo modo que el punto de intersección de dos rectas está perfectamente determinado por la resolución del sistema formado por sus dos ecuaciones; etc. ¿Acaso no se puede afirmar aquí que afirmaciones geométricas verdaderas se corresponden con afirmaciones aritméticas verdaderas? ¿Acaso no llegamos en ambos casos al mismo punto como solución de la intersección? Y, ¿en qué se parece una ecuación matemática a una figura geométrica? Pues en nada. Y, si lo pensamos mejor, ¿acaso no podemos expresar mediante enunciados meta-matemáticos las ecuaciones, o mediante enunciados meta-geométricos las figuras? Pues algo de eso hay. Sin embargo, me cuesta hacerme con ello, la verdad; supongo que para hacerse con esta comprensión hasta el fondo uno tendría que haber sido matemático… pero bueno.

Cubriendo huecos

Nuestra sensibilidad, a nivel de sensación y percepción, no deja de ser fascinante. Nuestro cuerpo está dotado de unos órganos especializados que nos permiten establecer una relación con nuestro entorno en función de nuestras necesidades biológicas, de modo análogo a como acontece en cualquier otra especie. Cuando nacemos, no ‘sabemos’ todavía emplear adecuadamente toda esta capacidad potencial. Hemos de aprender a ejercer nuestra sensibilidad, dotándole de sentido en un entorno con el que poco a poco nos iremos familiarizando, independientemente de que nuestra sensibilidad cuente ya con ciertas instrucciones ‘de fábrica’.

Cada sensor está especializado en detectar un determinado tipo de estímulo, y no otros; en el interior de nuestros ojos, por ejemplo, las células receptoras pueden detectar estímulos luminosos, pero no pueden procesar sonidos. Y, gracias a la cantidad de órganos sensibles que poseemos, podemos captar información de muy variado registro. No sólo es que cada receptor detecte un cierto tipo de información, sino que también es capaz de detectar su intensidad, sus matices; los ojos discriminan colores, brillos, tonalidades… los oídos sonidos, tonos, timbres… los receptores espaciales nos ayudan a identificar las fuentes de estimulación en el espacio y en el tiempo… Todo ello va creando en nuestro cerebro una rutina, va generando una huella que se traduce en un modo de sentir y percibir, en nuestro modo de sentir y percibir. No todos ejercemos igual nuestra sensibilidad, independientemente de que en general nuestras sensibilidades sean conmensurables. Cada uno ‘modela’ su entorno imprimiéndole cierto sello personal.

Si lo pensamos, es fascinante no sólo la cantidad y calidad de información que podemos percibir de nuestro entorno, sino el hecho de poder reunirla resultando una representación coherente del mismo. Nuestra sensibilidad fisiológica es como una orquesta en la que todos los instrumentos se coordinan entre sí para ofrecernos una sinfonía maravillosa. Como dice Vollmer, podemos llevar a cabo diferentes procesos sensitivos (espaciales, temporales, conductuales, incluso abstractas) sin ser capaces de individualizarlos, sino que son percibidos unitariamente, incluso aunque seamos conscientes de que son el resultado de un ensamblaje mucho más complicado de lo que nunca nos pudiéramos imaginar. Esto es lo que suele llamarse percepción gestáltica, es decir, «la capacidad de reconocer estructuras superpuestas unitarias dentro de la pluralidad espacial y temporal de las impresiones».

Nuestra percepción, como vimos hablando de Merleau-Ponty, construye los perceptos sobre toda esa información de diverso carácter, dotándoles de tal unidad que incluso nos genera violencia intentar segregarla en sus componentes más sencillos.

Todos estos procesos de integración sensorial son fundamentales para el sano ejercicio de una sensibilidad; sano ejercicio que presenta dos sentidos: uno de abajo arriba, y otro de arriba abajo, conformándose los dos en un resultado global y armónico. Nuestro cerebro es capaz de dotar de unidad a toda la información que llega con caracteres diversos, y a la vez esta capacidad formalizadora de nuestro cerebro contribuye a la discriminación de qué parte de toda esa información debe ser procesada o no, incluso qué parte debe ser sentida o no.

Dejamos de percibir mucha información que nos está disponible, porque nuestra sensibilidad sabe que no es pertinente; pero el caso es que tampoco percibimos toda la información que pueda sernos pertinente, porque no nos hace falta, porque nuestro cerebro es capaz de completar los huecos que presenta la sensibilidad para acabar de construir un percepto, mitad generado a partir de la información, mitad generado a partir de la actividad creadora de nuestra sensibilidad. Esta aportación creativa se manifiesta claramente en la percepción de figuras que ‘en realidad’ no existen. O también cuando somos capaces de, en paisajes en los que a primera vista no se puede reconocer ningún orden, como en las rocas marinas o en los borrones de tinta, o en las nubes del cielo, nuestra imaginación es capaz de encontrar estructuras familiares (fenómeno conocido como pareidolia). O también, sin ir más lejos, en la ilusión de movimiento en la sucesión de imágenes estáticas de una película (lo cual tiene que ver con lo que se denomina capacidad temporal de disolución). Esta actividad creadora de imágenes es tan propia de nuestro cerebro como los mismos procesos sensibles; tanto que no la podemos eliminar «ni siquiera siendo bien conscientes de ella», dice Vollmer.

Lo que sí se puede hacer es ser entrenada u orientada según distintas perspectivas, de modo que se convierten en ‘expectativas’ que tensionan la sensibilidad en las formas que se definen. Así en los especialistas de alguna profesión: donde muchos no vemos más que manchas y borrones, un médico puede ver un tumor, un biólogo una cromatina, un geólogo un pliegue geosinclinal, etc. Gracias a la educación de la sensibilidad en diferentes líneas de creatividad, se pueden percibir y reconocer formas que de otro modo pasarían totalmente inadvertidas.