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.

Vedi anche
numero Ciascuno degli enti astratti che costituiscono una successione ordinata e che, fatti corrispondere ciascuno a ciascun oggetto preso in considerazione, servono a indicare la quantità degli oggetti costituenti un insieme. matematica Nell’uso comune i numero sono adoperati: a) per indicare il posto occupato ...
Categorie
Vocabolario
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...
decìdere
decidere decìdere v. tr. [lat. decīdĕre, comp. di de- e caedĕre «tagliare», propr. «tagliar via»] (pass. rem. deciṡi, decidésti, ecc.; part. pass. deciṡo). – 1. a. Risolvere, definire pronunciando un giudizio: d. una lite, una controversia,...