4 ms·

It seems I made some confusions, you were actually right. Apologies...

• flir 3y ago
  Nah, I think it's good to get the context. I never realised Dijkstra probably had Turing's paper in mind when he said that.