Undecidable is a hypernym of zeno.
As adjectives the difference between undecidable and zeno
is that
undecidable is (mathematicscomputing theory) 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 while
zeno is requiring or involving an infinite number of intervals within a finite time.
As a proper noun zeno is
.
undecidable English
Adjective
( )
(mathematics, computing theory) 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 firstorder procedure SP differs from the proposi
tional procedure CP°_{1} in an essential feature. Namely, CP°_{1} always terminates while SP may run forever as we have seen with the example immediately after (3.7). This is not a specific defect of SP. Rather it is known that firstorder logic is an undecidable' theory while propositional logic is a '''decidable''' theory. This means that for the latter there are '''decision pro cedures''' which for any formula decide whether it is valid or not — and CP°_{1} in fact is such a decision procedure — while for the former such decision procedures do not exist in princi ple. Thus SP, according to these results for which the reader is referred to any logic texts such as [End], [DrG] or [Lew], is of the kind which we may expect, it is a '''semidecision''' ' procedure which confirms if a formula is valid but may run forever for invalid formulas. Therefore, termination by running out of time or space after any finite number of steps will leave the question for the validity of a formula unsettled. [...]
(mathematics) (of a WFF'') logically independent from the axioms of a given theory; i.e., that it can ''never'' be either proved or disproved (i.e., have its negation proved) on the basis of the axioms of the given theory. (''Note: this latter definition is independent of any time bounds or computability issues, i.e., more Platonic.)
Antonyms
* decidable
Related terms
* noncomputable

zeno Usage notes
* In English mainly applied to historical persons of Greece.
Adjective
()
Requiring or involving an infinite number of intervals within a finite time.
*
*
*
Related terms
* Zenoness
* Zenonian
* Zenonic
* Zenon
* Zenonism
* Zeno's paradox
Hypernyms
* undecidable, noncomputable
Anagrams
*
