Re: Transactions: good or bad?
Date: 13 Jun 2003 02:44:39 -0700
Message-ID: <e4330f45.0306130144.27960dc_at_posting.google.com>
Costin Cozianu <c_cozianu_at_hotmail.com> wrote in message news:<bcaktl$h5o40$1_at_ID-152540.news.dfncis.de>...
> That's non-sense. Go read good old Dijkstra if you can't read Girard in
> French.
Dijkstra has lots of writting, can you be more specifical?
I have not big problems with French. I will look for Girard, but you
could read this:
> Huh, computer make elegant proofs ? You gotta be kidding. I'm affraid
> you fall in the same kind of ignorance you accusing others of.
Are you sure?
Are you aware of the state of the art in automated proving?
Here is a little example:
http://ai.eecs.umich.edu/people/durfee/courses/492winter97/handouts/NY%20Times%20article
It is from 1996 and is not the only case.
More examples:
http://www-unix.mcs.anl.gov/AR/new_results/ http://www.cs.cornell.edu/Nuprl/PRLSeminar/PRLSeminar01_02/Nogin/PRLseminar7b.pdf
Regards
Alfredo
Received on Fri Jun 13 2003 - 11:44:39 CEST