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

Next message: Tyler Emerson: "RE: Need remarkable sayings for new SIAI site buttons"
Previous message: Ben Goertzel: "RE: I'm making my move! A new AGI Project is born"
In reply to: Marc Geddes: "RE: I'm making my move! A new AGI Project is born"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]

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

Next message: Tyler Emerson: "RE: Need remarkable sayings for new SIAI site buttons"
Previous message: Ben Goertzel: "RE: I'm making my move! A new AGI Project is born"
In reply to: Marc Geddes: "RE: I'm making my move! A new AGI Project is born"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]

This archive was generated by hypermail 2.1.5 : Tue Feb 21 2006 - 04:22:35 MST