calculable et incalculable (formule)
Pour x une formule Lazi, on dit que x est calculable si il existe une formule y telle que:
- y est un calcul terminé
- x = y ou x →c y
Sinon on dit que x est incalculable.
Remarque: cette définition est en accord avec la définition standard de calculabilité.