402. Lo que ningún ordenador podrá resolver jamás, con Rodrigo Torres

<p><strong>Máquinas de Turing, problemas indecidibles y estructuras de datos compactas: las dos vidas de un investigador, con Rodrigo Torres Avilés.</strong> ¿Hay preguntas que un ordenador no va a poder responder jamás, aunque le dieras todo el tiempo del universo?</p><p>Pues sí, y se puede demostrar. Rodrigo Torres se dedica a eso. Y en su otra vida investigadora dirige a estudiantes comprimiendo datos, con proyectos y plazos. Dos líneas a dos relojes distintos: la teórica da un resultado cada dos años, la aplicada dos al año, y una acaba subvencionando a la otra.</p><p>Hablo con <strong>Rodrigo Torres Avilés</strong>, profesor de Sistemas de Información en la Universidad del Bío-Bío (Concepción, Chile). Ingeniero informático que hizo el doctorado en Ingeniería Matemática porque el de informática «estaba en pañales», y que lleva más de una década publicando a distancia con Anahí Gajardo y Nicolas Ollinger.</p><p>Recorremos, entre otras cosas:</p><ul><li>Qué es una <strong>máquina de Turing</strong> (Hilbert, 1936) y por qué todo ordenador vive dentro de ese modelo.</li><li>Qué significa que un problema sea <strong>indecidible</strong>: no es cuestión de esperar más ni de un ordenador más grande. Y por qué importa en la era de la IA.</li><li>Mirar la máquina no por lo que computa sino por <strong>cómo se comporta</strong> si la dejas correr para siempre.</li><li>La máquina <strong>SMART</strong> (2017): «a mí no se me ocurrió; mi trabajo fue demostrar de lo que era capaz».</li><li><strong>Compactar no es comprimir</strong>: consultar los datos sin descomprimirlos. El caso de Pinterest: de veinte servidores a uno o dos.</li><li>Cuando una demostración lleva meses sin salir: «no sabes si es por tu incapacidad o porque no se puede».</li><li>Ciencia teórica desde una universidad pública del sur de Chile, y un truco para leer gratis casi cualquier artículo.</li></ul><p><em>Grabado de forma asíncrona por notas de voz de WhatsApp, Rodrigo desde Concepción y yo desde España (el formato lo explico en el episodio 205).</em></p><p><strong>Invitado:</strong><br>Rodrigo Torres Avilés — Universidad del Bío-Bío; director del Magíster en Ciencias de la Computación. Su trabajo, en DBLP y Google Scholar.</p><p><strong>Para profundizar:</strong></p><ul><li>Cassaigne, Ollinger y Torres-Avilés — A small minimal aperiodic reversible Turing machine (la máquina SMART), JCSS 2017</li><li>Estructuras de datos compactas: k²-tree y familia</li><li>La película «The Imitation Game», s