math-fun-bounces@mailman.xmission.com schrieb am 29.09.2007 22:19:49:
I think that the bulk of the initial part of this work would be done by computer scientists & logicians. Only later, when the bulk of the existing math needs to be shoveled in, would mathematicians be more involved.
You might (not yet) be interested in Hilbert II and qedeq by Michael Meyling. It's in its very early stages with some set theory. http://www.qedeq.org Greetings, Dirk Lattermann BGS Beratungsgesellschaft Software Systemplanung AG Niederlassung Köln/Bonn Grantham-Allee 2-8 53757 Sankt Augustin Fon: +49 (0) 2241 / 166-500 Fax: +49 (0) 2241 / 166-680 Aufsichtsratsvorsitzender: Dr. Wolfgang Trommer Vorstand: Hanspeter Gau Hermann Kiefer Nils Manegold Heinz-Jörg Zimmermann Geschäftssitz Mainz Registergericht: Amtsgericht Mainz HRB 62 50 www.bgs-ag.de