Insights from the ScienceEtonnante episode “Les Machines de Turing”, published October 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.
Topics: Informatique, Théorie du calcul, Alan Turing, Church-Turing, Logique