Translation of "computability" to Dutch language:
Dictionary English-Dutch
Computability - translation :
Examples (External sources, not reviewed)
| The development ... leads to ... an identification of computability with effective calculability. | Deze stelling is eigenlijk een hypothese, aangezien deze nooit bewezen zal kunnen worden. |
| The computability of a problem is closely linked to the existence of an algorithm to solve the problem. | Een belangrijke techniek bij het bepalen of een probleem berekenbaar beslisbaar is is reductie . |
| Because of their close connection with computer science, this idea is also advocated by mathematical intuitionists and constructivists in the computability tradition (see below). | Vanwege hun nauwe band met de informatica wordt dit idee ook bepleit door wiskundige intuïtionisten en constructivisten in de berekenbaarheids traditie (zie hieronder). |
| In computability theory, the Ackermann function, named after Wilhelm Ackermann, is one of the simplest and earliest discovered examples of a total computable function that is not primitive recursive. | De Ackermannfunctie (genoemd naar Wilhelm Ackermann) is een voorbeeld van een totale, berekenbare functie die niet primitief recursief is. |
| During this year, Gödel also developed the ideas of computability and recursive functions to the point where he was able to present a lecture on general recursive functions and the concept of truth. | Tijdens dat jaar ontwikkelde Gödel zijn ideeën over de berekenbaarheid van recursieve functies, en hield een lezing over de algemene recursieve functies en het idee 'waarheid'. |
| In algorithmic information theory (a subfield of computer science and mathematics), the Kolmogorov complexity (also known as descriptive complexity, Kolmogorov Chaitin complexity, algorithmic entropy, or program size complexity) of an object, such as a piece of text, is a measure of the computability resources needed to specify the object. | De Kolmogorov complexiteit of algoritmische complexiteit (ook bekend als de beschrijvende complexiteit, Kolmogorov Chaitin complexiteit, stochastische complexiteit, algoritmische entropie of programmagrootte complexiteit) is de mate waarin een model of systeem in wiskundige of algoritmische termen beschreven kan worden. |
