comp.lang.ada
 help / color / mirror / Atom feed
From: "Marin David Condic" <dont.bother.mcondic.auntie.spam@[acm.org>
Subject: Re: Natural data type ?
Date: Thu, 28 Mar 2002 10:40:38 -0500
Date: 2002-03-28T15:40:38+00:00	[thread overview]
Message-ID: <a7vdhm$mc8$1@nh.pace.co.uk> (raw)
In-Reply-To: a7u4as$ec8$1@msunews.cl.msu.edu

In the end, its just a name. A rose by any other name would still give you
sets with and without zero... :-)

MDC
--
Marin David Condic
Senior Software Engineer
Pace Micro Technology Americas    www.pacemicro.com
Enabling the digital revolution
e-Mail:    marin.condic@pacemicro.com


"Chad R. Meiners" <crmeiners@hotmail.com> wrote in message
news:a7u4as$ec8$1@msunews.cl.msu.edu...
> I seriously doubt that someone made a random decision.  There are many
> reasons to define N to include zero, for instance, the positive integers
can
> easily represented as Z^+ while the negative integers may be represented
as
> Z^-.   There is a very nice symmetry with these representations of
disjoint
> sets.  It doesn't make sense to define the natural numbers to simply be
the
> set of positive integer because you then have two competing names for the
> same set.  Thus, it is better for the natural numbers (N) to be a
different
> set from the positive integers (Z^+).  Since zero isn't positive, this
> leaves N as the only candidate for containing zero.
>
> Very likely, whoever made this decision for Ada's data type of natural and
> positive had a similar rational reason for making this choice.  I just
don't
> see the designers flipping a coin or playing paper, scissors, rock to
> determine which data type gets zero ;)  I wasn't around during Ada's
initial
> design process; perhaps someone on comp.lang.ada was, and they know why or
> who made this decision or even if the decision was contested.
>






  reply	other threads:[~2002-03-28 15:40 UTC|newest]

Thread overview: 12+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-03-27  2:13 Natural data type ? Peter I. Hansen
2002-03-27  2:57 ` Chad R. Meiners
2002-03-27 23:18   ` Peter I. Hansen
2002-03-28  3:55     ` Chad R. Meiners
2002-03-28 15:40       ` Marin David Condic [this message]
2002-03-28 16:47       ` Peter I. Hansen
2002-03-27 14:25 ` Marin David Condic
2002-03-28 16:45   ` Peter I. Hansen
2002-03-28 16:30 ` Georg Bauhaus
2002-03-28 16:42   ` Peter I. Hansen
2002-03-28 18:33     ` Darren New
2002-03-29 16:19     ` Georg Bauhaus
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox