[FOM] The QED Manifesto today
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
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.
More information about the FOM