🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.misc
Article #3826

Re: Re: Halting Problem Solved! Film at 11! (Was Re: definitions)

#3826
From: Chris Dollin
Date: Mon, 13 May 1991 10:15
20 lines
1523 bytes
David Gudeman says:

   If you want to get theoretical, then you can _theoretically_ keep
   buying tapes until the world's supply of tape runs out.  Then you can
   manufacture more.  When you use up all the earth's supply of materials
   for making tapes, you can build mining space ships.  

Careful, David; maybe the material for tapes is also an essential part of the
mining ships. What do you do if you can't build the ship because the last
gramme of poly-unobtainable-thene, needed for the scrawlbar-widget on the
pilots desktop, has just been used to record a Very Significant Digit of the
answer (maybe the ships flight plan ...)?

Resource allocation is hard.

--

Regards, Kers.      | "You're better off  not dreaming of  the things to come;
Caravan:            | Dreams  are always ending  far too soon."
Technical Details
Message-ID: <KERS.91May13111546@cdollin.hpl.hp.com>
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!cis.ohio-state.edu!tut.cis.ohio-state.edu!ucbvax!hplabs!otter.hpl.hp.com!hpltoad!cdollin!kers
References: <2861@optima.cs.arizona.edu>

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!cis.ohio-state.edu!tut.cis.ohio-state.edu!ucbvax!hplabs!otter.hpl.hp.com!hpltoad!cdollin!kers
From: kers@hplb.hpl.hp.com (Chris Dollin)
Newsgroups: comp.lang.misc
Subject: Re: Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
Message-ID: <KERS.91May13111546@cdollin.hpl.hp.com>
Date: 13 May 91 10:15:46 GMT
References: <2861@optima.cs.arizona.edu>
Sender: news@hplb.hpl.hp.com (Usenet News Administrator)
Organization: Hewlett-Packard Laboratories, Bristol, UK.
Lines: 20
In-Reply-To: gudeman@cs.arizona.edu's message of 7 May 91 19:16:05 GMT
Nntp-Posting-Host: cdollin.hpl.hp.com