Re: Transactions: good or bad?
From: Alfredo Novoa <alfredo_at_ncs.es>
Date: 12 Jun 2003 08:12:53 -0700
Message-ID: <e4330f45.0306120712.155386c1_at_posting.google.com>
Date: 12 Jun 2003 08:12:53 -0700
Message-ID: <e4330f45.0306120712.155386c1_at_posting.google.com>
Costin Cozianu <c_cozianu_at_hotmail.com> wrote in message news:<bc7qb9$gc69r$1_at_ID-152540.news.dfncis.de>...
>
> 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.
Alfredo Received on Thu Jun 12 2003 - 17:12:53 CEST