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 2017
- Estructuras de datos compactas: k²-tree y familia
- La película «The Imitation Game», sobre Alan Turing
Capí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 vuelta
06:39 Qué es una máquina de Turing, en llano
09:50 Lo indecidible: los límites de cualquier ordenador
13:43 La máquina SMART: «a mí no se me ocurrió»
17:28 La otra vida: compactar datos sin descomprimirlos
21:38 Dos líneas, dos relojes: una subvenciona a la otra
23:58 El oficio: cuando una demostración no sale en meses
28:36 Cierre de Rodrigo: ciencia teórica desde el sur de Chile
33:58 Outro: las cinco ideas del episodio
Comunidad de investigadores: https://horacio-ps.com/comunidad
Newsletter: https://horacio-ps.com/newsletter
Si el episodio te ha resultado útil, dale like, suscríbete o compártelo en Spotify, Apple Podcasts o YouTube.