From: Paul Rubin <no.email@nospam.invalid>
Subject: Re: What is the history behind Natural'First = 0 ?
Date: Mon, 04 May 2020 01:50:19 -0700
Date: 2020-05-04T01:50:19-07:00 [thread overview]
Message-ID: <877dxsozhw.fsf@nightsong.com> (raw)
In-Reply-To: 87ftcg2yip.fsf@nosuchdomain.example.com
Keith Thompson <Keith.S.Thompson+u@gmail.com> writes:
> The 1980 edition had the same thing. I know there was another
> preliminary version in 1982 (before the first official standard in
> 1983), but I don't know what it said.
In math nowadays, "natural numbers" and ordinals are generally
considered to begin with 0 rather than 1. I think that reflects a
cultural change that might have been taking place around the 1980s.
There is some discussion here:
https://en.wikipedia.org/wiki/Natural_number#Modern_definitions
next prev parent reply other threads:[~2020-05-04 8:50 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-05-01 4:51 What is the history behind Natural'First = 0 ? reinert
2020-05-01 7:52 ` J-P. Rosen
2020-05-01 8:38 ` AdaMagica
2020-05-01 10:24 ` J-P. Rosen
2020-05-01 19:03 ` Keith Thompson
2020-05-01 21:36 ` Robert A Duff
2020-05-03 20:08 ` Keith Thompson
2020-05-04 3:02 ` Keith Thompson
2020-05-04 8:50 ` Paul Rubin [this message]
2020-05-04 14:22 ` Dennis Lee Bieber
2020-05-01 10:13 ` Jeffrey R. Carter
2020-05-01 18:14 ` Optikos
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox