🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: alt.folklore.computers
Article #857

Re: At Last! The voice of Reason!

#857
From: d... David Shepherd
Date: Wed, 17 Jan 1990 11:41
14 lines
1269 bytes
In article <30...@shemp.CS.UCLA.EDU> d...@lanai.cs.ucla.edu (David Smallberg) writes:
>Not literally an inconsistency, since "first" and "second" are etymologically
>unrelated to "one" and "two".  "Third" and "three" are related, of course, so
>one hopes that Dijkstra's lists are very short.

I seem to recall that they usually are,  as in:

  case 0: .... proof of case 0
  case 1: .... proof of case 1

  the other cases are left as an exercise to the reader


:-)
Technical Details
Message-ID: <3659@ganymede.inmos.co.uk>
Path: mbox-mo1.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!uakari.primate.wisc.edu!aplcen!uunet!mcsun!ukc!icdoc!inmos!des
References: <50810@bbn.COM> <1484@baird.cs.strath.ac.uk> <3612@ganymede.inmos.co.uk> <30874@shemp.CS.UCLA.EDU> <1990Jan16.104013.15688@jarvis.csri.toronto.edu>

Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!uakari.primate.wisc.edu!aplcen!uunet!mcsun!ukc!icdoc!inmos!des
From: d...@elberton.inmos.co.uk (David Shepherd)
Newsgroups: rec.games.trivia,alt.folklore.computers
Subject: Re: At Last!  The voice of Reason!
Keywords: Decade,bean counters
Message-ID: <3659@ganymede.inmos.co.uk>
Date: 17 Jan 90 11:41:17 GMT
References: <50810@bbn.COM> <1484@baird.cs.strath.ac.uk> <3612@ganymede.inmos.co.uk> <30874@shemp.CS.UCLA.EDU> <1990Jan16.104013.15688@jarvis.csri.toronto.edu>
Sender: ne...@inmos.co.uk
Reply-To: d...@inmos.co.uk (David Shepherd)
Organization: INMOS Limited, Bristol, UK.
Lines: 14
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit