From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,86d333341f490421,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-03-26 18:13:45 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!news.tele.dk!small.news.tele.dk!193.162.153.118!news.tele.dk!not-for-mail
Message-ID: <3CA12AD4.2030807@oek.dk>
Date: Wed, 27 Mar 2002 03:13:40 +0100
From: "Peter I. Hansen" <pih@oek.dk>
User-Agent: Mozilla/5.0 (X11; U; FreeBSD i386; en-US; rv:0.9.9) Gecko/20020320
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Natural data type ?
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Organization: TDC Internet
NNTP-Posting-Host: 195.215.62.2
X-Trace: 1017195224 dread03.news.tele.dk 87817 195.215.62.2
X-Complaints-To: abuse@post.tele.dk
Xref: archiver1.google.com comp.lang.ada:21709
Date: 2002-03-27T03:13:40+01:00
List-Id: <comp.lang.ada>

Hello

I'm new to Ada and I'm reading a book by Feldman & Koffman.
Now I see that the datatype 'Natural' is the integers {0,1,2,3,4,...}, 
and type Positive is {1,2,3,4,5,....}. I know this is all akademic, but 
why this definition.
We learn in mathematics that the natural numbers are positive integers 
not including zero..., So to me the 'Natural' way of defining these 
datatypes would be :

Natural :  {1,2,3,4,5, ... }
Positive : {0,1,2,3,4, ... }

Am I all wrong here or have I stumbled across a misprint ???

/Peter