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

MIT Hardness Group, Erik D. Demaine, Lilly Hall +3

We prove RE-completeness (and thus undecidability) of several 2D games in the Super Mario Bros. platform video game series: the New Super Mario Bros. series (original, Wii, U, and…