From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=0.6 required=5.0 tests=BAYES_00,FROM_WORDY autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,54e6f3bfd18d2769 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2000-10-31 04:40:50 PST Path: supernews.google.com!sn-xit-02!sn-xit-03!supernews.com!cyclone-sjo1.usenetserver.com!news-out.usenetserver.com!nntp.flash.net!news.flash.net!not-for-mail From: "Ken Garlington" Newsgroups: comp.lang.ada References: <8ss92s$6fs$1@nnrp1.deja.com> <39F473DD.1CBAE902@cepsz.unizar.es> <39F5A744.CB20A0FD@cepsz.unizar.es> <87d7gikvnd.fsf@deneb.enyo.de> <8tl8dv$ldu$1@nnrp1.deja.com> Subject: Re: Pointer function parameter X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4133.2400 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400 Message-ID: Date: Tue, 31 Oct 2000 12:40:50 GMT NNTP-Posting-Host: 216.215.77.231 X-Complaints-To: abuse@flash.net X-Trace: news.flash.net 972996050 216.215.77.231 (Tue, 31 Oct 2000 06:40:50 CST) NNTP-Posting-Date: Tue, 31 Oct 2000 06:40:50 CST Organization: FlashNet Communications, http://www.flash.net Xref: supernews.google.com comp.lang.ada:1655 Date: 2000-10-31T12:40:50+00:00 List-Id: Robert, we've really got to chip in and get you a new newsreader :) In addition to the occasional double-post, it also seems to have trouble keeping the attributions straight. I didn't say any of the text below. "Robert Dewar" wrote in message news:8tl8dv$ldu$1@nnrp1.deja.com... : In article <87d7gikvnd.fsf@deneb.enyo.de>, : Florian Weimer wrote: : > "Ken Garlington" writes: : > : > > : Oh, one last thing: a TM cannot "exist". (Does that fall : under your : > > : definition of "do ANYTHING"?) A TM has an infinitely long : tape, whereas : > > : we can only build machines with finite memories. : : It is not true that a TM has an infinitely long tape (that's : a meaningless idea really), it has a sufficiently long tape. : : And yes, we can build such a machine, we just keep building : more and more tape as it is needed :-) : : That way we can keep the TM computing for as long as we like. : : : Sent via Deja.com http://www.deja.com/ : Before you buy.