From: Eliezer S. Yudkowsky (sentience@pobox.com)
Date: Sat Jun 30 2001 - 19:19:31 MDT
Brian Atkins wrote:
>
> "Robert J. Bradbury" wrote:
> >
> > I ran across links on attempts to reconstruct mathematics
> > as a computerized entity. These are known as
> > The QED project: http://www-unix.mcs.anl.gov/qed/
> > and a subset:
> > The Mizar Project: http://mizar.org/
> >
> There was some discussion of this and alternate systems over in SL4
> a while back. Sorry I don't recall the exact thread name. Check:
>
> http://sysopmind.com/archive-sl4/
That's a heck of a large reference... anyway, check late April and early
May for a thread initiated by Ben Goertzel.
-- -- -- -- --
Eliezer S. Yudkowsky http://singinst.org/
Research Fellow, Singularity Institute for Artificial Intelligence
This archive was generated by hypermail 2.1.5 : Sat Nov 02 2002 - 08:08:23 MST