Projet de QED
Le projet du QED était une proposition pour une encyclopédie sur ordinateur et la base de données de toute la connaissance mathématique du , strictement formalisée et avec toutes les preuves ayant été vérifiées automatiquement. L'idée pour le projet a surgi dans le 1993 , principalement sous l'impulsion du Robert Boyer . Les buts du projet ont été décrits dans le " ; Manifesto" de QED ; , un document ouvert qui a évolué sur beaucoup d'années avec l'entrée de beaucoup de chercheurs. Une liste d'adresses consacrée a été créée, et conférences scientifiques deux sur QED ont eu lieu. Le premier a eu lieu dans le 1994 aux laboratoires nationaux d'Argonne de et la seconde dans le 1995 dans le Varsovie .
Le projet semble être mort dans le 1996 , jamais ayant produit plus que des discussions et des plans. Cependant, le système de Mizar de met en application plusieurs des buts déterminés dans le manifeste de QED. signifie le demonstrandum d'erat de Quod de dans le latin, du deixai grec d'edei d'opération de du , signifiant le " ; ce qui était d'être demonstrated.
| Random links: | L'âge des machines spirituelles | Codage dur | Erik Benzelius | Chemin de fer de fleuve de Raritan | Proyecto_de_QED |