You Can't Solve These Super Mario Bros. Levels: Undecidable Mario Games.

MIT Hardness Group, Hayashi Ani, Erik D. Demaine, Holden Hall, Ricardo Ruiz, Naveen Venkat

Browse the full FUN paper archive.