Posted per FL's request Norm
-------- Forwarded Message -------- Subject: Dijkstra's argument Date: Sun, 26 Apr 2020 17:31:09 +0200 (CEST) From: fl To: Megill Norman Hi Norm, can you post this. Dijkstra's argument doesn't seem to apply to our problem. He is dealing with finding a good convention to speak of a sequence of natural numbers using <= or <. It is not at all our problem. We don't use order relations to speak of a word. He also says he prefers 0 because when you use the convention 0 <= x < N the bound is N not N +1. Once again it is not our problem: we don't use order relations. Our unique problem is what is better when we concatenate two words. And do we prefer our proofs are cluttered with expressions N - 1 or with the simpler N? -- FL -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to metamath+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/f00aea99-a3e7-489f-a6cb-7a41c7deb9de%40googlegroups.com.