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.

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

  • 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

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

    Willy Takes the Night Train to Heaven

  • 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

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

    Willy Takes the Night Train to Heaven

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

    The Sun Is Not

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

    Koo, The Queen of Nowhere

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

    Constructive Mathematics

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

    Koo, The Queen of Nowhere

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

    Innateness and Language

Comments

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