Re: Is the empty set a number?



On 2008-04-08, in sci.math, Herman Rubin wrote:
We cannot talk about what IS a number, but only what REPRESENTS a
number.

Numbers are prior to any representation. In particular, our
understanding of the naturals, and other such finitary inductively
defined stuff, is more fundamental than any set theoretic
representation. That the empty set happens to be the representation of
0 in this or that set theoretic reduction is just a technical
artefact, and does not in any way entail that 0 is a set.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.



Relevant Pages

  • Particles and Group Representations
    ... My goal is to have a clear conceptual understanding of what it means ... I understand the basics of group theory, representation theory ... I understand how various Lie groups act on the state spaces ...
    (sci.physics.research)
  • Re: error in simple loop !!
    ... This is closely related to your DO loop problem and understanding it is ... approximation available in the particular binary representation being ... That conversion ...
    (comp.lang.fortran)
  • Re: No regrets (Was: something about respect)
    ... > in your mind, as a theoretical entity, and on the screen as program ... representation. ... To my understanding, numbers cannot exists without ... If the so called "actual" infinity is defined by means of an elastic ...
    (sci.math)
  • Re: COMP vs. COMP-5
    ... >I just need a sanity check on my understanding of COMP, ... >understanding is that, in terms of value representation, these two are ... >That is, if I'm confronted with a compiler that does not like COMP-5, I ... >can just change things to COMP without having to rethink my PIC clauses. ...
    (comp.lang.cobol)
  • Re: Meaning of memset
    ... I can't speak for the consensus; this is just my understanding of what ... the standard says. ... representation of 'a+1' and 'b-2' and I'd say it does. ...
    (comp.lang.c)