. . . . . . "\u0410\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0456\u0447\u043D\u043E \u043D\u0435\u0440\u043E\u0437\u0432'\u044F\u0437\u043D\u0430 \u0437\u0430\u0434\u0430\u0447\u0430"@uk . . . . . . . . . "\u0641\u064A \u0646\u0638\u0631\u064A\u0629 \u0627\u0644\u062D\u0627\u0633\u0648\u0628\u064A\u0629 \u0648\u0646\u0638\u0631\u064A\u0629 \u0627\u0644\u062A\u0639\u0642\u064A\u062F \u0627\u0644\u062D\u0633\u0627\u0628\u064A\u060C \u0645\u0639\u0636\u0644\u0629 \u063A\u064A\u0631 \u0642\u0627\u0628\u0644\u0629 \u0644\u0644\u0642\u0631\u0627\u0631 \u0647\u064A \u060C \u062D\u064A\u062B \u064A\u0633\u062A\u062D\u064A\u0644 \u0625\u0646\u0634\u0627\u0621 \u062E\u0648\u0627\u0631\u0632\u0645\u064A\u0629 \u0648\u062D\u064A\u062F\u0629\u060C \u062A\u062C\u064A\u0628 \u062F\u0627\u0626\u0645\u0627 \u0648\u0628\u0635\u0641\u0629 \u0635\u062D\u064A\u062D\u0629\u060C \u0628\u0646\u0639\u0645 \u0623\u0648 \u0644\u0627 \u0639\u0644\u0649 \u0627\u0644\u0645\u0639\u0636\u0644\u0629 \u0627\u0644\u0645\u0637\u0631\u0648\u062D\u0629. \u0627\u0646\u0638\u0631 \u0625\u0644\u0649 \u0645\u0628\u0631\u0647\u0646\u0627\u062A \u0639\u062F\u0645 \u0627\u0644\u0627\u0643\u062A\u0645\u0627\u0644 \u0644\u063A\u0648\u062F\u0644."@ar . . . "Na teoria da computa\u00E7\u00E3o e na teoria da complexidade computacional, um problema indecid\u00EDvel \u00E9 um problema de decis\u00E3o em que \u00E9 imposs\u00EDvel construir um algoritmo que sempre responde corretamente sim ou n\u00E3o."@pt . . . . "Problem nierozstrzygalny \u2013 problem decyzyjny, dla kt\u00F3rego nie istnieje algorytm, kt\u00F3ry po sko\u0144czonej liczbie krok\u00F3w i dla dowolnych danych wej\u015Bciowych jednoznacznie odpowie tak lub nie. Turing w 1936 roku wykaza\u0142, \u017Ce udzielenie odpowiedzi na pytanie, czy maszyna Turinga o numerze wykonuj\u0105c dzia\u0142ania nad liczb\u0105 zako\u0144czy kiedy\u015B swoj\u0105 prac\u0119, czy te\u017C przewidziany dla niej algorytm b\u0119dzie realizowany w niesko\u0144czono\u015B\u0107, jest problemem nierozstrzygalnym (patrz: problem stopu). Innym przyk\u0142adem problemu nierozstrzygalnego jest tzw. zdanie G\u00F6dla o postaci 17 Gen r (generalizacja {kwantyfikator og\u00F3lny} formu\u0142y r wzgl\u0119dem zmiennej z numerem 17). Jest to zdanie posiadaj\u0105ce t\u0119 w\u0142asno\u015B\u0107, \u017Ce ani ono, ani jego negacja nie daj\u0105 si\u0119 formalnie dowie\u015B\u0107. Zdanie nierozstrzygalne powsta\u0142o w wyniku odwzorowania antynomii logicznej (zwanej antynomi\u0105 Richarda) poprzez tak zwan\u0105 arytmetyzacj\u0105 j\u0119zyka klasycznego rachunku zda\u0144. Arytmetyzacja j\u0119zyka pozwala na odwzorowanie relacji logicznych jakie zachodz\u0105 mi\u0119dzy zdaniami w relacje arytmetyczne mi\u0119dzy liczbami stanowi\u0105cymi numery tych zda\u0144. Dzi\u0119ki temu zamiast o relacjach logicznych mo\u017Cna m\u00F3wi\u0107 o relacjach arytmetycznych. Istnienie zdania 17 gen r jest powodem nierozstrzygalno\u015Bci arytmetyki, uwa\u017Canej do czas\u00F3w G\u00F6dla za system rozstrzygalny, to znaczy taki, w kt\u00F3rym prawdziwo\u015B\u0107 ka\u017Cdego twierdzenia mo\u017Cna rozstrzygn\u0105\u0107 w oparciu o sko\u0144czony zbi\u00F3r kryteri\u00F3w. Inaczej m\u00F3wi\u0105c, zbi\u00F3r twierdze\u0144 arytmetycznych jest nieobliczalny, co znaczy, \u017Ce nie mo\u017Cna w sko\u0144czonej ilo\u015Bci krok\u00F3w rozstrzygn\u0105\u0107, czy dany element tego zbioru, b\u0119d\u0105cy twierdzeniem arytmetycznym, jest, czy nie jest elementem zbioru twierdze\u0144. Tymczasem zbi\u00F3r dowod\u00F3w systemu formalnego jest obliczalny, poniewa\u017C w sko\u0144czonej ilo\u015Bci krok\u00F3w mo\u017Cna rozstrzygn\u0105\u0107, czy dany ci\u0105g napis\u00F3w jest, czy nie jest dowodem danego twierdzenia. Tak wi\u0119c zbi\u00F3r zda\u0144 prawdziwych nie pokrywa si\u0119 ze zbiorem twierdze\u0144 dowodzonych przez system. Wiemy bowiem, \u017Ce istniej\u0105 zdania prawdziwe, kt\u00F3rych nie da si\u0119 dowie\u015B\u0107 w tym systemie. Jednym z nich jest w\u0142a\u015Bnie zdanie 17 Gen r."@pl . "Problema indecidible"@es . . . . "Na teoria da computa\u00E7\u00E3o e na teoria da complexidade computacional, um problema indecid\u00EDvel \u00E9 um problema de decis\u00E3o em que \u00E9 imposs\u00EDvel construir um algoritmo que sempre responde corretamente sim ou n\u00E3o. Um problema de decis\u00E3o \u00E9 qualquer quest\u00E3o arbitr\u00E1ria de sim-ou-n\u00E3o sobre um conjunto infinito de entradas. Por causa disto, \u00E9 comum definir o problema de decis\u00E3o de maneira equivalente como: o conjunto de entradas para o qual o problema retorna sim. Estas entradas podem ser n\u00FAmeros naturais, mas tamb\u00E9m podem ser outros valores de outros tipos, como cadeias de uma linguagem formal. Usando alguma codifica\u00E7\u00E3o, tal como uma numera\u00E7\u00E3o de G\u00F6del, as cadeias podem ser codificadas como n\u00FAmeros naturais. Para manter a defini\u00E7\u00E3o de formalidade simples, ela \u00E9 colocada em termos de subconjuntos dos n\u00FAmeros naturais. Formalmente, um problema de decis\u00E3o \u00E9 um subconjunto dos n\u00FAmeros naturais. O problema correspondente de maneira informal \u00E9 o de se decidir se um dado n\u00FAmero est\u00E1 no conjunto. Um problema de decis\u00E3o A \u00E9 chamado decid\u00EDvel ou efetivamente sol\u00FAvel se A \u00E9 um conjunto recursivo. Um problema \u00E9 chamado parcialmente decid\u00EDvel, semidecid\u00EDvel, sol\u00FAvel, ou prov\u00E1vel se A \u00E9 um conjunto recursivamente enumer\u00E1vel. Problemas parcialmente decid\u00EDveis e outros problemas que n\u00E3o s\u00E3o decid\u00EDveis s\u00E3o chamados indecid\u00EDveis."@pt . . . . . . . "\u0412 \u0442\u0435\u043E\u0440\u0438\u0438 \u0432\u044B\u0447\u0438\u0441\u043B\u0438\u043C\u043E\u0441\u0442\u0438 \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0438\u0447\u0435\u0441\u043A\u0438 \u043D\u0435\u0440\u0430\u0437\u0440\u0435\u0448\u0438\u043C\u043E\u0439 \u0437\u0430\u0434\u0430\u0447\u0435\u0439 \u043D\u0430\u0437\u044B\u0432\u0430\u0435\u0442\u0441\u044F \u0437\u0430\u0434\u0430\u0447\u0430, \u0438\u043C\u0435\u044E\u0449\u0430\u044F \u043E\u0442\u0432\u0435\u0442 \u0434\u0430 \u0438\u043B\u0438 \u043D\u0435\u0442 \u0434\u043B\u044F \u043A\u0430\u0436\u0434\u043E\u0433\u043E \u043E\u0431\u044A\u0435\u043A\u0442\u0430 \u0438\u0437 \u043D\u0435\u043A\u043E\u0442\u043E\u0440\u043E\u0433\u043E \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u0430 \u0432\u0445\u043E\u0434\u043D\u044B\u0445 \u0434\u0430\u043D\u043D\u044B\u0445, \u0434\u043B\u044F \u043A\u043E\u0442\u043E\u0440\u043E\u0439 (\u043F\u0440\u0438\u043D\u0446\u0438\u043F\u0438\u0430\u043B\u044C\u043D\u043E) \u043D\u0435 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0430, \u043A\u043E\u0442\u043E\u0440\u044B\u0439 \u0431\u044B, \u043F\u043E\u043B\u0443\u0447\u0438\u0432 \u043B\u044E\u0431\u043E\u0439 \u0432\u043E\u0437\u043C\u043E\u0436\u043D\u044B\u0439 \u0432 \u043A\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u0432\u0445\u043E\u0434\u043D\u044B\u0445 \u0434\u0430\u043D\u043D\u044B\u0445 \u043E\u0431\u044A\u0435\u043A\u0442, \u043E\u0441\u0442\u0430\u043D\u0430\u0432\u043B\u0438\u0432\u0430\u043B\u0441\u044F \u0438 \u0434\u0430\u0432\u0430\u043B \u043F\u0440\u0430\u0432\u0438\u043B\u044C\u043D\u044B\u0439 \u043E\u0442\u0432\u0435\u0442 \u043F\u043E\u0441\u043B\u0435 \u043A\u043E\u043D\u0435\u0447\u043D\u043E\u0433\u043E \u0447\u0438\u0441\u043B\u0430 \u0448\u0430\u0433\u043E\u0432."@ru . . . . "Problema indecid\u00EDvel"@pt . . . "\u4E0D\u53EF\u5224\u5B9A\u95EE\u9898"@zh . "\u0410\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0438\u0447\u0435\u0441\u043A\u0438 \u043D\u0435\u0440\u0430\u0437\u0440\u0435\u0448\u0438\u043C\u0430\u044F \u0437\u0430\u0434\u0430\u0447\u0430"@ru . . . . . . . "Nerozhodnuteln\u00FD probl\u00E9m je v teorii vy\u010D\u00EDslitelnosti a teorii slo\u017Eitosti takov\u00FD rozhodovac\u00ED probl\u00E9m, pro kter\u00FD nen\u00ED mo\u017En\u00E9 zkonstruovat algoritmus, kter\u00FD v\u017Edy vyd\u00E1 spr\u00E1vnou odpov\u011B\u010F ano nebo ne. P\u0159\u00EDkladem je probl\u00E9m zastaven\u00ED: lze dok\u00E1zat, \u017Ee neexistuje \u017E\u00E1dn\u00FD algoritmus, kter\u00FD o libovoln\u00E9m programu rozhodne, zda se po sv\u00E9m spu\u0161t\u011Bn\u00ED na dan\u00FDch datech zastav\u00ED."@cs . . . . . "En teor\u00EDa de la computabilidad y en teor\u00EDa de la complejidad computacional, un problema indecidible es un problema de decisi\u00F3n para el cual es imposible construir un algoritmo que siempre conduzca a una respuesta de s\u00ED o no correcta. El problema de la parada es un ejemplo: no existe algoritmo que determine de manera correcta si un programa arbitrario se detendr\u00E1, una vez sea ejecutado... Un problema de decisi\u00F3n es cualquier pregunta arbitraria de s\u00ED o no en un conjunto infinito de entradas. Por ello es tradicional definir el problema de decisi\u00F3n como equivalente al conjunto de entradas para las que el problema retorna s\u00ED. Estas entradas pueden ser n\u00FAmeros naturales, o bien valores de otro tipo, tales como cadenas de un lenguaje formal. Mediante alguna codificaci\u00F3n, tal como una numeraci\u00F3n de G\u00F6del, las cadenas se pueden codificar como n\u00FAmeros naturales. As\u00ED, un problema de decisi\u00F3n informalmente expresado en t\u00E9rminos de un lenguaje formal es tambi\u00E9n equivalente a un conjunto de n\u00FAmeros naturales. Para mantener simple la definici\u00F3n formal, se expresa en t\u00E9rminos de subconjuntos de los n\u00FAmeros naturales. Formalmente, un problema de decisi\u00F3n es un subconjunto de los n\u00FAmeros naturales. El problema informal correspondiente consiste en decidir si un n\u00FAmero dado est\u00E1 en el conjunto. A un problema de decisi\u00F3n A, si A es un conjunto recursivo, se le denomina decidible, o efectivamente solucionable. Si A es un conjunto recursivamente enumerable, el problema es parcialmente decidible, semidecidible, solucionable, o demostrable. A problemas parcialmente decidibles y a los no decidibles se les califica de indecidibles. Para demostrar que un problema es indecidible, generalmente se toma un problema que ya se ha demostrado que lo es y se construye una transformaci\u00F3n que lo reduce a una instancia del nuevo problema. Se concluye que no puede existir un algoritmo para decidir sobre el nuevo problema dado que ese algoritmo servir\u00EDa tambi\u00E9n para decidir sobre un problema conocido como indecidible."@es . . . "Problem nierozstrzygalny \u2013 problem decyzyjny, dla kt\u00F3rego nie istnieje algorytm, kt\u00F3ry po sko\u0144czonej liczbie krok\u00F3w i dla dowolnych danych wej\u015Bciowych jednoznacznie odpowie tak lub nie. Turing w 1936 roku wykaza\u0142, \u017Ce udzielenie odpowiedzi na pytanie, czy maszyna Turinga o numerze wykonuj\u0105c dzia\u0142ania nad liczb\u0105 zako\u0144czy kiedy\u015B swoj\u0105 prac\u0119, czy te\u017C przewidziany dla niej algorytm b\u0119dzie realizowany w niesko\u0144czono\u015B\u0107, jest problemem nierozstrzygalnym (patrz: problem stopu)."@pl . . . . "Nerozhodnuteln\u00FD probl\u00E9m je v teorii vy\u010D\u00EDslitelnosti a teorii slo\u017Eitosti takov\u00FD rozhodovac\u00ED probl\u00E9m, pro kter\u00FD nen\u00ED mo\u017En\u00E9 zkonstruovat algoritmus, kter\u00FD v\u017Edy vyd\u00E1 spr\u00E1vnou odpov\u011B\u010F ano nebo ne. P\u0159\u00EDkladem je probl\u00E9m zastaven\u00ED: lze dok\u00E1zat, \u017Ee neexistuje \u017E\u00E1dn\u00FD algoritmus, kter\u00FD o libovoln\u00E9m programu rozhodne, zda se po sv\u00E9m spu\u0161t\u011Bn\u00ED na dan\u00FDch datech zastav\u00ED. Proto\u017Ee pojem algoritmus nen\u00ED p\u0159esn\u011B definov\u00E1n, tvrzen\u00ED o existenci nerozhodnuteln\u00FDch probl\u00E9m\u016F zpravidla pou\u017E\u00EDvaj\u00ED n\u011Bjakou dob\u0159e definovanou formu algoritmu, nap\u0159. Turing\u016Fv stroj. Na druhou stranu princip jejich d\u016Fkazu (d\u016Fkaz diagonalizac\u00ED) vych\u00E1z\u00ED ze zji\u0161t\u011Bn\u00ED, \u017Ee existuje mnoho probl\u00E9m\u016F a jen ur\u010Dit\u00E1 \u010D\u00E1st z nich jsou rozhodnuteln\u00E9 probl\u00E9my."@cs . . . "En teor\u00EDa de la computabilidad y en teor\u00EDa de la complejidad computacional, un problema indecidible es un problema de decisi\u00F3n para el cual es imposible construir un algoritmo que siempre conduzca a una respuesta de s\u00ED o no correcta. El problema de la parada es un ejemplo: no existe algoritmo que determine de manera correcta si un programa arbitrario se detendr\u00E1, una vez sea ejecutado..."@es . . "Nerozhodnuteln\u00FD probl\u00E9m"@cs . . . . "\u4E0D\u53EF\u5224\u5B9A\u95EE\u9898\u662F\u53EF\u8BA1\u7B97\u6027\u7406\u8BBA\u548C\u8BA1\u7B97\u590D\u6742\u6027\u7406\u8BBA\u4E2D\u5B9A\u4E49\u7684\u4E00\u7C7B\u51B3\u5B9A\u6027\u95EE\u9898\uFF0C\u6B64\u7C7B\u95EE\u9898\u65E0\u6CD5\u603B\u662F\u7528\u5355\u4E00\u7B97\u6CD5\u5F97\u51FA\u6B63\u786E\u7684\u662F/\u5426\u7684\u7B54\u6848\u3002\u505C\u673A\u95EE\u9898\u662F\u8FD9\u7C7B\u95EE\u9898\u7684\u4E00\u4E2A\u4EE3\u8868\uFF1A\u5BF9\u4E8E\u505C\u673A\u95EE\u9898\uFF0C\u6CA1\u6709\u7B97\u6CD5\u80FD\u591F\u6B63\u786E\u5224\u5B9A\u4EFB\u610F\u7A0B\u5E8F\u662F\u5426\u4F1A\u7EC8\u6B62\u8FD0\u884C\u3002"@zh . . . . . . "Undecidable problem"@en . "\u4E0D\u53EF\u5224\u5B9A\u95EE\u9898\u662F\u53EF\u8BA1\u7B97\u6027\u7406\u8BBA\u548C\u8BA1\u7B97\u590D\u6742\u6027\u7406\u8BBA\u4E2D\u5B9A\u4E49\u7684\u4E00\u7C7B\u51B3\u5B9A\u6027\u95EE\u9898\uFF0C\u6B64\u7C7B\u95EE\u9898\u65E0\u6CD5\u603B\u662F\u7528\u5355\u4E00\u7B97\u6CD5\u5F97\u51FA\u6B63\u786E\u7684\u662F/\u5426\u7684\u7B54\u6848\u3002\u505C\u673A\u95EE\u9898\u662F\u8FD9\u7C7B\u95EE\u9898\u7684\u4E00\u4E2A\u4EE3\u8868\uFF1A\u5BF9\u4E8E\u505C\u673A\u95EE\u9898\uFF0C\u6CA1\u6709\u7B97\u6CD5\u80FD\u591F\u6B63\u786E\u5224\u5B9A\u4EFB\u610F\u7A0B\u5E8F\u662F\u5426\u4F1A\u7EC8\u6B62\u8FD0\u884C\u3002"@zh . . . . "\u0412 \u0442\u0435\u043E\u0440\u0456\u0457 \u043E\u0431\u0447\u0438\u0441\u043B\u044E\u0432\u0430\u043D\u043E\u0441\u0442\u0456 \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0456\u0447\u043D\u043E \u043D\u0435\u0440\u043E\u0437\u0432'\u044F\u0437\u043D\u043E\u044E \u0437\u0430\u0434\u0430\u0447\u0435\u044E \u043D\u0430\u0437\u0438\u0432\u0430\u0454\u0442\u044C\u0441\u044F \u0437\u0430\u0434\u0430\u0447\u0430, \u0449\u043E \u043C\u0430\u0454 \u0432\u0456\u0434\u043F\u043E\u0432\u0456\u0434\u044C \u0442\u0430\u043A \u0447\u0438 \u043D\u0456 \u0434\u043B\u044F \u043A\u043E\u0436\u043D\u043E\u0433\u043E \u043E\u0431'\u0454\u043A\u0442\u0430 \u0437 \u0434\u0435\u044F\u043A\u043E\u0457 \u043C\u043D\u043E\u0436\u0438\u043D\u0438 \u0432\u0445\u0456\u0434\u043D\u0438\u0445 \u0434\u0430\u043D\u0438\u0445, \u0434\u043B\u044F \u044F\u043A\u043E\u0457 (\u043F\u0440\u0438\u043D\u0446\u0438\u043F\u043E\u0432\u043E) \u043D\u0435 \u0456\u0441\u043D\u0443\u0454 \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0443, \u044F\u043A\u0438\u0439 \u0431\u0438, \u043E\u0442\u0440\u0438\u043C\u0430\u0432\u0448\u0438 \u0431\u0443\u0434\u044C-\u044F\u043A\u0438\u0439 \u043C\u043E\u0436\u043B\u0438\u0432\u0438\u0439 \u044F\u043A \u0432\u0445\u0456\u0434\u043D\u0456 \u0434\u0430\u043D\u0456 \u043E\u0431'\u0454\u043A\u0442, \u0437\u0443\u043F\u0438\u043D\u044F\u0432\u0441\u044F \u0456 \u0434\u0430\u0432\u0430\u0432 \u043F\u0440\u0430\u0432\u0438\u043B\u044C\u043D\u0443 \u0432\u0456\u0434\u043F\u043E\u0432\u0456\u0434\u044C \u043F\u0456\u0441\u043B\u044F \u0441\u043A\u0456\u043D\u0447\u0435\u043D\u043D\u043E\u0433\u043E \u0447\u0438\u0441\u043B\u0430 \u043A\u0440\u043E\u043A\u0456\u0432."@uk . . . . "In computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is proved to be impossible to construct an algorithm that always leads to a correct yes-or-no answer. The halting problem is an example: it can be proven that there is no algorithm that correctly determines whether arbitrary programs eventually halt when run."@en . . . "In computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is proved to be impossible to construct an algorithm that always leads to a correct yes-or-no answer. The halting problem is an example: it can be proven that there is no algorithm that correctly determines whether arbitrary programs eventually halt when run."@en . . . . . . . . . . . "\u0412 \u0442\u0435\u043E\u0440\u0456\u0457 \u043E\u0431\u0447\u0438\u0441\u043B\u044E\u0432\u0430\u043D\u043E\u0441\u0442\u0456 \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0456\u0447\u043D\u043E \u043D\u0435\u0440\u043E\u0437\u0432'\u044F\u0437\u043D\u043E\u044E \u0437\u0430\u0434\u0430\u0447\u0435\u044E \u043D\u0430\u0437\u0438\u0432\u0430\u0454\u0442\u044C\u0441\u044F \u0437\u0430\u0434\u0430\u0447\u0430, \u0449\u043E \u043C\u0430\u0454 \u0432\u0456\u0434\u043F\u043E\u0432\u0456\u0434\u044C \u0442\u0430\u043A \u0447\u0438 \u043D\u0456 \u0434\u043B\u044F \u043A\u043E\u0436\u043D\u043E\u0433\u043E \u043E\u0431'\u0454\u043A\u0442\u0430 \u0437 \u0434\u0435\u044F\u043A\u043E\u0457 \u043C\u043D\u043E\u0436\u0438\u043D\u0438 \u0432\u0445\u0456\u0434\u043D\u0438\u0445 \u0434\u0430\u043D\u0438\u0445, \u0434\u043B\u044F \u044F\u043A\u043E\u0457 (\u043F\u0440\u0438\u043D\u0446\u0438\u043F\u043E\u0432\u043E) \u043D\u0435 \u0456\u0441\u043D\u0443\u0454 \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0443, \u044F\u043A\u0438\u0439 \u0431\u0438, \u043E\u0442\u0440\u0438\u043C\u0430\u0432\u0448\u0438 \u0431\u0443\u0434\u044C-\u044F\u043A\u0438\u0439 \u043C\u043E\u0436\u043B\u0438\u0432\u0438\u0439 \u044F\u043A \u0432\u0445\u0456\u0434\u043D\u0456 \u0434\u0430\u043D\u0456 \u043E\u0431'\u0454\u043A\u0442, \u0437\u0443\u043F\u0438\u043D\u044F\u0432\u0441\u044F \u0456 \u0434\u0430\u0432\u0430\u0432 \u043F\u0440\u0430\u0432\u0438\u043B\u044C\u043D\u0443 \u0432\u0456\u0434\u043F\u043E\u0432\u0456\u0434\u044C \u043F\u0456\u0441\u043B\u044F \u0441\u043A\u0456\u043D\u0447\u0435\u043D\u043D\u043E\u0433\u043E \u0447\u0438\u0441\u043B\u0430 \u043A\u0440\u043E\u043A\u0456\u0432."@uk . . "Problem nierozstrzygalny"@pl . . . . . . . . . . . . "\u0645\u0639\u0636\u0644\u0629 \u063A\u064A\u0631 \u0642\u0627\u0628\u0644\u0629 \u0644\u0644\u0642\u0631\u0627\u0631"@ar . . . "1120140159"^^ . . . . . . . "15631055"^^ . . . . . . . "\u0412 \u0442\u0435\u043E\u0440\u0438\u0438 \u0432\u044B\u0447\u0438\u0441\u043B\u0438\u043C\u043E\u0441\u0442\u0438 \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0438\u0447\u0435\u0441\u043A\u0438 \u043D\u0435\u0440\u0430\u0437\u0440\u0435\u0448\u0438\u043C\u043E\u0439 \u0437\u0430\u0434\u0430\u0447\u0435\u0439 \u043D\u0430\u0437\u044B\u0432\u0430\u0435\u0442\u0441\u044F \u0437\u0430\u0434\u0430\u0447\u0430, \u0438\u043C\u0435\u044E\u0449\u0430\u044F \u043E\u0442\u0432\u0435\u0442 \u0434\u0430 \u0438\u043B\u0438 \u043D\u0435\u0442 \u0434\u043B\u044F \u043A\u0430\u0436\u0434\u043E\u0433\u043E \u043E\u0431\u044A\u0435\u043A\u0442\u0430 \u0438\u0437 \u043D\u0435\u043A\u043E\u0442\u043E\u0440\u043E\u0433\u043E \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u0430 \u0432\u0445\u043E\u0434\u043D\u044B\u0445 \u0434\u0430\u043D\u043D\u044B\u0445, \u0434\u043B\u044F \u043A\u043E\u0442\u043E\u0440\u043E\u0439 (\u043F\u0440\u0438\u043D\u0446\u0438\u043F\u0438\u0430\u043B\u044C\u043D\u043E) \u043D\u0435 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0430, \u043A\u043E\u0442\u043E\u0440\u044B\u0439 \u0431\u044B, \u043F\u043E\u043B\u0443\u0447\u0438\u0432 \u043B\u044E\u0431\u043E\u0439 \u0432\u043E\u0437\u043C\u043E\u0436\u043D\u044B\u0439 \u0432 \u043A\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u0432\u0445\u043E\u0434\u043D\u044B\u0445 \u0434\u0430\u043D\u043D\u044B\u0445 \u043E\u0431\u044A\u0435\u043A\u0442, \u043E\u0441\u0442\u0430\u043D\u0430\u0432\u043B\u0438\u0432\u0430\u043B\u0441\u044F \u0438 \u0434\u0430\u0432\u0430\u043B \u043F\u0440\u0430\u0432\u0438\u043B\u044C\u043D\u044B\u0439 \u043E\u0442\u0432\u0435\u0442 \u043F\u043E\u0441\u043B\u0435 \u043A\u043E\u043D\u0435\u0447\u043D\u043E\u0433\u043E \u0447\u0438\u0441\u043B\u0430 \u0448\u0430\u0433\u043E\u0432."@ru . "\u0641\u064A \u0646\u0638\u0631\u064A\u0629 \u0627\u0644\u062D\u0627\u0633\u0648\u0628\u064A\u0629 \u0648\u0646\u0638\u0631\u064A\u0629 \u0627\u0644\u062A\u0639\u0642\u064A\u062F \u0627\u0644\u062D\u0633\u0627\u0628\u064A\u060C \u0645\u0639\u0636\u0644\u0629 \u063A\u064A\u0631 \u0642\u0627\u0628\u0644\u0629 \u0644\u0644\u0642\u0631\u0627\u0631 \u0647\u064A \u060C \u062D\u064A\u062B \u064A\u0633\u062A\u062D\u064A\u0644 \u0625\u0646\u0634\u0627\u0621 \u062E\u0648\u0627\u0631\u0632\u0645\u064A\u0629 \u0648\u062D\u064A\u062F\u0629\u060C \u062A\u062C\u064A\u0628 \u062F\u0627\u0626\u0645\u0627 \u0648\u0628\u0635\u0641\u0629 \u0635\u062D\u064A\u062D\u0629\u060C \u0628\u0646\u0639\u0645 \u0623\u0648 \u0644\u0627 \u0639\u0644\u0649 \u0627\u0644\u0645\u0639\u0636\u0644\u0629 \u0627\u0644\u0645\u0637\u0631\u0648\u062D\u0629. \u0627\u0646\u0638\u0631 \u0625\u0644\u0649 \u0645\u0628\u0631\u0647\u0646\u0627\u062A \u0639\u062F\u0645 \u0627\u0644\u0627\u0643\u062A\u0645\u0627\u0644 \u0644\u063A\u0648\u062F\u0644."@ar . . . . . "13451"^^ . . . . . . . . . .