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

§6. ôÅÏÒÅÍÁ ëÁÎÔÏÒÁ                                                   29

Ä×ÕÓÌÏÖÎÙÊ ÎÅÔ. ôÅÐÅÒØ ×ÏÐÒÏÓ: ÂÕÄÅÔ ÌÉ ÐÒÉÌÁÇÁÔÅÌØÎÏÅ ÎÅÓÁÍÏÐÒÉÍÅÎÉ-
ÍÙÊ ÓÁÍÏÐÒÉÍÅÎÉÍÙÍ? (ìÀÂÏÊ ÏÔ×ÅÔ ÏÞÅ×ÉÄÎÏ ÐÒÉ×ÏÄÉÔ Ë ÐÒÏÔÉ×ÏÒÅÞÉÀ.)
   ïÔÓÀÄÁ ÎÅÄÁÌÅËÏ ÄÏ ÛÉÒÏËÏ ÉÚ×ÅÓÔÎÏÇÏ ÐÁÒÁÄÏËÓÁ ÌÖÅÃÁ, ÇÏ×ÏÒÑÝÅÇÏ Ñ
ÌÇÕ, ÉÌÉ ÄÏ ÉÓÔÏÒÉÉ Ï ÓÏÌÄÁÔÅ, ËÏÔÏÒÙÊ ÄÏÌÖÅÎ ÂÙÌ ÂÒÉÔØ ×ÓÅÈ ÓÏÌÄÁÔ ÏÄÎÏÊ
Ó ÎÉÍ ÞÁÓÔÉ, ËÔÏ ÎÅ ÂÒÅÅÔÓÑ ÓÁÍ É Ô. Ð.
   ÷ÏÚ×ÒÁÝÁÑÓØ Ë ÔÅÏÒÉÉ ÍÎÏÖÅÓÔ×, ÍÙ ÏÂÑÚÁÎÙ ÄÁÔØ ÓÅÂÅ ÏÔÞ¾Ô × ÔÏÍ,
