Il est mathématiquement impossible de tout calculer

Il existe des fonctions bien définies pour lesquelles aucune procédure informatique ne peut aboutir à un résultat. Le cas le plus célèbre est le problème de l'arrêt, qui démontre l'impossibilité de concevoir une machine de Turing universelle capable de deviner si un autre programme va s'arrêter ou tourner indéfiniment. Tous les modèles de calcul étant équivalents, cette limite s'applique universellement à l'ensemble des ordinateurs actuels.