From: Mats Weber <matsw@mail.com>
Subject: Re: Pointer function parameter
Date: Wed, 25 Oct 2000 00:32:03 +0200
Date: 2000-10-25T00:32:03+02:00 [thread overview]
Message-ID: <39F60DE4.8D557DFC@mail.com> (raw)
In-Reply-To: 39F5A744.CB20A0FD@cepsz.unizar.es
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.
next prev parent reply other threads:[~2000-10-24 22:32 UTC|newest]
Thread overview: 27+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-10-19 0:00 Pointer function parameter Mario Amado Alves
2000-10-19 0:00 ` tmoran
2000-10-19 0:00 ` Ted Dennison
2000-10-21 0:00 ` Robert Dewar
2000-10-23 0:00 ` Alejandro Villanueva
2000-10-24 0:00 ` Robert A Duff
2000-10-24 0:00 ` Alejandro Villanueva
2000-10-24 0:00 ` Ted Dennison
2000-10-24 0:00 ` Lutz Donnerhacke
2000-10-24 22:32 ` Mats Weber [this message]
2000-10-30 15:24 ` Robert A Duff
2000-10-30 15:44 ` Ken Garlington
2000-10-30 18:53 ` Florian Weimer
2000-10-31 1:48 ` Robert Dewar
2000-10-31 12:40 ` Ken Garlington
2000-10-31 14:08 ` Larry Kilgallen
2000-11-01 17:59 ` Mats Weber
2000-11-03 0:00 ` Florian Weimer
2000-11-04 0:00 ` RAM size, was " tmoran
2000-10-19 0:00 ` Marin David Condic
2000-10-21 0:00 ` Robert Dewar
-- strict thread matches above, loose matches on Subject: below --
2000-10-16 0:00 Mary
2000-10-17 0:00 ` Gautier
2000-10-17 0:00 ` tmoran
2000-10-17 0:00 ` Mario Amado Alves
2000-10-18 0:00 ` Robert Dewar
2000-10-18 0:00 ` Florian Weimer
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox