Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Cl-isabelle-users Digest, Vol 117, Issue 33


view this post on Zulip Email Gateway (Aug 19 2022 at 17:28):

From: "W. Douglas Maurer" <maurer@gwu.edu>
My last post "crossed in the mail" with several others. To me the
problem is now the use of the word "chain" in the phrase "uncountable
chain." If you're going to use the analogy between a mathematical
chain and a real chain, then that would be (at most) countable.


Last updated: Apr 19 2024 at 04:17 UTC