RE: I'm making my move! A new AGI Project is born

From: Ben Goertzel (ben@goertzel.org)
Date: Mon Apr 05 2004 - 06:42:04 MDT


Ah... In my previous post I forgot to mention the Isabelle
theorem-prover

This is an old paper:

http://citeseer.ist.psu.edu/paulson89foundation.html

Some googling should reveal what the project has been up to lately.

I know they've been working towards using Isabelle for formal
verification of Java program correctness:

http://isabelle.in.tum.de/Bali/papers/MOD99.html

-- Ben G



This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:46 MDT