Le logicien Leonid Levin vient de démontrer un résultat qui renforce le théorème d'incomplétude de Gödel : il en tire la conclusion qu'aucun procédé physique ne peut contourner le fameux résultat de 1930.