Many word problems are undecidable based on the Post correspondence problem.

Wiele problemów słowa jest nierozstrzygalne na podstawie Poczty korespondencja problem.

Even more difficult are the undecidable problems, such as the halting problem.

Jeszcze trudniejszy są nierozstrzygalnymi problemami, taki jak niepewny problem.

Even undecidable problems, like the halting problem, can be used.

Nawet nierozstrzygalne problemy, jak niepewny problem, móc być używanym.

The cause of his death is an undecidable problem.

Powód jego śmierci jest nierozstrzygalnym problemem.

It follows immediately that the uniform word problem is also undecidable.

To następuje natychmiast że jednakowe słowo problem jest również nierozstrzygalny.

There are many known examples of undecidable problems from ordinary mathematics.

Jest wiele znanych przykładów nierozstrzygalnych problemów ze zwykłej matematyki.

Robinson established in 1949 that the theory of fields is undecidable.

Robinson ustalił w 1949, że teoria pól jest nierozstrzygalna.

The new statement was undecidable, not deducible from the set within him.

Nowe oświadczenie było nierozstrzygalne, nie dający się logicznie wyprowadzić ze zbioru w nim.

It is undecidable who would have copyright on a block, which has several meanings.

To jest nierozstrzygalne kto posiadać prawa autorskie do bloku, który ma kilka znaczeń.

We have previously shown, however, that the halting problem is undecidable.

Wcześniej pokazaliśmy, jednakże, że niepewny problem jest nierozstrzygalny.

Decision problems become harder to answer or completely undecidable.

Problemy decyzji stają się trudniejsze do odpowiedzi albo całkowicie nierozstrzygalny.

There are two distinct senses of the word "undecidable" in contemporary use.

Są dwa wyraźne wyczucia słowa "nierozstrzygalny" we współczesnym wykorzystaniu.

But was there at least some way to tell in advance which statements were undecidable, not worth bothering with?

Ale był tam przynajmniej jakiś sposób by powiedzieć z góry które oświadczenia były nierozstrzygalne, nie warte martwienie z?

Many problems of mathematics have been shown to be undecidable after these initial examples were established.

Wiele kwestii matematyki zostało pokazanych być nierozstrzygalnym po tych początkowych przykładach zostały założone.

As with many undecidable questions, one can still attempt to give useful approximate solutions.

Jak z wiele nierozstrzygalnych pytań, można wciąż próbować udzielić przydatnych przybliżonych rozwiązań.

The halting problem is historically important because it was one of the first problems to be proved undecidable.

Niepewny problem jest historycznie ważny ponieważ to był jeden z pierwszych problemów zostać dowiedzionym nierozstrzygalny.

Determining whether a subprogram may have a side effect is very difficult (indeed, undecidable).

Ustalając czy podprogram może mieć efekt uboczny jest bardzo trudny (rzeczywiście, nierozstrzygalny).

For more expressive formalisms, this problem can be harder, or even undecidable.

Dla bardziej ekspresyjnych formalizmów, ten problem może być trudniejszy, albo nawet nierozstrzygalny.

Would the grinding go on forever, meaning the statement was indeed undecidable, or did you simply need to be more patient?

Zgrzytanie ciągnęłoby się bez końca, oznaczając, że oświadczenie było rzeczywiście nierozstrzygalne, albo po prostu musiałeś być cierpliwszym?

He produced many other drawings of impossible objects, sometimes with the entire drawing being an undecidable figure.

Wyprodukował wiele innych rysunków niemożliwych przedmiotów, czasami z całym rysunkiem będącym nierozstrzygalną liczbą.

A statement like this could not be undecidable; it had to be either true or false.

Oświadczenie w ten sposób nie móc być nierozstrzygalny; to musiało być albo prawdziwym albo błędnym.

Most of these questions, however, are undecidable, meaning that the function in question cannot be calculated mechanically.

Większość z tych pytań, jednakże, jest nierozstrzygalna, oznaczanie, że omawiana funkcja nie może być obliczyło mechanicznie.

The rank problem is undecidable for word hyperbolic groups.

Stopień problem jest nierozstrzygalny dla słowa hiperboliczne grupy.

They showed that there is no such algorithm, thus the problem is undecidable in the general case.

Pokazali, że jest nie taki algorytm, stąd problem jest nierozstrzygalny w przeciętnym przypadku.

In fact, every consistent extension will be essentially undecidable.

Tak naprawdę, każde zgodne przedłużenie będzie zasadniczo nierozstrzygalne.