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_at_ID-152540.news.dfncis.de>
>
>
> 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.
>
Date: Thu, 12 Jun 2003 12:41:34 -0700
Message-ID: <bcaktl$h5o40$1_at_ID-152540.news.dfncis.de>
Alfredo Novoa wrote:
> Costin Cozianu <c_cozianu_at_hotmail.com> wrote in message news:<bc7qb9$gc69r$1@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.
>
>
> Alfredo
Costin Received on Thu Jun 12 2003 - 21:41:34 CEST