Lazi

calculable et incalculable (formule)

Pour x une formule Lazi, on dit que x est calculable si il existe une formule y telle que:

Sinon on dit que x est incalculable.

Remarque: cette définition est en accord avec la définition standard de calculabilité.