Je comprends que l'exhaustivité de Turing nécessite une mémoire illimitée et un temps illimité.
Cependant, il existe une quantité finie d'atomes dans ce service, ce qui rend la mémoire limitée. Par exemple, même si est irrationnel, il n'y a aucun moyen de stocker plus d'un certain nombre de chiffres même si tous les atomes de l'univers ont été utilisés à cette fin.
Quelles sont alors les limites de calculabilité d'une machine de Turing implémentée (qui pourrait utiliser toutes les ressources de l'univers mais pas plus) en fonction des limites de l'univers? Quel est le nombre maximum de chiffres de ? Y a-t-il des articles sur ce sujet qui pourraient être intéressants à lire?