decidìbile

decidibile

decidìbile agg. [der. di decidere]. – 1. Che può essere deciso, cioè risolto, stabilito, determinato. 2. In logica matematica, determinabile per mezzo di un giudizio, di una decisione: in partic., una teoria formalizzata si dice decidibile se e solo se esiste un procedimento per accertare in un numero finito di passi se una qualsiasi formula è o no un teorema della teoria; un insieme I contenuto nell’insieme U si dice decidibile se e solo se esiste un procedimento per accertare in un numero finito di passi se un elemento qualsiasi di U appartiene o no ad I.