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

Máquinas de Turing, problemas indecidibles y estructuras de datos compactas: las dos vidas de un investigador, con Rodrigo Torres Avilés. ¿Hay preguntas que un ordenador no va a poder responder jamás, aunque le dieras todo el tiempo del universo?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.Hablo con Rodrigo Torres Avilés, 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.Recorremos, entre otras cosas:Qué es una máquina de Turing (Hilbert, 1936) y por qué todo ordenador vive dentro de ese modelo.Qué significa que un problema sea indecidible: 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.Mirar la máquina no por lo que computa sino por cómo se comporta si la dejas correr para siempre.La máquina SMART (2017): «a mí no se me ocurrió; mi trabajo fue demostrar de lo que era capaz».Compactar no es comprimir: consultar los datos sin descomprimirlos. El caso de Pinterest: de veinte servidores a uno o dos.Cuando una demostración lleva meses sin salir: «no sabes si es por tu incapacidad o porque no se puede».Ciencia teórica desde una universidad pública del sur de Chile, y un truco para leer gratis casi cualquier artículo.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).Invitado: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.Para profundizar:Cassaigne, Ollinger y Torres-Avilés — A small minimal aperiodic reversible Turing machine (la máquina SMART), JCSS 2017Estructuras de datos compactas: k²-tree y familiaLa película «The Imitation Game», sobre Alan TuringCapítulos:00:00 Intro: ¿hay preguntas que un ordenador no responderá jamás?02:39 Quién es Rodrigo Torres: de la informática a la matemática y vuelta06:39 Qué es una máquina de Turing, en llano09:50 Lo indecidible: los límites de cualquier ordenador13:43 La máquina SMART: «a mí no se me ocurrió»17:28 La otra vida: compactar datos sin descomprimirlos21:38 Dos líneas, dos relojes: una subvenciona a la otra23:58 El oficio: cuando una demostración no sale en meses28:36 Cierre de Rodrigo: ciencia teórica desde el sur de Chile33:58 Outro: las cinco ideas del episodioComunidad de investigadores: https://horacio-ps.com/comunidadNewsletter: https://horacio-ps.com/newsletterSi el episodio te ha resultado útil, dale like, suscríbete o compártelo en Spotify, Apple Podcasts o YouTube.