Un programme informatique peut-il tester la faisabilité d'un niveau de "Super Mario" ? Impossible, et voici pourquoi.