undecidability

This was historically the first problem for which undecidability could be proven.

To był historycznie pierwszy problem, dla którego nierozstrzygalność mogła być dowiedziona.

He used this device to prove that even in those more powerful systems, undecidability is still present.

Wykorzystał ten sposób by udowodnić, że nawet w tych mocniejszych systemach, nierozstrzygalność jest obecna wciąż.

In the middle of the twentieth century he produced a theorem on undecidability.

Pośrodku z dwudziestego wieku przedstawił twierdzenie o nierozstrzygalności.

This is equivalent to the undecidability of the corresponding problems for lambda terms.

To odpowiada nierozstrzygalności odpowiednich problemów dla warunków lambdy.

Specific instances cannot be given but this follows from the undecidability of the halting problem.

Określone przypadki nie mogą być wydane ale to wynika z nierozstrzygalności niepewnego problemu.

This work was largely on recursion theory and undecidability.

Ta praca była w dużej mierze na teorii rekursji i nierozstrzygalności.

The disruptive rhetorical structure in this case turns out to be the undecidability between inside and outside worlds within the figure of metaphor.

Destruktywna retoryczna struktura w tym przypadku okaże się być nierozstrzygalnością pośrodku w i poza światami w obrębie kwoty metafory.

In place of final knowledge came uncertainty, relativity, undecidability, incomputability.

Zamiast ostatniej wiedzy przyszedł niepewność, względność, nierozstrzygalność, incomputability.

That is, it should be possible to get sound answers from them-even though the abstraction may simply yield a result of undecidability.

To jest, to powinno być dopuszczalne do zrozumianych mocnych odpowiedzi z oni-równy chociaż abstrakcja po prostu może dawać wynik nierozstrzygalności.

Comments on the undecidability proof for chaos theory.

Komentarze na temat dowodu nierozstrzygalności dla teorii chaosu.

The interpretability method is often used to establish undecidability of theories.

Interpretability metoda często jest wykorzystana do założenia nierozstrzygalności teorii.

A number of similar undecidability proofs appeared soon before and after Turing's proof:

Szereg podobnej nierozstrzygalności dowody pojawiły się niedługo przedtem i potem dowód Turing:

Her more recent research has studied issues of nondeterminism and undecidability in self-assembly.

Jej więcej ostatnich badań zbadało kwestie z nondeterminism i nierozstrzygalność w do samodzielnego montażu.

This fact has to do with the undecidability of the validity problem for FOL.

Ten fakt ma do roboty z nierozstrzygalnością ważności problem dla FOL.

For Wai, this conceptual liability (of tautological undecidability) need not be concerning, however.

Dla Wai, ta pojęciowa odpowiedzialność (z tautologicznej nierozstrzygalności) nie dotyczyć, jednakże.

The first such set, presented by Berger and used in his proof of undecidability, required 20,426 Wang tiles.

Pierwszy taki zbiór, przedstawiony przez Berger i użyty w jego dowodzie nierozstrzygalności, wymagany 20,426 Wang dachówki.

Undecidability only implies that the particular deductive system being considered does not prove the truth or falsity of the statement.

Nierozstrzygalność tylko sugeruje, że szczególny dedukcyjny będący uznawany system nie dowodzi prawdy albo fałszywości oświadczenia.

Both incompleteness and undecidability are technical notions.

Zarówno niedokończenie jak i nierozstrzygalność są technicznymi pojęciami.

The undecidability of the up and down is mirrored by the general confusion of reflection and object.

Nierozstrzygalność z tam i z powrotem jest odbity przez ogólne zamieszanie odbicia i przedmiotu.

The weaker form of the theorem can be proven from the undecidability of the halting problem as follows.

Bardziej regularna forma twierdzenia może być dowiedziona z nierozstrzygalności niepewnego problemu jak następuje.

This defines a metalanguage stack of increasing capability to resolve undecidability in the autonomous lower levels.

To określa stos metajęzyka podnoszenia zdolności by rozwiązać nierozstrzygalność w niezależnych niższych poziomach.

For proving the undecidability of the word problem in groups he was awarded the Lenin Prize in 1957.

Dla dowodzenia nierozstrzygalności słowa problem grupami mu nagrodzono Lenin Nagroda w 1957.

Chauvenet Prize: the 2011 winner, for his article "Undecidability in number theory"

Chauvenet Nagroda: 2011 zwycięzca, dla jego artykułu "nierozstrzygalność w teorii liczb"

Because of the undecidability of the Halting Problem research in this field cannot reach completeness.

Przez nierozstrzygalność zatrzymywania się trudne badania w tym polu nie mogą osiągać całości.

The novel "works towards an affirmation of the undecidability of identity," which is explored from several angles.

Powieść "stara się osiągnąć potwierdzenie nierozstrzygalności tożsamości," który być zbadać z kilku kątów.