Desidablite
Biyografi
[modifye | modifye kòd]Nan lojik matematik, tèm desidabilite kouvri de konsèp ki gen rapò: desidabilite lojik ak desidabilite algoritmik.
Endesidabilite se nega desidabilite. Nan tou de ka yo, li konsène pou fòmalize lide ke nou pa toujou ka jwenn yon konklizyon lè nou poze yon kesyon, menm si li prezante nan fòm lojik.