Re: [9fans] current state of thread programming

[tlaronde@polynum.com]

On Wed, Jul 30, 2008 at 04:50:39AM -0700, Roman V. Shaposhnik wrote:
> 
> No. But to give you an example of why that shouldn't matter I would
> like to note that the human thought is, in my opinion, finite. Yet,
> we have developed very nice and efficient tools for comprehending and
> reasoning about infinity. 
> 

Like the antinomies that shaked the foundations of Mathematics at the
beginning of the 20th century :-^

And as a side note, I'm always happy when I read papers about AI where
somebody explains that a computer will probably be able (using huge
parallelism perhaps!) to solve problems that a humain being can not
solve.

I.e., that a program, that is instructions; this means, finally, integer
numbers (sequence of bits); that is a projection on arithmetic, will be
able to decide undecidable propositions... (I seem to remember something
about Gödel...)

> P.S. I guess, we are getting way off topic here.
 
Yes, and I will stop there.

Cheers,
-- 
Thierry Laronde (Alceste) <tlaronde +AT+ polynum +dot+ com>
                 http://www.kergis.com/
Key fingerprint = 0FF7 E906 FBAF FE95 FD89  250D 52B1 AE95 6006 F40C