stopprobleem oor Engels

stopprobleem

Vertalings in die woordeboek Nederlands - Engels

halting problem

naamwoord

A decision problem which can be stated as follows: given a description of a program and a finite input, decide whether the program finishes running or will run forever, given that input.

voorbeelde

Zijn diagonaalargument is ook fundamenteel in de oplossing van het stopprobleem en het bewijs van de Gödels eerste onvolledigheidsstelling.
His argument is fundamental in the solution of the Halting problem and the proof of Gödel's first incompleteness theorem.

De notie van Kolmogorov-complexiteit gaat verrassend diep en kan worden gebruikt om onmogelijkheidsresultaten, die verwant zijn aan onvolledigheidsstellingen van Gödel en stopprobleem van Turing te stellen en te bewijzen.
The notion of Kolmogorov complexity can be used to state and prove impossibility results akin to Cantor's diagonal argument, Gödel's incompleteness theorem, and Turing's halting problem.

Met dit resultaat was hij net Alan Turing en diens beroemde werk aangaande het stopprobleem voor, waarin Turing op meer mechanische wijze hetzelfde aantoonde.
This result preceded Alan Turing's work on the halting problem, which also demonstrated the existence of a problem unsolvable by mechanical means.

Dit staat bekend als het stopprobleem.10 De derde reden heeft te maken met het vraagstuk van uniciteit.
This is known as the Halting Problem.10 The third reason is to do with the question of uniqueness.

Bij de consumenten heeft het product van het merk Stopproblem zich goed bewezen.
Among consumers, the product of the Stopproblem brand has proven itself well.

De resultaten tonen aan hoe groot het start-stopprobleem is en hoe belangrijk het nemen van maatregelen is, een van de redenen waarom Castrol dit onderzoek liet uitvoeren.
These results show the size of the stop-start problem and indicate that precautions are necessary, one of the reasons why Castrol commissioned this study.