Senderos de una desilusión: ¿por qué la programación no puede ser matemática? | E-86

En este episodio hablaré sobre por qué la informática no puede ser matemática, pero que, sin embargo, deberíamos seguir algunas ideas de Dijkstra y Lamport, incluso si ellas nos llevan a un callejón sin salida.