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.3 required=5.0 tests=BAYES_00,FREEMAIL_FROM,
	REPLYTO_WITHOUT_TO_CC 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-24 16:19:53 PST
Path: 
 supernews.google.com!sn-xit-02!sn-xit-03!supernews.com!news.tele.dk!212.74.64.35!colt.net!news-lond.gip.net!news.gsl.net!gip.net!netnews.globalip.ch!news.vtx.ch!not-for-mail
From: Mats Weber <matsw@mail.com>
Newsgroups: comp.lang.ada
Subject: Re: Pointer function parameter
Date: Wed, 25 Oct 2000 00:32:03 +0200
Organization: VTX Services SA
Message-ID: <39F60DE4.8D557DFC@mail.com>
References: <Pine.LNX.4.10.10010191126450.17222-100000@lexis.di.fct.unl.pt>
			<cJGH5.335638$i5.5078954@news1.frmt1.sfba.home.com>
			<8ss92s$6fs$1@nnrp1.deja.com> <39F473DD.1CBAE902@cepsz.unizar.es>
 <wcczojupbc4.fsf@world.std.com> <39F5A744.CB20A0FD@cepsz.unizar.es>
Reply-To: matsw@mail.com
NNTP-Posting-Host: lsne-cable-2-p08.vtxnet.ch
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Mailer: Mozilla 4.75 (Macintosh; U; PPC)
X-Accept-Language: en,pdf
Xref: supernews.google.com comp.lang.ada:1529
Date: 2000-10-25T00:32:03+02:00
List-Id: <comp.lang.ada>

Alejandro Villanueva wrote:
> 
> Robert A Duff wrote:
> 
> > Alejandro Villanueva <190921@cepsz.unizar.es> writes:
> >
> > > You are right! Turing machines can do ANYTHING, ...
> >
> > No, they can't!
> >
> 
> wops! please, explain me that...

They won't make you coffee. No, seriously, there are problems that
cannot be solved using any Turing machine, which means any computer. One
example is the halting problem: you cannot write a program that, given
any program as input, can tell in finite time whether this program will
exit or continue executing forever.