Post #1315661
2023-01-12 15:50 UTC
1/2 Another lovely Dijkstra quote (from "A Discipline of Programming", Prentice Hall 1976)
"Eventually I came to regard nondeterminacy as the normal situation, determinacy being reduced to a—not even very interesting—special case.
…
Replies (1)
-
@nikhil@mastodon.acm.org 2023-01-12 15:50
2/2 Once the mathematical equipment needed for the design of nodeterministic mechanisms achieving a purpose has been developed, the nondeterministic machine is no longer frightening. On the contrary! We shall learn to appreciate it, even as a valuable stepping stone in the design of an ultimately fully deterministic mechanism."