comp.lang.ada
 help / color / mirror / Atom feed
From: lutz@iks-jena.de (Lutz Donnerhacke)
Subject: Re: Pointer function parameter
Date: 2000/10/24
Date: 2000-10-24T00:00:00+00:00	[thread overview]
Message-ID: <slrn8vbeeg.hs.lutz@taranis.iks-jena.de> (raw)
In-Reply-To: 8t4clk$bbs$1@nnrp1.deja.com

* Ted Dennison wrote:
>I believe any "Undecidable problem" by definition can't be solved using
>a Turing machine.

It can be solved but it might take an indefinite time.




  reply	other threads:[~2000-10-24  0:00 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 ` Marin David Condic
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 [this message]
2000-10-24 22:32           ` Mats Weber
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-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 ` tmoran
2000-10-17  0:00 ` Mario Amado Alves
2000-10-18  0:00   ` Robert Dewar
2000-10-18  0:00   ` Florian Weimer
2000-10-17  0:00 ` Gautier
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox