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

§3. ï ÖÅÎÓËÏÊ ÌÏÇÉËÅ                                                 97

        óÐÏÓÏÂ ÖÅÎÓËÉÊ: ñ ÎÅ ÄÏÌÖÎÁ ÅÇÏ ÌÀÂÉÔØ, ÉÂÏ Ñ ÚÁÍÕÖÅÍ; ÎÏ
     ÏÎ ÍÅÎÑ ÌÀÂÉÔ, ¡ ÓÌÅÄÏ×ÁÔÅÌØÎÏ . . .
        ôÕÔ ÎÅÓËÏÌØËÏ ÔÏÞÅË, ÉÂÏ ÒÁÓÓÕÄÏË ÕÖÅ ÎÉÞÅÇÏ ÎÅ ÇÏ×ÏÒÉÔ...
   ðÒÉÄÉÒÞÉ×ÙÊ ËÒÉÔÉË É ÔÕÔ ÎÅ ÎÁÊÄ¾Ô ÔÏÇÏ ÏÐÒÏËÉÄÙ×ÁÎÉÑ ×ÓÅÈ ÐÒÁ-
×ÉÌ ÌÏÇÉËÉ, ÎÁ ËÏÔÏÒÏÅ ÓÓÙÌÁÅÔÓÑ ðÅÞÏÒÉÎ. óËÏÒÅÅ, ÓËÁÖÅÔ ÜÔÏÔ ËÒÉÔÉË,
ÚÄÅÓØ ×ÓÔÕÐÁÀÔ × ËÏÎÆÌÉËÔ Ä×Á ÓÉÌÌÏÇÉÚÍÁ, ÎÒÁ×ÓÔ×ÅÎÎÙÊ É ÞÕ×ÓÔ×ÅÎÎÙÊ,
É ÞÕ×ÓÔ×ÅÎÎÙÊ ÐÏÂÅÖÄÁÅÔ. (óÆÏÒÍÕÌÉÒÕÅÍ ÏÂÁ ÄÌÑ ÑÓÎÏÓÔÉ. îÒÁ×ÓÔ×ÅÎÎÙÊ
ÓÉÌÌÏÇÉÚÍ: ÚÁÍÕÖÎÑÑ ÖÅÎÝÉÎÁ ÎÅ ÄÏÌÖÎÁ ÌÀÂÉÔØ ÎÉËÏÇÏ, ËÒÏÍÅ Ó×ÏÅÇÏ ÍÕ-
ÖÁ; ÏÎ ¡ ÎÅ ÍÏÊ ÍÕÖ, Á Ñ ÚÁÍÕÖÅÍ; ÓÌÅÄÏ×ÁÔÅÌØÎÏ, Ñ ÎÅ ÄÏÌÖÎÁ ÅÇÏ ÌÀÂÉÔØ.
þÕ×ÓÔ×ÅÎÎÙÊ ÓÉÌÌÏÇÉÚÍ: Ñ ÌÀÂÌÀ ÔÏÇÏ, ËÔÏ ÌÀÂÉÔ ÍÅÎÑ; ÏÎ ÍÅÎÑ ÌÀÂÉÔ; ÓÌÅ-
ÄÏ×ÁÔÅÌØÎÏ, Ñ ÅÇÏ ÌÀÂÌÀ.) ëÒÉÔÉËÕ ÍÙ ×ÏÚÒÁÚÉÍ, ÞÔÏ ÓÌÏ×Ï ÓÌÅÄÏ×ÁÔÅÌØÎÏ
×Ï ÆÒÁÚÅ, ÉÚÂÒÁÎÎÏÊ ðÅÞÏÒÉÎÙÍ ÄÌÑ ÉÌÌÀÓÔÒÉÒÏ×ÁÎÉÑ ÖÅÎÓËÏÇÏ ÓÐÏÓÏÂÁ, ÎÅ
×ÐÏÌÎÅ ÕÍÅÓÔÎÏ ÐÏÓÌÅ Ä×ÕÈ ÐÒÅÄÛÅÓÔ×ÕÀÝÉÈ ÅÍÕ ÐÏÓÙÌÏË: ñ ÎÅ ÄÏÌÖÎÁ ÅÇÏ
ÌÀÂÉÔØ, ÉÂÏ Ñ ÚÁÍÕÖÅÍ É ïÎ ÍÅÎÑ ÌÀÂÉÔ; ÉÚ ÜÔÉÈ ÐÏÓÙÌÏË ÐÏ ÐÒÁ×ÉÌÁÍ
ÏÂÙÞÎÏÊ ÌÏÇÉËÉ ÍÁÌÏ ÞÔÏ ÓÌÅÄÕÅÔ. ëÒÏÍÅ ÔÏÇÏ, ×ÏÚÒÁÚÉÍ ÍÙ ËÒÉÔÉËÕ, ÐÒÅ-
ÏÂÌÁÄÁÎÉÅ ÇÅÄÏÎÉÓÔÉÞÅÓËÏÇÏ ÎÁÞÁÌÁ, ËÏÔÏÒÏÅ ÐÒÏÓÌÅÖÉ×ÁÅÔÓÑ × ÐÅÞÏÒÉÎÓËÏÍ
ÐÒÉÍÅÒÅ, Á Åݾ ÔÏÞÎÅÅ ¡ ÉÓÐÏÌØÚÏ×ÁÎÉÅ ÜÔÏÇÏ ÎÁÞÁÌÁ × ËÁÞÅÓÔ×Å ×ÁÖÎÅÊ-
ÛÅÇÏ ÜÌÅÍÅÎÔÁ ÌÏÇÉÞÅÓËÏÊ ËÏÎÓÔÒÕËÃÉÉ É ÅÓÔØ ÏÄÎÁ ÉÚ ÈÁÒÁËÔÅÒÎÙÈ ÞÅÒÔ
ÖÅÎÓËÏÊ ÌÏÇÉËÉ. üÔÏ ÂÙÌÏ ÕÓÔÁÎÏ×ÌÅÎÏ ëÏÌÍÏÇÏÒÏ×ÙÍ.
   ¥ðÒÉ ÉÍÅÎÉ ëÏÌÍÏÇÏÒÏ×Á ÔÏÔÞÁÓ ÏÓÅÎÑÅÔ ÍÙÓÌØ Ï ÒÕÓÓËÏÍ ÎÁÃÉÏÎÁÌØ-
ÎÏÍ ÕÞ¾ÎÏÍ¥, ËÁË ÓËÁÚÁÌ ÂÙ çÏÇÏÌØ. ðÏÜÔÏÍÕ ÒÁÚÇÏ×ÏÒ Ï ÒÕÓÓËÏÊ ÌÉÔÅÒÁ-
ÔÕÒÅ ÐÌÁ×ÎÏ ÐÅÒÅÔÅËÁÅÔ × ÒÁÚÇÏ×ÏÒ Ï ÒÕÓÓËÏÊ ÎÁÕËÅ. óÒÅÄÉ ÐÒÅÄÓÔÁ×ÉÔÅÌÅÊ
ÒÏÓÓÉÊÓËÏÊ ÎÁÕËÉ ÅÓÔØ ÔÅ, ËÏÇÏ ÐÏ ÏÂÝÅÍÉÒÏ×ÙÍ ÓÔÁÎÄÁÒÔÁÍ ÍÏÖÎÏ ÂÅÚ ËÏ-
ÌÅÂÁÎÉÊ ÎÁÚ×ÁÔØ ×ÅÌÉËÉÍ ÕÞ¾ÎÙÍ. ôÁËÏ×Ù, ÎÁ ÎÁÛ ×ÚÇÌÑÄ, ÔÒÏÅ: íÉÈÁÉÌ
÷ÁÓÉÌØÅ×ÉÞ ìÏÍÏÎÏÓÏ×, äÍÉÔÒÉÊ é×ÁÎÏ×ÉÞ íÅÎÄÅÌÅÅ×, áÎÄÒÅÊ îÉËÏÌÁÅ×ÉÞ
ëÏÌÍÏÇÏÒÏ×. õÖÅ ÄÌÑ ×ÅÓØÍÁ ÎÁÍÉ Õ×ÁÖÁÅÍÏÇÏ é×ÁÎÁ ðÅÔÒÏ×ÉÞÁ ðÁ×ÌÏ×Á
ÍÙ ÐÒÅÄÐÏÞÌÉ ÂÙ ÐÏÎÑÔÉÅ ¢×ÅÌÉËÉÊ ÆÉÚÉÏÌÏÇ£.
   äÌÑ ÐÏÌÎÏÔÙ ËÁÒÔÉÎÙ ÎÁÄÏ ÐÒÉ×ÅÓÔÉ ÚÄÅÓØ ÎÅËÏÔÏÒÙÅ ÆÁËÔÙ ÎÁÕÞÎÏÊ
ÂÉÏÇÒÁÆÉÉ ëÏÌÍÏÇÏÒÏ×Á áÎÄÒÅÑ îÉËÏÌÁÅ×ÉÞÁ (25.04.1903 20.10.1987). ìÏ-
ÇÉËÁ ÂÙÌÁ ÌÀÂÏ×ØÀ ÅÇÏ ÍÏÌÏÄÏÓÔÉ; ÏÎ ×ÅÒÎÕÌÓÑ Ë ÎÅÊ ÎÁ ÓËÌÏÎÅ Ó×ÏÉÈ ÌÅÔ.
÷ 1925 Ç. ëÏÌÍÏÇÏÒÏ× ÏÐÕÂÌÉËÏ×ÁÌ ÓÔÁÔØÀ ¥ï ÐÒÉÎÃÉÐÅ tertium non datur¥,
×ÈÏÄÑÝÕÀ × ÏÂÝÅÐÒÉÚÎÁÎÎÙÊ ÚÏÌÏÔÏÊ ÆÏÎÄ ÓÏÞÉÎÅÎÉÊ ÐÏ ÍÁÔÅÍÁÔÉÞÅÓËÏÊ
ÌÏÇÉËÅ, ÓÏÞÉÎÅÎÉÊ, ÏÐÒÅÄÅÌÉ×ÛÉÈ ÌÉÃÏ ÜÔÏÊ ÎÁÕËÉ. á Ó ÎÁÞÁÌÁ 1980 Ç. ÄÏ
ËÏÎÃÁ ÖÉÚÎÉ ëÏÌÍÏÇÏÒÏ× ×ÏÚÇÌÁ×ÌÑÌ ËÁÆÅÄÒÕ ÍÁÔÅÍÁÔÉÞÅÓËÏÊ ÌÏÇÉËÉ íÏ-
ÓËÏ×ÓËÏÇÏ ÕÎÉ×ÅÒÓÉÔÅÔÁ.
   ëÏÌÍÏÇÏÒÏ×ÓËÁÑ ÓÔÁÔØÑ 1925 Ç. ÂÙÌÁ ÐÏÓ×ÑÝÅÎÁ ÔÁË ÎÁÚÙ×ÁÅÍÏÊ ÉÎÔÕ-
ÉÃÉÏÎÉÓÔÓËÏÊ ÌÏÇÉËÅ, Á ÉÍÅÎÎÏ ¡ ž ÆÏÒÍÁÌÉÚÁÃÉÉ. éÎÔÕÉÃÉÏÎÉÓÔÓËÁÑ
ÌÏÇÉËÁ, × ÏÔÌÉÞÉÅ ÏÔ ÏÂÙÞÎÏÊ, ÎÁÚÙ×ÁÅÍÏÊ ÔÁËÖÅ ËÌÁÓÓÉÞÅÓËÏÊ, ÎÅ ÐÒÉ-
ÚÎÁ¾Ô ÚÁËÏÎÁ ÉÓËÌÀÞ¾ÎÎÏÇÏ ÔÒÅÔØÅÇÏ, ÏÎ ÖÅ ¡ ÐÒÉÎÃÉÐ ¥ÔÒÅÔØÅÇÏ ÎÅ ÄÁÎÏ¥