Article View: comp.lang.misc
Article #3826Re: Re: Halting Problem Solved! Film at 11! (Was Re: definitions)
From: Chris Dollin
Date: Mon, 13 May 1991 10:15
Date: Mon, 13 May 1991 10:15
20 lines
1523 bytes
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!kersReferences:
<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