Re: Transactions: good or bad?

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:

Artificial Intelligence: A Philosophical Introduction by Jack Copeland (Paperback - November 1993)

http://www.amazon.com/exec/obidos/tg/detail/-/063118385X/qid=1055496292/sr=1-1/ref=sr_1_1/104-6927268-4867955?v=glance&s=books

There is a second hand copy for $10. It worths a while.

> 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

IMO computers are better equipped for symbolic logic than humans. It is only a time issue, perhaps a lot of time.

Regards
  Alfredo Received on Fri Jun 13 2003 - 04:44:39 CDT