Re: Transactions: good or bad?
From: Gene Wirchenko <genew_at_mail.ocis.net>
Date: Fri, 13 Jun 2003 23:00:58 GMT
Message-ID: <3eea05e9.696769_at_news.ocis.net>
Date: Fri, 13 Jun 2003 23:00:58 GMT
Message-ID: <3eea05e9.696769_at_news.ocis.net>
Costin Cozianu <c_cozianu_at_hotmail.com> wrote:
[snip]
>> 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.
An early proof system was assigned Newton's Principia and one case came up with a shorter proof.
Sincerely,
Gene Wirchenko
Computerese Irregular Verb Conjugation:
I have preferences. You have biases. He/She has prejudices.Received on Sat Jun 14 2003 - 01:00:58 CEST