ÞÔÏ ÐÌÏÈÏÇÏ ÂÙÌÏ × ÒÁÓÓÕÖÄÅÎÉÑÈ, ÐÒÉ×ÅÄÛÉÈ Ë ÐÁÒÁÄÏËÓÕ òÁÓÓÅÌÁ. ÷ÏÐÒÏÓ
ÜÔÏÔ ÄÁÌÅËÏ ÎÅ ÐÒÏÓÔÏÊ, É ÅÇÏ ÏÂÓÕÖÄÅÎÉÅ ÁËÔÉ×ÎÏ ÛÌÏ ×ÓÀ ÐÅÒ×ÕÀ ÐÏÌÏ×ÉÎÕ
20-ÇÏ ×ÅËÁ. éÔÏÇÉ ÜÔÏÇÏ ÏÂÓÕÖÄÅÎÉÑ ÐÒÉÂÌÉÚÉÔÅÌØÎÏ ÍÏÖÎÏ ÓÆÏÒÍÕÌÉÒÏ×ÁÔØ
ÔÁË:

   • ðÏÎÑÔÉÅ ÍÎÏÖÅÓÔ×Á ÎÅ Ñ×ÌÑÅÔÓÑ ÎÅÐÏÓÒÅÄÓÔ×ÅÎÎÏ ÏÞÅ×ÉÄÎÙÍ; ÒÁÚÎÙÅ
     ÌÀÄÉ (É ÎÁÕÞÎÙÅ ÔÒÁÄÉÃÉÉ) ÍÏÇÕÔ ÐÏÎÉÍÁÔØ ÅÇÏ ÐÏ-ÒÁÚÎÏÍÕ.
   • íÎÏÖÅÓÔ×Á ¡ ÓÌÉÛËÏÍ ÁÂÓÔÒÁËÔÎÙÅ ÏÂßÅËÔÙ ÄÌÑ ÔÏÇÏ, ÞÔÏÂÙ ×ÏÐÒÏÓ
     Á ÞÔÏ ÎÁ ÓÁÍÏÍ ÄÅÌÅ? ÉÍÅÌ ÓÍÙÓÌ. îÁÐÒÉÍÅÒ, × ÒÁÂÏÔÅ ëÁÎÔÏÒÁ 1878 ÇÏ-
     ÄÁ ÂÙÌÁ ÓÆÏÒÍÕÌÉÒÏ×ÁÎÁ ËÏÎÔÉÎÕÕÍ-ÇÉÐÏÔÅÚÁ: ×ÓÑËÏÅ ÐÏÄÍÎÏÖÅÓÔ×Ï
     ÏÔÒÅÚËÁ ÌÉÂÏ ËÏÎÅÞÎÏ, ÌÉÂÏ ÓÞ¾ÔÎÏ, ÌÉÂÏ ÒÁ×ÎÏÍÏÝÎÏ ×ÓÅÍÕ ÏÔÒÅÚ-
     ËÕ. (äÒÕÇÉÍÉ ÓÌÏ×ÁÍÉ, ÍÅÖÄÕ ÓÞ¾ÔÎÙÍÉ ÍÎÏÖÅÓÔ×ÁÍÉ É ÍÎÏÖÅÓÔ×ÁÍÉ
     ÍÏÝÎÏÓÔÉ ËÏÎÔÉÎÕÕÍ ÎÅÔ ÐÒÏÍÅÖÕÔÏÞÎÙÈ ÍÏÝÎÏÓÔÅÊ). ëÁÎÔÏÒ ÎÁÐÉ-
     ÓÁÌ, ÞÔÏ ÜÔÏ ÍÏÖÅÔ ÂÙÔØ ÄÏËÁÚÁÎÏ Ó ÐÏÍÏÝØÀ ÎÅËÏÔÏÒÏÇÏ ÍÅÔÏÄÁ ÉÎ-
     ÄÕËÃÉÉ, × ÉÚÌÏÖÅÎÉÅ ËÏÔÏÒÏÇÏ ÍÙ ÎÅ ÂÕÄÅÍ ×ÈÏÄÉÔØ ÚÄÅÓØ ÐÏÄÒÏÂÎÅÅ,
     ÎÏ ÎÁ ÓÁÍÏÍ ÄÅÌÅ ÄÏËÁÚÁÔØ ÜÔÏ ÅÍÕ ÎÅ ÕÄÁÌÏÓØ. âÏÌÅÅ ÔÏÇÏ, ÐÏÓÔÅÐÅÎ-
     ÎÏ ÓÔÁÌÏ ÑÓÎÏ, ÞÔÏ ÕÔ×ÅÒÖÄÅÎÉÅ ËÏÎÔÉÎÕÕÍ-ÇÉÐÏÔÅÚÙ ÍÏÖÎÏ ÓÞÉÔÁÔØ
     ÉÓÔÉÎÎÙÍ ÉÌÉ ÌÏÖÎÙÍ, ¡ ÐÒÉ ÜÔÏÍ ÐÏÌÕÞÁÀÔÓÑ ÒÁÚÎÙÅ ÔÅÏÒÉÉ ÍÎÏ-
     ÖÅÓÔ×, ÎÏ × ÏÂÝÅÍ-ÔÏ ÎÉ ÏÄÎÁ ÉÚ ÜÔÉÈ ÔÅÏÒÉÊ ÎÅ ÌÕÞÛÅ ÄÒÕÇÏÊ.
        ôÕÔ ÅÓÔØ ÎÅËÏÔÏÒÁÑ ÁÎÁÌÏÇÉÑ Ó ÎÅÅ×ËÌÉÄÏ×ÏÊ ÇÅÏÍÅÔÒÉÅÊ. íÙ ÍÏ-
     ÖÅÍ ÓÞÉÔÁÔØ ÐÑÔÙÊ ÐÏÓÔÕÌÁÔ å×ËÌÉÄÁ (ÞÅÒÅÚ ÄÁÎÎÕÀ ÔÏÞËÕ ÐÒÏÈÏÄÉÔ
     ÎÅ ÂÏÌÅÅ ÏÄÎÏÊ ÐÒÑÍÏÊ, ÐÁÒÁÌÌÅÌØÎÏÊ ÄÁÎÎÏÊ) ÉÓÔÉÎÎÙÍ. ôÏÇÄÁ ÐÏÌÕ-
     ÞÉÔÓÑ ÇÅÏÍÅÔÒÉÑ, ÎÁÚÙ×ÁÅÍÁÑ Å×ËÌÉÄÏ×ÏÊ. á ÍÏÖÎÏ ÐÒÉÎÑÔØ × ËÁÞÅÓÔ×Å
     ÁËÓÉÏÍÙ ÐÒÏÔÉ×ÏÐÏÌÏÖÎÏÅ ÕÔ×ÅÒÖÄÅÎÉÅ: ÞÅÒÅÚ ÎÅËÏÔÏÒÕÀ ÔÏÞËÕ ÍÏÖ-
     ÎÏ ÐÒÏ×ÅÓÔÉ Ä×Å ÒÁÚÌÉÞÎÙÅ ÐÒÑÍÙÅ, ÐÁÒÁÌÌÅÌØÎÙÅ ÎÅËÏÔÏÒÏÊ ÐÒÑÍÏÊ.
     ôÏÇÄÁ ÐÏÌÕÞÉÔÓÑ ÎÅÅ×ËÌÉÄÏ×Á ÇÅÏÍÅÔÒÉÑ.
        ÷ÏÐÒÏÓ Ï ÔÏÍ, Å×ËÌÉÄÏ×Á ÉÌÉ ÎÅÅ×ËÌÉÄÏ×Á ÇÅÏÍÅÔÒÉÑ ÐÒÁ×ÉÌØÎÁ ÎÁ
     ÓÁÍÏÍ ÄÅÌÅ, ÅÓÌÉ ×ÏÏÂÝÅ ÉÍÅÅÔ ÓÍÙÓÌ, ÎÅ Ñ×ÌÑÅÔÓÑ ÍÁÔÅÍÁÔÉÞÅÓËÉÍ ¡
     ÓËÏÒÅÅ Ï ÜÔÏÍ ÓÌÅÄÕÅÔ ÓÐÒÁÛÉ×ÁÔØ ÆÉÚÉËÏ×. ë ÔÅÏÒÉÉ ÍÎÏÖÅÓÔ× ÜÔÏ
     ÏÔÎÏÓÉÔÓÑ × Åݾ ÂÏÌØÛÅÊ ÓÔÅÐÅÎÉ, É ÒÁÚ×Å ÞÔÏ ÔÅÏÌÏÇÉÑ (ëÁÎÔÏÒ ÎÅÏÄ-
     ÎÏËÒÁÔÎÏ ÏÂÓÕÖÄÁÌ ×ÏÐÒÏÓÙ ÔÅÏÒÉÉ ÍÎÏÖÅÓÔ× Ó ÐÒÏÆÅÓÓÉÏÎÁÌÁÍÉ-ÔÅÏ-
     ÌÏÇÁÍÉ) ÍÏÇÌÁ ÂÙ × ÐÒÉÎÃÉÐÅ ÐÒÅÔÅÎÄÏ×ÁÔØ ÎÁ ÏËÏÎÞÁÔÅÌØÎÙÊ ÏÔ×ÅÔ.
   • åÓÌÉ ÍÙ ÈÏÔÉÍ ÒÁÓÓÕÖÄÁÔØ Ï ÍÎÏÖÅÓÔ×ÁÈ, ÎÅ ×ÐÁÄÁÑ × ÐÒÏÔÉ×ÏÒÅ-
     ÞÉÑ, ÎÕÖÎÏ ÐÒÏÑ×ÌÑÔØ ÏÓÔÏÒÏÖÎÏÓÔØ É ÉÚÂÅÇÁÔØ ÏÐÒÅÄÅ̾ÎÎÙÈ ×ÉÄÏ×