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

192                  çÌÁ×Á XII. áÒÉÆÍÅÔÉÞÎÏÓÔØ ×ÙÞÉÓÌÉÍÙÈ ÆÕÎËÃÉÊ

ÅÝÅ ÓÒÁ×ÎÉÔÅÌØÎÏ ÎÅÄÁ×ÎÏ.
   ðÏÌÏÖÅÎÉÅ ÏÓÌÏÖÎÑÌÏÓØ ÎÅ×ÏÚÍÏÖÎÏÓÔØÀ ÄÏËÁÚÁÔØ ÎÅÐÒÏÔÉ×ÏÒÅÞÉ×ÏÓÔØ:
×ÅÄØ ×ÓÅ, Ï ÞÅÍ ÇÏ×ÏÒÉÌÉ ÍÁÔÅÍÁÔÉËÉ, ÍÏÇÌÏ ÏËÁÚÁÔØÓÑ ÂÅÓÓÍÙÓÌÉÃÅÊ, ÉÂÏ
ÔÅÐÅÒØ ÎÉËÔÏ ÎÅ ÍÏÇ ÇÁÒÁÎÔÉÒÏ×ÁÔØ, ÞÔÏ × ÂÕÄÕÝÅÍ ÎÅ ×ÏÚÎÉËÎÅÔ ÐÒÏÔÉ×Ï-
ÒÅÞÉÑ. óÌÕÞÉÓØ ÔÁËÏÅ É ÏËÁÖÉÓØ ÐÒÏÔÉ×ÏÒÅÞÉÅ ÎÅÒÁÚÒÅÛÉÍÙÍ - ×ÓÑ ÍÁÔÅÍÁ-
ÔÉËÁ ÏÂÒÁÔÉÌÁÓØ ÂÙ × ÐÒÁÈ. äÅÊÓÔ×ÉÔÅÌØÎÏ, ÏÄÎÏ ÉÚ Ä×ÕÈ ÐÒÏÔÉ×ÏÒÅÞÉ×ÙÈ
ÕÔ×ÅÒÖÄÅÎÉÊ ÄÏÌÖÎÏ ÂÙÔØ ÌÏÖÎÙÍ, Á ÓÏÇÌÁÓÎÏ ÐÒÉÎÑÔÏÊ ×ÓÅÍÉ ÍÁÔÅÍÁÔÉ-
ÞÅÓËÉÍÉ ÌÏÇÉËÁÍÉ ËÏÎÃÅÐÃÉÉ ÉÍÐÌÉËÁÃÉÉ, ÉÚ ÌÏÖÎÏÇÏ ÕÔ×ÅÒÖÄÅÎÉÑ ÍÏÖÅÔ
ÓÌÅÄÏ×ÁÔØ ÞÔÏ ÕÇÏÄÎÏ. éÔÁË, ÍÁÔÅÍÁÔÉËÉ ÒÁÂÏÔÁÌÉ ÐÏÄ ÕÇÒÏÚÏÊ ÐÏÌÎÏÇÏ ÐÒÏ-
×ÁÌÁ. åÝÅ ÏÄÉÎ ÕÄÁÒ ÎÁÎÅÓÌÁ ÔÅÏÒÅÍÁ Ï ÎÅÐÏÌÎÏÔÅ.
   ôÅÏÒÅÍÕ ç¾ÄÅÌÑ Ï ÎÅÐÏÌÎÏÔÅ ÄÏ ÎÅËÏÔÏÒÏÊ ÓÔÅÐÅÎÉ ÍÏÖÎÏ ÒÁÓÓÍÁÔÒÉ-
