Les mathématiques autorisent des calculs infinis, et certains champs de la physique semblent, eux aussi, en avoir besoin. Mais quel sens donner à de telles opérations ?

Ce programme informatique échappait aux spécialistes depuis plus de soixante ans. Il vient enfin d’être identifié, au terme d’un magnifique travail collaboratif regroupant des enthousiastes de nombreuses nationalités.

Un ruban, des 0 et des 1, et un défi vieux de soixante ans. À première vue, le problème du « castor affairé » semble n’être qu’un jeu abstrait pour amateurs de logique. Mais il touche aux fondements de l’informatique : que peut-on vraiment calculer ? En juillet 2024, une communauté mondiale de chercheurs, de développeurs et d’autodidactes a réussi l’impossible : démontrer rigoureusement la valeur exacte du nombre d’étapes que peut faire au maximum une machine de Turing à cinq états.