判定問題
判

判定問題　　　pàn dìng wèn tí

數(shù)理邏輯的重要研究內(nèi)容之一。對一整類命題研究是否存在一個統(tǒng)一的確定的方法，用此方法能經(jīng)有限步驟判定這類中任何一個命題是否具有某種屬性，這樣的方法稱為“判定法”或“算法”。如果存在算法，就稱這類命題是可判定的；否則，是不可判定的。例如，由所有命題“p和q互質(zhì)”（p、q是任意整數(shù)）構(gòu)成的類是可判定的，*輾轉(zhuǎn)相除法就是符合上述要求的判定這類命題的一種算法。