[FOM] The QED Manifesto today

Till Mossakowski till at informatik.uni-bremen.de
Fri Jan 23 07:44:02 EST 2009


see http://www.vdash.org/
also relevant: http://afp.sourceforge.net/

> [FOM] The QED Manifesto today
> Von:
> Arnold Neumaier <Arnold.Neumaier at univie.ac.at>
> Datum:
> Thu, 22 Jan 2009 10:48:48 +0100
> An:
> FOM <fom at cs.nyu.edu>
> 
> An:
> FOM <fom at cs.nyu.edu>
> 
> 
> 
> The QED project for formalizing all of mathematics,
>      http://www-unix.mcs.anl.gov/qed/
> is dead for over a decade. But what happened to the spirit of
> the project? Who works today towards the goals expressed in the
> QED manifesto,
>      http://www.rbjones.com/rbjpub/logic/qedres00.htm
> and how?
> 
> 
> I'd like to ask for your personal opinion on which form such a
> project could/should take when started now.
> 
> 
> I'd also appreciate to get pointers (web sites, pdf, ps) to
> 
>   - people currently active in this direction,
> 
>   - past and current projects towards realizing partial goals,
> 
>   - important papers covering the current state of affairs.
> 
> 
> Arnold Neumaier
> http://www.mat.univie.ac.at/~neum/



More information about the FOM mailing list