×ÁÔØ ËÁË ÏÔÒÉÃÁÎÉÅ ÚÁËÏÎÁ ÉÓËÌÀÞÅÎÎÏÇÏ ÔÒÅÔØÅÇÏ. ëÁÖÄÏÅ ÕÔ×ÅÒÖÄÅÎÉÅ
ÍÙ ÓÞÉÔÁÅÍ ÌÉÂÏ ÉÓÔÉÎÎÙÍ, ÌÉÂÏ ÌÏÖÎÙÍ. ÷ ÓÏ×ÒÅÍÅÎÎÙÈ ÏÓÎÏ×ÁÎÉÑÈ ÍÁ-
ÔÅÍÁÔÉËÉ ÜÔÏ ÏÚÎÁÞÁÅÔ, ÞÔÏ ÒÁÓÓÍÁÔÒÉ×ÁÅÍÏÅ ÕÔ×ÅÒÖÄÅÎÉÅ ÄÏËÁÚÕÅÍÏ ÉÌÉ
ÎÅÄÏËÁÚÕÅÍÏ Ó ÐÏÍÏÝØÀ ÚÁËÏÎÏ× ÌÏÇÉËÉ É ÁËÓÉÏÍ ÔÏÇÏ ÒÁÚÄÅÌÁ ÍÁÔÅÍÁÔÉËÉ,
Ë ËÏÔÏÒÏÍÕ ÏÔÎÏÓÉÔÓÑ ÉÎÔÅÒÅÓÕÀÝÅÅ ÎÁÓ ÕÔ×ÅÒÖÄÅÎÉÅ. ç¾ÄÅÌØ ÖÅ ÄÏËÁÚÁÌ,
ÞÔÏ ÎÅËÏÔÏÒÙÅ ÕÔ×ÅÒÖÄÅÎÉÑ ÎÅÌØÚÑ ÎÉ ÄÏËÁÚÁÔØ, ÎÉ ÏÐÒÏ×ÅÒÇÎÕÔØ. îÅÐÒÏ-
ÔÉ×ÏÒÅÞÉ×ÏÓÔØ ÍÏÖÎÏ ÂÙÌÏ ÂÙ ÓÞÉÔÁÔØ ÄÏËÁÚÁÎÎÏÊ, ÅÓÌÉ ÂÙ × ÐÒÏÔÉ×Ï×ÅÓ
ÐÏÄÈÏÄÕ ç¾ÄÅÌÑ × ÓÉÓÔÅÍÅ ÕÄÁÌÏÓØ ÏÂÎÁÒÕÖÉÔØ ÎÅÒÁÚÒÅÛÉÍÏÅ ÕÔ×ÅÒÖÄÅÎÉÅ:
×ÅÄØ ËÁË ÍÙ ÕÖÅ ÕÓÔÁÎÏ×ÉÌÉ, ÏÐÉÒÁÑÓØ ÎÁ Ó×ÏÊÓÔ×Á ÍÁÔÅÒÉÁÌØÎÏÊ ÉÍÐÌÉ-
ËÁÃÉÉ, ÅÓÌÉ × ÓÉÓÔÅÍÅ ÉÍÅÅÔÓÑ ÐÒÏÔÉ×ÏÒÅÞÉÅ, ÔÏ × ÎÅÊ ÍÏÖÎÏ ÄÏËÁÚÁÔØ ÞÔÏ
ÕÇÏÄÎÏ. ïÄÎÁËÏ ÄÏ ÓÉÈ ÐÏÒ ÏÂÎÁÒÕÖÉÔØ ÎÅÒÁÚÒÅÛÉÍÏÅ ÕÔ×ÅÒÖÄÅÎÉÅ ÎÅ ÕÄÁ-
ÌÏÓØ.
   ìÁÕÒÅÁÔ îÏÂÅÌÅ×ÓËÏÊ ÐÒÅÍÉÉ ÐÏ ÆÉÚÉËÅ àÄÖÉÎ ðÏÌ ÷ÉÇÎÅÒ, ÏÂÓÕÖÄÁÑ ×
