Les Machines de Turing
ScienceEtonnante
Oct 31, 2025
Bien que les supercalculateurs comme El Capitan soient des millions de fois plus rapides, ils ne possèdent pas de capacités de calcul fondamentalement supérieures à un smartphone. La thèse de Church-Turing établit qu'il existe une limite théorique universelle à ce qui peut être calculé, rendant tout ordinateur équivalent sur le plan de la logique computationnelle.
Key insight: Il est mathématiquement impossible de construire une machine capable de prédire, dans tous les cas, si un programme informatique va finir par s'arrêter ou tourner indéfiniment (le problème de l'arrêt de Turing).
