Re: Transactions: good or bad?

From: Costin Cozianu <c_cozianu_at_hotmail.com>
Date: Thu, 12 Jun 2003 12:41:34 -0700
Message-ID: <bcaktl$h5o40$1@ID-152540.news.dfncis.de>

Alfredo Novoa wrote:
> Costin Cozianu <c_cozianu_at_hotmail.com> wrote in message news:<bc7qb9$gc69r$1_at_ID-152540.news.dfncis.de>...
>
>

>>>If people can make proofs, why can't computers? 
>>
>>To quote the great logician Jean-Yves Girard "a cause des ces fichues 
>>idees" (sorry for the lack of accents on my keyboard). In English it's 
>>"because of those bloody ideas" (that they totally do not have). For the 
>>whole delicious paper google on Jean-Yves Girard Les fondements des 
>>Mathematiques.

>
>
> But of course computers can make proofs and they do. There are lots of
> theorems proved by computers, and sometimes the computer solution was
> more elegant than the human solution.
>

That's non-sense. Go read good old Dijkstra if you can't read Girard in French.

Huh, computer make elegant proofs ? You gotta be kidding. I'm affraid you fall in the same kind of ignorance you accusing others of.

>
>
> Alfredo

Costin Received on Thu Jun 12 2003 - 14:41:34 CDT