1960 Ç. ÎÅÐÏÓÔÉÖÉÍÕÀ ÜÆÆÅËÔÉ×ÎÏÓÔØ ÍÁÔÅÍÁÔÉËÉ × ÅÓÔÅÓÔ×ÅÎÎÙÈ ÎÁÕËÁÈ
× ÓÔÁÔØÅ ÐÏÄ ÔÅÍ ÖÅ ÎÁÚ×ÁÎÉÅÍ, ÎÅ ÄÁÌ ÎÉËÁ ËÏÇÏ ÏÂßÑÓÎÅÎÉÑ É ÏÇÒÁÎÉÞÉÌÓÑ
ÌÉÛØ ËÏÎÓÔÁÔÁÃÉÅÊ ÓÐÏÒÎÏÇÏ ×ÏÐÒÏÓÁ: ¥íÁÔÅÍÁÔÉÞÅÓËÉÊ ÑÚÙË ÕÄÉ×ÉÔÅÌØ-
ÎÏ ÈÏÒÏÛÏ ÐÒÉÓÐÏÓÏÂÌÅÎ ÄÌÑ ÆÏÒÍÕÌÉÒÏ×ËÉ ÆÉÚÉÞÅÓËÉÈ ÚÁËÏÎÏ×. üÔÏ ÞÕ-
ÄÅÓÎÙÊ ÄÁÒ, ËÏÔÏÒÙÊ ÍÙ ÎÅ ÐÏÎÉÍÁÅÍ É ËÏÔÏÒÏÇÏ ÎÅ ÚÁÓÌÕÖÉ×ÁÅÍ. îÁÍ
ÏÓÔÁÅÔÓÑ ÌÉÛØ ÂÌÁÇÏÄÁÒÉÔØ ÚÁ ÎÅÇÏ ÓÕÄØÂÕ É ÎÁÄÅÑÔØÓÑ, ÞÔÏ É × ÂÕÄÕÝÉÈ
Ó×ÏÉÈ ÉÓÓÌÅÄÏ×ÁÎÉÑÈ ÍÙ ÓÍÏÖÅÍ ÐÏ-ÐÒÅÖÎÅÍÕ ÐÏÌØÚÏ×ÁÔØÓÑ ÉÍ. íÙ ÄÕÍÁ-
ÅÍ, ÞÔÏ ÓÆÅÒÁ ÅÇÏ ÐÒÉÍÅÎÉÍÏÓÔÉ (ÈÏÒÏÛÏ ÜÔÏ ÉÌÉ ÐÌÏÈÏ) ÂÕÄÅÔ ÎÅÐÒÅÒÙ×-
ÎÏ ×ÏÚÒÁÓÔÁÔØ, ÐÒÉÎÏÓÑ ÎÁÍ ÎÅ ÔÏÌØËÏ ÒÁÄÏÓÔØ, ÎÏ É ÎÏ×ÙÅ ÇÏÌÏ×ÏÌÏÍÎÙÅ
ÐÒÏÂÌÅÍÙ.¥
   úÁÍÅÞÁÔÅÌØÎÁÑ ÔÏÞÎÏÓÔØ É ÜÆÆÅËÔÉ×ÎÏÓÔØ ÍÁÔÅÍÁÔÉËÉ × ÏÐÉÓÁÎÉÉ ÒÅÁÌØ-
ÎÏÇÏ ÍÉÒÁ ÐÏ-ÐÒÅÖÎÅÍÕ ÖÄÕÔ Ó×ÏÅÇÏ ÏÂßÑÓÎÅÎÉÑ. îÅÓÍÏÔÒÑ ÎÁ ÏÂÎÁÒÕÖÅÎ-
ÎÕÀ ÏÇÒÁÎÉÞÅÎÎÏÓÔØ ×ÏÚÍÏÖÎÏÓÔÅÊ, ÍÁÔÅÍÁÔÉËÅ ÅÓÔØ ÞÅÍ ÇÏÒÄÉÔØÓÑ. ïÎÁ
ÂÙÌÁ É ÏÓÔÁÅÔÓÑ ×ÙÓÛÉÍ ÉÎÔÅÌÌÅËÔÕÁÌØÎÙÍ ÄÏÓÔÉÖÅÎÉÅÍ É ÎÁÉÂÏÌÅÅ ÏÒÉ-
ÇÉÎÁÌØÎÙÍ Ô×ÏÒÅÎÉÅÍ ÞÅÌÏ×ÅÞÅÓËÏÇÏ ÄÕÈÁ. íÕÚÙËÁ ÍÏÖÅÔ ×ÏÚ×ÙÛÁÔØ ÉÌÉ
ÕÍÉÒÏÔ×ÏÒÑÔØ ÄÕÛÕ, ÖÉ×ÏÐÉÓØ - ÒÁÄÏ×ÁÔØ ÇÌÁÚ, ÐÏÜÚÉÑ ¡ ÐÒÏÂÕÖÄÁÔØ ÞÕ×-