Oméga de Solovay

CALCUL
INFORMATIQUE

En théorie algorithmique de l’information, les nombres Omega de Chaitin sont des nombres qui peuvent être définis par une machine de Turing universelle mais dont on ne peut connaître qu’un nombre fini de décimales, ce ne sont pas des nombres calculables, ce sont des nombres non-calculables.

Parmi eux, une sous-classe est celle des nombres Omega de Solovay : pour eux on ne peut connaître aucun chiffre. Ils ont été découverts dans les années 2000 par le mathématicien américain Robert Solovay alors qu’il étudiait les nombres Omega de Chaitin.