Path: 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: 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 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."