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.