|
|
ÐÀÇÐÅØÅÍÈß ÏÐÎÁËÅÌÛÐÀÇÐÅØÅÍÈß ÏÐÎÁËÅÌÛ îäèí èç íàèáîëåå âàæíûõ âèäîâ ìàññîâûõ ïðîáëåì. Ð. ï. äàííîãî ìíîæåñòâà À êîíñòðóêòèâíûõ îáúåêòîâ (îòíîñèòåëüíî íåê-ðîãî îáúåìëþùåãî ìíîæåñòâà V êîíñòðóêòèâíûõ îáúåêòîâ) íàç. ïðîáëåìó ïîñòðîåíèÿ àëãîðèòìà, ðàñïîçíàþùåãî ïî âñÿêîìó îáúåêòó èç ìíîæåñòâà V, ïðèíàäëåæèò ëè îí ìíîæåñòâó À èëè íåò. Ð. ï. (áîëåå ïîäðîáíî – Ð. ï. äëÿ äîêàçóåìîñòè) ôîðìàëüíîé ñèñòåìû (èëè èñ÷èñëåíèÿ) íàç. Ð. ï. ìíîæåñòâà âñåõ äîêàçóåìûõ ôîðìóë ýòîé ñèñòåìû îòíîñèòåëüíî ìíîæåñòâà âñåõ åå ôîðìóë. Ñåìàíòè÷. Ð. ï. (èëè Ð. ï. äëÿ èñòèííîñòè) èíòåðïðåòèðîâàííîé ôîðìàëüíîé ñèñòåìû (ôîðìàëèçîâàííîãî ÿçûêà) íàç. Ð. ï. ìíîæåñòâà âñåõ èñòèííûõ ôîðìóë ñèñòåìû îòíîñèòåëüíî ìíîæåñòâà âñåõ åå ôîðìóë. (Äëÿ îáîçíà÷åíèÿ ïîíÿòèÿ "ïðîáëåìà ðàçðåøåíèÿ" äîëãîå âðåìÿ ïðèìåíÿëñÿ òåðìèí "ïðîáëåìà ðàçðåøèìîñòè", îäíàêî ýòèì òåðìèíîì ïðàâèëüíåå îáîçíà÷àòü ïðîáëåìó: "èìååò ëè ðåøåíèå äàííàÿ Ð. ï.".) Ð. ï. ìíîæåñòâ ñîâïàäàþò ïî ñóùåñòâó è ñ ïðîáëåìàìè ðàñïîçíàâàíèÿ ñâîéñòâ. Ïðîáëåìîé ðàñïîçíàâàíèÿ çàäàííîãî ñâ-âà (äëÿ îáúåêòîâ èç çàäàííîé ñîâîêóïíîñòè êîíñòðóêòèâíûõ îáúåêòîâ) íàç. ïðîáëåìó ïîñòðîåíèÿ àëãîðèòìà, ðàñïîçíàþùåãî ïî âñÿêîìó îáúåêòó èç çàäàííîé ñîâîêóïíîñòè, îáëàäàåò îí çàäàííûì ñâ-âîì èëè íåò. Âñÿêàÿ ïðîáëåìà ðàñïîçíàâàíèÿ ñâ-âà åñòü â òî æå âðåìÿ Ð. ï. ìíîæåñòâà âñåõ òåõ îáúåêòîâ, ê-ðûå îáëàäàþò ýòèì ñâ-âîì.  ñâîþ î÷åðåäü Ð. ï. ìíîæåñòâà åñòü ïðîáëåìà ðàñïîçíàâàíèÿ ñâ-âà ïðèíàäëåæíîñòè ê ýòîìó ìíîæåñòâó.  ÷àñòíîñòè, Ð. ï. äëÿ äîêàçóåìîñòè ÿâëÿåòñÿ ïðîáëåìîé ðàñïîçíàâàíèÿ äîêàçóåìîñòè, à Ð. ï. äëÿ èñòèííîñòè åñòü ïðîáëåìà ðàñïîçíàâàíèÿ èñòèííîñòè. Ñì. òàêæå ñò. Àëãîðèòì, Ìàññîâàÿ ïðîáëåìà, Ìåòàòåîðèÿ è ëèò. ïðè íèõ. Â. Óñïåíñêèé. Ìîñêâà. Ôèëîñîôñêàÿ Ýíöèêëîïåäèÿ.  5-õ ò. — Ì.: Ñîâåòñêàÿ ýíöèêëîïåäèÿ. Ïîä ðåäàêöèåé Ô. Â. Êîíñòàíòèíîâà. 1960—1970. Êàòåãîðèÿ: Ñëîâàðè è ýíöèêëîïåäèè » Ôèëîñîôèÿ » Ôèëîñîôñêàÿ ýíöèêëîïåäèÿ Äðóãèå íîâîñòè ïî òåìå: --- Êîä äëÿ âñòàâêè íà ñàéò èëè â áëîã: Êîä äëÿ âñòàâêè â ôîðóì (BBCode): Ïðÿìàÿ ññûëêà íà ýòó ïóáëèêàöèþ:
|
|