Added to
Favorites
Dictionary
Thesaurus
Word Dynamo
Quotes
Reference
Translator
Spanish
Log In
Sign Up
Introducing a cool
new way to learn!
Related Searches
Undecidable
Definitions
decidable
Nearby Words
Deciban
Decibar
Decibars
Decibecquerel
Decibel (Acoust...
Decibel (KDE)
Decibel (disamb...
Decibel (magazi...
Decibel Audio P...
Decibel Festiva...
Decibel Magazin...
Decibel Meters
Decibel Scale
Decibel Watt
Decibels
Decible
Decibully
Decidability
Decidability (L...
Decidability pr...
Decidable
Decidable (disa...
Decidable langu...
Decidable probl...
Decidable set
Decidable subla...
Decide
Decide Your Des...
Decide!
Decided
Decided to Brea...
Decidedly
Decider
Decidere
Decidete
Deciding Kiss
Deciding Like a...
Deciding Match!...
Decidious
Decidious tree
Decidius Saxa
Decidable
Decidable
[
dih-
sahy
-d
uh
-b
uh
l
]
Show IPA
/
dɪˈsaɪ
də
bəl
/
Show Spelled
The word
decidable
may refer to:
Decision
Decidable language
Decidability (logic)
for the equivalent in mathematical logic
Gödel's incompleteness theorem
, a theorem on the indecidability of languages consisting of "true statements" in mathematical logic.
Recursive set
, a "decidable set" in recursion theory
See also
List of undecidable problems
Wikipedia, the free encyclopedia © 2001-2006
Wikipedia contributors
(
Disclaimer
)
This article is licensed under the
GNU Free Documentation License
.
Last updated on Sunday August 10, 2008 at 19:59:54 PDT (GMT -0700)
View this article at Wikipedia.org
-
Edit this article at Wikipedia.org
-
Donate to the Wikimedia Foundation
Related Articles
Modern Logic: Since Gödel: Decidable and Undecidable Theories
Jan 01, 2006;
MODERN LOGIC: SINCE GÖDEL:
decidable
AND UN
decidable
THEORIES Suppose T is a theory (i.e., a set of sentences) in a...
Read more with a free trial on HighBeam.com »
Shifts with decidable language and non-computable entropy.(Formula)
Nov 01, 2008;
1 Introduction An important numerical quantity associated with a dynamical system is its topological entropy. A natural question...
Read more with a free trial on HighBeam.com »
New decidable upper bound of the second level in the Straubing-Therien concatenation hierarchy of star-free languages.(Report)
Dec 01, 2010;
1 Introduction A well-known result due to Schutzenberger [22] gives a syntactic characterization of star-free regular languages....
Read more with a free trial on HighBeam.com »
Directed figure codes are decidable.(Report)
Jun 01, 2009;
1 Introduction Codes, i.e., subsets X of a monoid such that every product of the elements decomposes uniquely over X, are a...
Read more with a free trial on HighBeam.com »
Deciding whether the ordering is necessary in a Presburger formula.(Report)
Jan 01, 2010;
Introduction Presburger arithmetic is the fragment of arithmetic concerning the integers with addition and order. Presburger's...
Read more with a free trial on HighBeam.com »
HighBeam Research, Inc. © Copyright 2009.
Search
another word
or see
decidable
on
Dictionary
|
Thesaurus
|
Spanish
»
Confusing Words
»
School gear
»
Style guide
»
Literary terms
Style guide
Confusing words
Word of the Day
Free tools
Blog
Games
Partners:
Word
Bloglines
Citysearch
The Daily Beast
Ask Answers
Ask Kids
Life123
Sendori
Home Advisor
Copyright ©
2013 Dictionary.com, LLC
. All rights reserved.
About
PRIVACY POLICY
Terms
API
Careers
Advertise with Us
Contact Us
Suggest a Word
Help
Please
Login
or
Sign Up
to use the Favorites feature
Please
Login
or
Sign Up
to use the Recent Searches feature
FAVORITES
RECENT