An Nonempty Thread about the Empty Set

(1/6)
It& #39;s well known that the topologist R.L. Moore didn& #39;t accept the existence of the empty set. For example, in his view, intersection is not totally defined: if two sets have no elements in common, then they simply don& #39;t intersect. (2/6)
My adviser got his PhD from Texas in 1958 under the direction of Hyman Joseph Etlinger. Although he was not Moore& #39;s student, he, like everyone else there, was exposed to Moore& #39;s ideas. He told me the following story. (3/6)
I can& #39;t remember if he himself was the student in question or if it was someone else. It doesn& #39;t really matter, so I& #39;ll tell it like this.

Student: Professor Etlinger, I am very confused about the empty set.

(4/6)
Etlinger: Well, what I want you to do is to imagine the foulest, dirtiest, smelliest camel in the entire world.

S: OK

E: Now as an axiom, I tell you that this camel--who, I remind you, is very offensive to be around--is an element of every set.

S: OK

(5/6)
E: And that means the set whose only element is that camel is a subset of every set, right?

S: Yes

E: OK, but now that camel is just too smelly for us to be able to do anything with it. So let& #39;s just get rid of it. What& #39;s left behind is the empty set.

(6/6)
You can follow @ProfKinyon.
Tip: mention @twtextapp on a Twitter thread with the keyword “unroll” to get a link to it.

Latest Threads Unrolled: