Re: AI and mathematics: Proofs

From: Bryan Moss (bryan.moss@btinternet.com)
Date: Fri Jul 21 2000 - 18:34:50 MDT

Next message: CYMM: "Humanscale cognitive Natural Language entities by 2005..."
Previous message: \[ Robert-Coyote \]: "Re: Fast-acting 5-HTP supplementation for accute despair"
In reply to: GBurch1@aol.com: "COMP: AI and mathematics: Proofs"
Next in thread: James Wetterau: "Re: COMP: AI and mathematics: Proofs"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]

Automated Deduction. See,

http://www-unix.mcs.anl.gov/AR/

I think most proofs are assisted, although some claim not to be.

BM

Next message: CYMM: "Humanscale cognitive Natural Language entities by 2005..."
Previous message: \[ Robert-Coyote \]: "Re: Fast-acting 5-HTP supplementation for accute despair"
In reply to: GBurch1@aol.com: "COMP: AI and mathematics: Proofs"
Next in thread: James Wetterau: "Re: COMP: AI and mathematics: Proofs"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]

This archive was generated by hypermail 2.1.5 : Fri Nov 01 2002 - 15:30:06 MST