coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Offtopic: Disjoint sets in informal mathematics

From: Victor Porton <porton AT narod.ru>
To: coq-club Club <coq-club AT inria.fr>
Subject: [Coq-Club] Offtopic: Disjoint sets in informal mathematics
Date: Sun, 09 Feb 2014 19:33:44 +0200
Envelope-from: porton AT yandex.ru

Sorry for a not quite on-topic message.

How to deal with disjoint union of several sets in informal mathematics?

In Coq it is easy, but in informal mathematics one traditionally just uses
numeric indexes what is contrary to human perception.

Please give me advise how to denote it in the manuscripts I am writing.

--
Victor Porton - http://portonvictor.org

[Coq-Club] Offtopic: Disjoint sets in informal mathematics, Victor Porton, 02/09/2014