El origen de la vida es uno de los problemas más confusos de la ciencia, porque no está del todo claro qué contaría como una explicación satisfactoria o en qué medida deberíamos esperar uno. (Es decir, hasta donde sabemos, la explicación podría ser: “claro, era increíblemente improbable, pero es un gran universo y solo tuvo que suceder una vez …”)
Creo que la informática teórica puede contribuir al problema de manera marginal, por ejemplo, al estudiar cuáles son los sistemas más pequeños posibles en autómatas celulares y en otros lugares que son capaces de autorreplicarse u otro comportamiento interesante. Es cierto que esto no es una complejidad asintótica, pero yo diría que es la informática teórica considerada más ampliamente. Esto es básicamente lo que Adam Yedidia y yo tratamos de hacer, por ejemplo, en nuestro trabajo dando una máquina Turing de 7910 estados cuyo comportamiento era independiente de ZFC (en el momento de escribir este artículo, hasta 1919, ¡gracias a Stefan O’Rear! )
Y, sin duda, hay otras formas en que TCS puede contribuir, por ejemplo, estudiando la dinámica evolutiva para tipos extremadamente simples de organismos y demostrando límites de convergencia. Hay exactamente un informático teórico que conozco que ha pensado seriamente en este tipo de cosas: a saber, Nisheeth Vishnoi en EPFL (que además de ser un excelente teórico de la complejidad, también es un experto en las ideas del origen de la vida de Manfred Eigen). Nisheeth también ha escrito algunas cosas sobre esto, aunque no sé si reflejan la gama completa de su pensamiento.
- ¿Es posible tener una máquina de Turing que sea capaz de construir otra máquina de Turing (diferente) a partir de bits puramente aleatorios?
- ¿Cuál es la función más compleja que has visto que, lógicamente, no debería funcionar, pero sí lo hace?
- ¿Cuáles son algunas aplicaciones interesantes de las matemáticas en la vida real?
- ¿Cómo fueron procesadas las tiras de cinta por modelos posteriores de la Máquina Turing y por qué usar cinta?
- ¿Quiénes son los equipos más notables que trabajan para resolver el problema P vs NP?
En cualquier caso, al igual que la pregunta que me hace sobre la intersección entre TCS y la neurociencia, esta pregunta es sobre una conexión interdisciplinaria profunda, natural e importante que, en su mayor parte, todavía no existe (y que, por lo tanto, presenta una oportunidad obvia para estudiantes ambiciosos!