Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License.

  • noun logic, computer science the state or condition of being decidable.

Etymologies

Sorry, no etymologies found.

Support

Help support Wordnik (and make this page ad-free) by adopting the word decidability.

Examples

  • The study of Boolean algebras has several aspects: structure theory, model theory of Boolean algebras, decidability and undecidability questions for the class of Boolean algebras, and the indicated applications.

    The Mathematics of Boolean Algebra Monk, J. Donald 2009

  • However, in contrast to the concepts of ordinary logic, this system is extended by the concept of “simultaneous decidability” which is characteristic for quantum mechanics [1932, p. 253].

    Puppet X: 1 2009

  •   "We are lacking canons of decidability on that issue."

    Willy Takes the Night Train to Heaven 2009

  • The elimination of quantifiers became a main method in mathematical logic to prove decidability, and proving decidability was stated as the main problem of mathematical logic in Hilbert and Ackermann

    The Algebra of Logic Tradition Burris, Stanley 2009

  • "We are lacking canons of decidability on that issue."

    Willy Takes the Night Train to Heaven 2009

  • Scott established the completeness and decidability of various axiomatic tense logics.

    The Sun Is Not 2009

  •   "We are lacking canons of decidability on that issue."

    Koo, The Queen of Nowhere 2009

  • We are forced to conclude that, under the very natural decidability interpretation of P

    Constructive Mathematics Bridges, Douglas 2009

  • "We are lacking canons of decidability on that issue."

    Koo, The Queen of Nowhere 2009

  • “Some decidability results on grammatical inference and complexity”, Information and Control, 20:

    Innateness and Language Cowie, Fiona 2008

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.