Translation of decidable from English into Dutch
Adjective
computer science
- The problem is decidable by the algorithm.Het probleem is beslisbaar door het algoritme.
logic
- In this theory, the statement is decidable.In deze theorie is de uitspraak beslisbaar.
Synonyms and analogies of decidable in English
Examples of decidable in a sentence
This class of problems is decidable using the new method. The problem is decidable within this logical framework. Decidable propositions simplify the proof process.
Translations of "decidable" in Context ordered by category and frequency
The theory of Abelian groups is decidable, but that of non-Abelian groups is not.
De theorie van de Abelse groepen is wel beslisbaar, maar die van de niet-abelse groepen is dat niet.
decidable: Examples and translations in context
Lack of agreement can have only two causes: the object on which agreement is sought is by its very nature not decidable even only as more or less likely than rivals, given our present knowledge about it.
Uitblijven van een akkoord kan slechts twee oorzaken hebben. Het object waarop overeenkomst is gezocht is door zijn aard niet beslisbaar, zelfs niet als meer of minder waarschijnlijk, gegeven de huidige stand van onze kennis.
In A decision method for elementary algebra and geometry, Tarski showed, by the method of quantifier elimination, that the first-order theory of the real numbers under addition and multiplication is decidable.
In A decision method for elementary algebra and geometry liet Tarski door middel van de methode van kwantoreneliminatie zien dat de eerste ordetheorie van de reële getallen onder optelling en vermenigvuldiging beslisbaar is.
This is a very curious result, because Alonzo Church proved in 1936 that Peano arithmetic (the theory of natural numbers) is not decidable.
Dit is een zeer merkwaardig resultaat, omdat Alonzo Church in 1936 bewees dat de Peano-rekenkunde (de theorie van de natuurlijk getallen) niet beslisbaar is.