Decidibile

Dizionario delle Scienze Fisiche (1996)

decidibile


decidìbile [Der. di decidere: → decisione] [FAF] [ALG] Di una teoria formalizzata per la quale esista un procedimento effettivo (cioè realizzabile in un numero finito di passi ben determinati) per accertare se una qualsiasi formula del suo linguaggio è o no un teorema di essa.

CATEGORIE