Depuis l'article de Turing sur les nombres calculables (1936), on sait qu'il existe deux types de problèmes : ceux qui sont algorithmiquement calculables, qu'une machine peut résoudre, et les autres. L'historien des sciences George Dyson pense que, si on sort du cadre strictement mathématique, il est utile d'en distinguer une troisième sorte, qu'on pourrait baptiser problèmes ambigus, qui sont calculables en théorie mais que nous sommes incapables en pratique de formuler dans un langage non-ambigu.
