i2c smac

Le problème du cinquième castor affairé résolu

March 19, 2025

Jean-Paul Delahaye

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

More...

Agenda

• Master DS seminar

  Edwige Cyffers January 21, 2026 at 1:30 PM

• Open Science & Music

  from January 22 to 23, 2026

• Colloquium Polaris

  Nicolas Rougier January 22, 2026 at 2 PM

• Stage 3ème mixte

  from January 26 to 30, 2026

• Séminaire Axe NVS

  Rochdi Merzouki February 12, 2026 at 3 PM

• École SED

  from March 25 to 27, 2026

• JIM 2026

  from June 15 to 18, 2026

• JRD-AGITSI-2026

  June 25, 2026

Defenses

• Sumit Vashishtha (thesis)

  January 30, 2026 at 1 PM

More news