Son juegos indecidibles. El trabajo que ha aparecido en arXiv y que ha publicado un equipo del Laboratorio de Ciencias de la Computación e Inteligencia Artificial del MIT, indica que los juegos de Mario 2D lanzados desde New Super Mario Bros., con la excepción del último título, 'Super Mario Wonder' (porque es reciente y se necesita más estudio, explican), son todos indecidibles.

Nintendo ha presentando un nuevo Mario en 2D, en lo que quizás es el mayor cambio para la versión tradicional de la franquicia desde el ya histórico 'New Super Mario Bros.' de hace un par de décadas. Este 'Super Mario Bros. Wonder' es un Super Mario Bros. clásico, así que los cambios juegan a la renovación sin perder el sabor de siempre, con las formas más redondeadas y amables de los juegos de la serie en los últimos tiempos y se acerca al Super Mario de la película de Illumination,

Id Software quería convencer a Nintendo con una demo propia de Super Mario Bros. 3 para que trabajaran juntos en un port de PC. Para eso, primero crearon un nivel a lo Super Mario. al que llamaron “Dangerous Dave in Copyright Infringement”. Tras el éxito de esta demo, y gracias al desarrollo de Carmack de un algoritmo que permitía un movimiento en pantalla mejor y transiciones laterales más refinadas (los elementos se redibujaban frame a frame), el estudio se lanzó al desarrollo de una versión propia de Super Mario Bros.