Inteligencia computacional y consciencia

Eduardo César Garrido Merchán

The same post in English

En los últimos años ha habido avances considerables en inteligencia artificial, especialmente en el campo de la generación automática de textos e imágenes que a veces compiten con éxito con las producciones humanas. Ante esto, los medios, e incluso algunos científicos, han lanzado las campanas al vuelo anunciando que estamos a punto de crear inteligencias artificiales conscientes, que competirían con los seres humanos como iguales nuestros. Pero otros piensan que ese objetivo, si fuera posible (lo que no está claro), está mucho más lejos de lo que algunos piensan.

En un artículo firmado por Eduardo César Garrido Merchán y Sara Lumbreras y publicado en la revista philosophies con el título Can Computational Intelligence Model Phenomenal Consciousness, los autores revisan la analogía de Bertrand Russell, que sostiene que la consciencia y la inteligencia están íntimamente correlacionadas. O sea, que cualquier ente que posea consciencia poseerá también un alto nivel de inteligencia, y viceversa. En cierto modo, esta analogía es semejante a la Prueba de Turing, mucho más conocida.

Los límites de las matemáticas

Kurt Gödel

The same post in English

A finales del siglo XIX, Friedrich Ludwig Gottlob Frege, profesor de la universidad de Viena, emprendió un programa ambicioso: formalizar la aritmética mediante unos pocos axiomas y unas pocas reglas de deducción, de modo que todo teorema verdadero pudiese deducirse de los axiomas mediante cierto número de aplicaciones de las reglas de deducción. El resultado fue un libro monumental, Grundgesetze der Arithmetike (1893-1903), que entre otras cosas formalizó la teoría de conjuntos con una notación engorrosa, que pronto fue sustituida por la de Peano, que es la que usamos ahora.

Desgraciadamente para Frege, cuando estaba a punto de publicarse el segundo tomo de su libro, Bertrand Russell le envió una carta en la que demostraba que su formulación de la teoría de conjuntos daba pie a una inconsistencia. En la teoría de Frege, un conjunto puede pertenecer a otro conjunto. En particular, algunos conjuntos no pertenecen a sí mismos (como el conjunto de los números enteros, que no es un número entero), mientras otros sí pertenecen a sí mismos (como el conjunto de todos los conjuntos infinitos, que es infinito). Russell señaló que es posible definir el conjunto de todos los conjuntos que no pertenecen a sí mismos. Este conjunto lleva a una paradoja: si pertenece a sí mismo, no pertenece, y viceversa. La paradoja de Russell acabó con la obra de Frege, que tuvo que añadir apresuradamente un apéndice a su libro y abandonó la investigación sobre los fundamentos de las matemáticas.

Los límites de la computación cuántica

The same post in English

Alan Turing

En una entrevista en la Contra de la Vanguardia publicada el 27 de julio de 2019, David Pérez García, investigador en física cuántica, dice esto: Sólo [estamos en] el principio de unas tecnologías que aún hoy no sabemos hasta dónde llegarán. Tiene razón, porque el futuro es difícilmente predecible, pero cuando se habla de computación cuántica se tiende a pensar que estos ordenadores, si algún día son viables, nos permitirán resolver problemas muy distintos de los que pueden abordar los computadores tradicionales a los que estamos acostumbrados, y esto sí es algo en que las matemáticas pueden ayudar a distinguir entre lo que se puede hacer, y lo que es completamente imposible.

Aunque la computación cuántica es un concepto bastante moderno, su fundamentación teórica fue establecida por Alan Turing durante los años 30 del siglo XX. Es interesante revisar lo que él demostró entonces, porque así podremos subsanar algunas ideas demasiado optimistas que suelen esparcir los medios de comunicación, a menudo impulsados por expertos que abordan la cuestión desde puntos de vista muy diferentes al de Turing.