19 mars 2025
Combien d’étapes de calcul au maximum peut exécuter une machine de Turing utilisant 5 règles ? Cette question échappait aux spécialistes depuis plus de soixante ans. Elle vient enfin d’être résolue, au terme d’un remarquable travail collaboratif faisant appel aux assistants de preuves informatiques.
Article Pour la Science
En savoir plus...
français
English