Each Play button uses your device's default local English voice, or a natural local fallback. The selected voice name appears after playback. This is synthesized speech, not a source recording.
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.
Definition source: English Wiktionary via Wiktextract
Usage: not-comparable
Topics: computing, computing-theory, engineering, mathematics, natural-sciences, physical-sciences, sciences
No example sentence was provided for this meaning.
Meaning relationships
Synonyms: none provided
Antonyms: none provided
(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.)
Definition source: English Wiktionary via Wiktextract
Usage: not-comparable
Topics: mathematics, sciences
No example sentence was provided for this meaning.
Meaning relationships
Synonyms: none provided
Antonyms: none provided
Etymology tree English un- English decide Proto-Indo-European *-tḗr Proto-Indo-European *-dhlom Proto-Indo-European *-dhlis Proto-Italic *-ðlis Latin -bilis Latin -ābilis Old French -ablebor. Middle English -able English -able English decidable English undecidable From un- + decidable.
Across languages
Translations
8 source translations are retained for this English entry.
-
Czech:
nerozhodnutelný
— incapable of being algorithmically decided
-
Finnish:
ratkeamaton
— incapable of being algorithmically decided
-
German:
unentscheidbar
— incapable of being algorithmically decided
-
Hebrew:
אי־כריע
(í-karí'a)
— incapable of being algorithmically decided
-
Polish:
nierozstrzygalny
— incapable of being algorithmically decided
-
Romanian:
nedecidabil
— incapable of being algorithmically decided
-
Serbo-Croatian:
neodlučiv
— incapable of being algorithmically decided
-
Spanish:
indecidible
— incapable of being algorithmically decided
