| 释义 |
Definition of decidability in English: decidabilitynoun dɪˌsʌɪdəˈbɪlɪti Logic Mathematics The property of a statement, formula, etc., being decidable.
Origin 1930s; earliest use found in Journal of Symbolic Logic. From decidable + -ity, partly after German Entscheidbarkeit. Definition of decidability in US English: decidabilitynoundɪˌsʌɪdəˈbɪlɪti Logic Mathematics The property of a statement, formula, etc., being decidable.
Origin 1930s; earliest use found in Journal of Symbolic Logic. From decidable + -ity, partly after German Entscheidbarkeit. |