Greeting. Dijkstra wrote that even a few lines of seemingly simple code can be hopelessly ambiguous. In at least one work that I canโt find now to save my life, he gave a small sample program to demonstrate this ambiguity. Can someone point me to his article where he includes one of these examples?
source
share