On The Possibility of Implementing Unbounded Nondeterminism
Edsger Dijkstra argued that it is impossible to implement systems with unbounded nondeterminism. For this reason, Tony Hoare suggested that "an efficient implementation should try to be reasonably fair."
Read more about this topic: Unbounded Nondeterminism
Famous quotes containing the word possibility:
“Theoretically, I grant you, there is no possibility of error in necessary reasoning. But to speak thus “theoretically,” is to use language in a Pickwickian sense. In practice, and in fact, mathematics is not exempt from that liability to error that affects everything that man does.”
—Charles Sanders Peirce (1839–1914)