3 ms·
That's in EWD1175: https://www.cs.utexas.edu/users/EWD/transcriptions/EWD11xx/EWD1175.html https://www.cs.utexas.edu/users/EWD/transcriptions/EWD11xx/E...
by ken 8y ago
That's in EWD1175: https://www.cs.utexas.edu/users/EWD/transcriptions/EWD11xx/EWD1175.html https://www.cs.utexas.edu/users/EWD/transcriptions/EWD11xx/E...
- lostphilosopher 8y agoOk, maybe you can help settle this for me. I know that phrasing appears in EWD1175, but years ago I came across this[1] which claims it was originally a handwritten annotation to EWD498. So that's how I've always cited it (I prefer Dikstra's phrasing to Hoare's.) Some searching today found a wikiquote page[2] which led me here[3] also claiming an EWD498 handwritten annotation as the source. Do you know definitively whether the annotation appears in EWD498? (I thought at one time I actually found an image with the handwritten annotation, but I can't find it at the moment... Maybe I dreamed that...) 1. http://www.cs.virginia.edu/~evans/cs655/readings/ewd498.html http://www.cs.virginia.edu/~evans/cs655/readings/ewd498.html 2. https://en.wikiquote.org/wiki/Talk:Edsger_W._Dijkstra https://en.wikiquote.org/wiki/Talk:Edsger_W._Dijkstra 3. http://web.archive.org/web/200011201643/http://www.cbi.umn.edu/inv/burros/ewd498.htm http://web.archive.org/web/200011201643/http://www.cbi.umn.e...