Meanings (ES + gloss)
indecidible
Incapable of being algorithmically decided in finite time. For example, a set of strings is undecidable if it is impossible to program a computer (even one with infinite memory) to determine whether or not specified strings are included.
The first-order procedure SP differs from the proposi- tional procedure CP°₁ in an essential feature. Namely, CP°₁ always terminates while SP may run forever as we have seen with t…
Phrases
No hay frases
Word forms
No hay formas