Re: Transactions: good or bad?

Costin Cozianu <c_cozianu_at_hotmail.com> wrote:

>Alfredo Novoa 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.