Le domaine de l'informatique qui explore ce qui peut être calculé par des machines, directement lié aux problèmes indécidables.
Les recherches menées par le MIT révèlent que certains niveaux de Super Mario sont indécidables, plaçant le jeu dans une classe de complexité extrême. Cette découverte soulève des questions sur les limites de la calculabilité et offre des opportunités pour des applications en robotique et modélisation chimique.
