de que “si hay un reloj, debería existir un relojero que armó dicho aparato”. Aparentemente no tiene que ser así. Bastan reglas incluso simplistas para poder generar comportamientos complejos.
Esto va en contra del argumento que esgrimía Niels Bohr sobre la vida. Hablaba de un fluido vital que estaba en la esencia de los seres vivos y del cual carecía lo inanimado; sin embargo, el concepto de comportamientos complejos, emergentes, que son autoorganizados y que se pueden autorreplicar, sepultó la idea de Bohr.
[no image in epub file]
Richard Dawkins.
Los autómatas celulares evocan autoorganización y, por tanto, son parte fundamental de los seres vivos. Su estudio tiene relación directa con los procesos que denominamos inteligentes. Este tipo de entes abstractos sugieren que en última instancia un conjunto de instrucciones que se siguen ciegamente pueden dar origen a la vida, en particular desde la perspectiva biológica. La pregunta sería si podemos partir de ahí para crear vida que sea consciente de sí misma.
¿Qué demostraría el hecho de que reglas simples generan comportamientos complejos? ¿Qué conclusiones podrían obtenerse de esto? ¿Estaría totalmente muerta la idea de Bohr sobre un fluido vital que es parte esencial de los seres vivos? Cabe decir que este fluido vital tiene una especie de esencia mística, como si estuviese más allá de las explicaciones de la ciencia. Si el gran Bohr pensaba así no es casualidad, simplemente habla de las dificultades para defender y entender el concepto de vida.
Niels Bohr.
Por otra parte, es un hecho ya demostrado que los experimentos con autómatas celulares, ya sea con las ideas de Von Neumann o de Conway, pueden generar comportamientos emergentes de autorreplicación y autoorganización, dos temas estrechamente asociados al tema de la vida biológica. Si estas reglas ciegas pueden generar esta complejidad, la idea del fluido vital desaparece aparentemente, pero ¿no estaremos eliminando la idea de Bohr demasiado pronto? Porque las reglas ciegas parecen implicar finalmente en el autómata celular las condiciones para la autorreproducción y autoorganización, pero… ¿por qué se produce esto? ¿Qué mecanismo es el que genera la autoorganización, por ejemplo?20
7 T. M. Cover y B. Gopinath (eds.), Open problems in communication and computation, Springer, 1987, p. 9.
8 John Horton Conway (26 de diciembre de 1937-11 de abril de 2020; su deceso se debió a complicaciones por covid-19). Matemático británico cuyos campos de acción son la teoría de conjuntos finitos, teoría de juegos y teoría de números, entre otros. Durante muchos años laboró en Cambridge. Hoy trabaja en la Universidad de Princeton. Es tal vez más conocido precisamente por la invención del Juego de la vida (Life).
9 Una máquina de Turing es una máquina universal que puede ejecutar cualquier cálculo. De hecho, el Juego de la vida de Conway —como lo demostró el propio matemático— es una máquina de Turing.
10 Alan Turing, Intelligent Machinery, National Physical Laboratory (Report), 1948, p. 61.
11 Por ejemplo, http://www.delphidabbler.com/software/life es uno de tantos sitios en donde hay software para jugar con la idea de Conway (véanse los apéndices).
12 En términos generales, el Juego de Conway es un autómata celular en dos dimensiones. Se pueden explicar las manchas que pigmentan la piel de algunos animales, incluso de alguna familia de serpientes, utilizando un autómata celular en una sola dimensión, el cual, bajo reglas tan o más simples que las diseñadas por Conway, pueden generar patrones extremadamente complejos. Steven Wolfram (el creador del software Mathematica, ha trabajado extensivamente sobre autómatas celulares en una sola dimensión, y ha hallado propiedades sorprendentes (véase el capítulo correspondiente a los autómatas en una dimensión de Wolfram).
13 Un mecanismo Turing completo quiere decir que es posible emular una máquina universal de Turing. Con respecto al Juego de la vida, lo que se hace es simular las compuertas AND y NOT, lo cual permite construir un álgebra booleana, lo que a su vez hace posible construir –en principio– una compuerta lógica arbitraria que permitiría crear un tipo de memoria RAM, generando así que el juego sea Turing-completo.
14 http://www.igblan.free-online.co.uk/igblan/ca/.
15 Véase http://groups.google.com/group/comp.theory.cell-automata/browse_thread/thread/c62c88b336a917ca/d26a604b1081e460?pli=1.
16 La tesis fuerte de Church-Turing formula la equivalencia entre una función computable y una máquina de Turing que, expresado en términos simples, dice: “todo algoritmo es equivalente a una máquina de Turing”. Cabe decir que esto es una posición filosófica frente a un problema indecidible (http://es.wikipedia.org/wiki/Tesis_de_Church-Turing).
17 Esta interesante conclusión surgió en una comunicación privada sostenida con el doctor Juan Claudio Toledo, del Instituto de Astronomía de la unam y un buen exestudiante mío y mejor amigo.
18 Richard Dawkins (26 de marzo de 1941), científico británico, es autor de muchísimas obras de divulgación científica, como El gen egoísta (1976) y El fenotipo extendido (1982), en donde afirma que los efectos fenotípicos no están limitados al cuerpo de un organismo, sino que pueden extenderse incluso al entorno y a otros organismos.
19 Richard Dawkins, The Blind Watchmaker, Nueva York, W. W. Norton & Company, Inc., 1996 [1986]. Hay una versión gratuita del libro de Dawkins en formato pdf en http://uath.org/download/literature/Richard.Dawkins.The.Blind.Watchmaker.pdf. Cabe señalar que no es versión pirata. Se han otorgado permisos para descargarla.
20 La complejidad y la computabilidad son temas muy interesantes por sí mismos, pero en este trabajo no es el centro de la discusión, sino un tema periférico.
Capítulo IV
La nueva ciencia de Stephen Wolfram
¿Piensas que soy un autómata?
¿Una máquina sin sentimientos?
Charlotte Brontë (Jane Eyre)
Los autómatas celulares de Von Neumann y de Conway sin duda despertaron la imaginación de otros investigadores. Una idea interesante es quitar una dimensión a los autómatas bidimensionales, como los del Juego de la vida, y ver qué pasa si ponemos a trabajar a los autómatas en una sola dimensión. Esto, en principio, podría sugerir una
