[FOM] The QED Manifesto today

Arnold Neumaier Arnold.Neumaier at univie.ac.at
Thu Jan 22 04:48:48 EST 2009

The QED project for formalizing all of mathematics,
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,
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

More information about the FOM mailing list