Математическая логика и теория алгоритмов. Самохин А.В. - 6 стр.

                        ðÒÅÄÉÓÌÏ×ÉÅ

   éÍÅÅÔ ÌÉ ÏÔÎÏÛÅÎÉÅ ÍÁÔÅÍÁÔÉÞÅÓËÁÑ ÌÏÇÉËÁ Ë ÔÏÍÕ, ÞÔÏ ÎÅÏÂÈÏÄÉÍÏ
ÚÎÁÔØ ÓÐÅÃÉÁÌÉÓÔÕ ÐÏ ü÷í?
   íÙ ÎÁÄÅÅÍÓÑ, ÞÔÏ × ÒÅÚÕÌØÔÁÔÅ ÉÚÕÞÅÎÉÑ ÜÔÏÇÏ ËÕÒÓÁ ÓÌÕÛÁÔÅÌØ ÕÂÅ-
ÄÉÔÓÑ, ÞÔÏ ÉÍÅÅÔ, É ÓÁÍÏÅ ÎÅÐÏÓÒÅÄÓÔ×ÅÎÎÏÅ. ôÁË, ÇÌÁ×Ù III É IV ÉÍÅÀÔ
ÏÔÎÏÛÅÎÉÅ Ë ÁÌÇÏÒÉÔÍÉÞÅÓËÏÍÕ ÐÒÏÅËÔÉÒÏ×ÁÎÉÀ ÜÌÅËÔÒÏÎÎÙÈ ÓÈÅÍ; ÇÌÁ-
×Ù V É VI ¡ Ë Á×ÔÏÍÁÔÉÞÅÓËÏÍÕ ÐÏÒÏÖÄÅÎÉÀ ÓÉÎÔÁËÓÉÞÅÓËÉ ÐÒÁ×ÉÌØÎÙÈ
ÔÅËÓÔÏ×, Ô.Å. Ë ÓÐÅÃÉÁÌØÎÏÍÕ ÐÒÏÇÒÁÍÍÉÒÏ×ÁÎÉÀ; ÏÓÔÁÔÏË ËÎÉÇÉ ÐÏÓ×ÑÝÅÎ
ÏÓÎÏ×ÁÍ ÔÅÏÒÉÉ ÁÌÇÏÒÉÔÍÏ×: ÚÄÅÓØ ÏÂÓÕÖÄÁÀÔÓÑ, ËÁËÉÅ ÚÁÄÁÞÉ ×ÏÏÂÝÅ Ñ×ÌÑ-
ÀÔÓÑ ÁÌÇÏÒÉÔÍÉÞÅÓËÉ ÒÁÚÒÅÛÉÍÙÍÉ É ËÁËÏ×Á ÓÌÏÖÎÏÓÔØ ÓÏÏÔ×ÅÔÓÔ×ÕÀÝÉÈ
ÁÌÇÏÒÉÔÍÏ×. ÷ ÇÌÁ×ÁÈ I É II ÓÏÂÒÁÎ ÍÁÔÅÒÉÁÌ ÐÏ ÎÁÞÁÌÁÍ ÔÅÏÒÉÉ ÍÎÏÖÅÓÔ×,
ÎÅÏÂÈÏÄÉÍÙÊ ÄÌÑ ÐÏÎÉÍÁÎÉÑ ÏÓÔÁÌØÎÏÇÏ ÔÅËÓÔÁ (ËÁË, ×ÐÒÏÞÅÍ, É ÐÏÞÔÉ ×ÓÅÊ
ÍÁÔÅÍÁÔÉËÉ).
   ÷ ÏÓÎÏ×ÎÏÍ ÔÅËÓÔÅ ÓÏÄÅÒÖÉÔÓÑ ÂÏÌÅÅ Ä×ÕÈÓÏÔ ÚÁÄÁÞ, × ÏÓÎÏ×ÎÏÍ ÔÅ-
ÏÒÅÔÉÞÅÓËÏÊ ÎÁÐÒÁ×ÌÅÎÎÏÓÔÉ, ÒÅÛÅÎÉÅ ËÏÔÏÒÙÈ ÐÏÍÏÖÅÔ ÒÁÚÏÂÒÁÔØÓÑ ×
ÔÏÎËÏÓÔÑÈ ÔÅÏÒÉÉ; ÎÅËÏÔÏÒÙÅ ÉÚ ÎÉÈ ÍÏÇÕÔ ÓÔÁÔØ ÏÓÎÏ×ÏÊ ÄÌÑ ÎÁÕÞÎÏ-
ÉÓÓÌÅÄÏ×ÁÔÅÌØÓËÏÊ ÒÁÂÏÔÙ ÓÔÕÄÅÎÔÏ×.
   úÁÄÁÞÉ ÄÌÑ ÐÒÁËÔÉÞÅÓËÉÈ ÚÁÎÑÔÉÊ É ËÏÎÔÒÏÌØÎÙÈ ÚÁÄÁÎÉÊ ÓÏÂÒÁÎÙ ×
ÒÁÚÄÅÌÅ ¥úÁÄÁÞÉ¥, ÓÏÓÔÁ×ÌÅÎÎÏÍ à. é. äÅÍÅÎÔØÅ×ÙÍ ÎÁ ÏÓÎÏ×Å [4]. éÍ ÖÅ
ÎÁÐÉÓÁÎÙ ÐÒÏÇÒÁÍÍÙ ÎÁ ÑÚÙËÅ ó.
   ÷ ÐÏÓÏÂÉÉ ÉÓÐÏÌØÚÏ×ÁÎÙ ÍÁÔÅÒÉÁÌÙ ÉÚ ËÎÉÇ [1], [2] É [3] Ó ÌÀÂÅÚÎÏÇÏ
ÓÏÇÌÁÓÉÑ Á×ÔÏÒÏ×.




                                  6