Otherwise, the problem is called undecidable.
|
D’altra manera, el problema s’anomena indecidible.
|
Font: Covost2
|
On the other hand the problem is undecidable.
|
D’altra banda, el problema és indecidible.
|
Font: Covost2
|
For instance, type inference with polymorphic recursion is known to be undecidable.
|
Per exemple, se sap que la inferència de tipus amb recurrència polimòrfica és indeterminable.
|
Font: Covost2
|
They often extend their work from unresolved historical narratives that demand forms of approach that are materially, temporally and aesthetically undecidable.
|
Sovint eixamplen la seva obra a partir de narracions històriques no resoltes, les quals exigeixen un tractament material, temporal i estètic indecidible.
|
Font: MaCoCu
|
There has been a lot of work on automated reasoning procedures for checking satisfiability but it is well known that the problem of reasoning with integrity constraints and derivation rules in its full generality is undecidable.
|
Hi ha hagut molta feina en procediments de raonament automatitzats per comprovar la satisfacció, però és ben sabut que el problema del raonament amb restriccions d’integritat i regles de derivació en la seva generalitat és indecidible.
|
Font: MaCoCu
|
Unfortunately, this problem is undecidable in general.
|
Malauradament, aquest problema és indecidible en general.
|
Font: AINA
|
It is undecidable whether two transducers are equivalent.
|
Saber si dos transductors són equivalents no és decidible.
|
Font: wikimatrix
|
Distributed Asynchronous Games With Causal Memory are Undecidable
|
Els jocs asincrònics distribuïts amb memòria causal són indecidibles
|
Font: AINA
|
Quantified provability logic is known to be undecidable.
|
Se sap que la lògica de demostrabilitat quantificada és indecidible.
|
Font: AINA
|
In fact, many problems in this area are undecidable.
|
De fet, molts problemes en aquesta àrea són indecidibles.
|
Font: AINA
|
Mostra més exemples
|