[FOM] 182:Ideas in Proof Checking 1
mthayer at ts-software.com
Sun Jun 22 15:46:56 EDT 2003
At 10:50 PM 6/21/2003 -0400, Harvey Friedman wrote:
>I have made several postings concerning proof checking, 2:00PM 6/17/03, 11:49PM 6/17/03, 1:04AM 6/21/03. It is now time to write about them more systematically.
>The ideas in these postings can all be viewed as components, or auxiliary packages, for a UNIVERSAL MATHEMATICAL DATABASE (UMD).
There was a project a few years ago called QED, that had a mailing list. I recall that David Mumford was on the list, and several people on FOM as well (Roger Bishop Jones, Randall Holmes, among others). Does anyone here know what ever happened to the QED project, I know there were meetings here in the US, but it seems to have dropped from view. The project web site http://www-unix.mcs.anl.gov/qed/ seems to be dead as of 1996 or so.
More information about the FOM