Parte de vorbire: s.f.
Origine: (fr. indécidabilité)
1. calitatea a ceea ce este indecidabil.
2. (logică) calitatea unei propoziții, a unei afirmații care nu poate fi nici demonstrată, nici infirmată.
Parte de vorbire: s.f.
Origine: (fr. décidabilité)
1. caracterul unui sistem ipotetico-deductiv contradictoriu şi complet.
2. (logică) caracterul a ceea ce este decidabil, demonstrabil.
3. (inf.) caracterul unei probleme care poate fi rezolvată de un algoritm dat după un număr finit de pași.