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», sobre Alan Turing</li></ul><p><strong>Capítulos:</strong><br>00:00 Intro: ¿hay preguntas que un ordenador no responderá jamás?<br>02:39 Quién es Rodrigo Torres: de la informática a la matemática y vuelta<br>06:39 Qué es una máquina de Turing, en llano<br>09:50 Lo indecidible: los límites de cualquier ordenador<br>13:43 La máquina SMART: «a mí no se me ocurrió»<br>17:28 La otra vida: compactar datos sin descomprimirlos<br>21:38 Dos líneas, dos relojes: una subvenciona a la otra<br>23:58 El oficio: cuando una demostración no sale en meses<br>28:36 Cierre de Rodrigo: ciencia teórica desde el sur de Chile<br>33:58 Outro: las cinco ideas del episodio</p><p>Comunidad de investigadores: <a href="https://horacio-ps.com/comunidad">https://horacio-ps.com/comunidad</a><br>Newsletter: <a href="https://horacio-ps.com/newsletter">https://horacio-ps.com/newsletter</a></p><p>Si el episodio te ha resultado útil, dale like, suscríbete o compártelo en Spotify, Apple Podcasts o YouTube.</p>