QED project

QED project

The QED project was a proposal for a computer-based database of all mathematical knowledge, strictly formalized and with all proofs having been checked automatically. The idea for the project arose in 1993, mainly under the impetus of Robert Boyer. The goals of the project were outlined in the "QED manifesto", an open document which evolved over many years with input from many researchers. A dedicated mailing list was created, and two scientific conferences on QED took place. The first one took place in 1994 at Argonne National Laboratories and the second [http://mizar.org/people/romat/qed95rep.pdf] in 1995 in Warsaw.

The project seems to have died in 1996, never having produced more than discussions and plans. However, the Mizar system implements many of the goals set forth in the QED manifesto. Q.E.D. means "quod erat demonstrandum" in Latin, from Greek "oper edei deixai", meaning "that which was to be demonstrated."

ee also

*List of online encyclopedias
*Mathematical knowledge management

External links

* [http://www-unix.mcs.anl.gov/qed/ QED project main page] , includes a link to the manifesto, conference reports and mailing list archives. (The page was last edited on Monday, October 25, 1999.)


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • QED — may refer to:* Quantum electrodynamics, a field of physics * QED (book), Richard Feynman s book about quantum electrodynamics * Q.E.D. Quod erat demonstrandum , a Latin phrase used at the end of a definitive proof. * QED project, a database of… …   Wikipedia

  • QED (play) — QED is a play by American playwright Peter Parnell, which chronicles (part of) a day in the life of Nobel Prize winning physicist Richard Feynman. It presents scenes from a day in Feynman s life, less than two years before his death, interweaving …   Wikipedia

  • Internet encyclopedia project — An Internet encyclopedia project is a large database of useful information, accessible via the World Wide Web. The idea to build a free encyclopedia using the Internet can be traced at least to the 1993 Interpedia proposal; it was planned as an… …   Wikipedia

  • Mizar system — For the star system, see Mizar (star). The Mizar system consists of a language for writing strictly formalized mathematical definitions and proofs, a computer program which is able to check proofs written in this language, and a library of… …   Wikipedia

  • List of online encyclopedias — This is a list of notable online encyclopedias that are accessible on the Internet. Contents 1 General reference 2 Biography 3 Classical antiquities, arts, and literature 4 …   Wikipedia

  • Philosophy of mathematics — The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of …   Wikipedia

  • List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic …   Wikipedia

  • List of mathematics articles (Q) — NOTOC Q Q analog Q analysis Q derivative Q difference polynomial Q exponential Q factor Q Pochhammer symbol Q Q plot Q statistic Q systems Q test Q theta function Q Vandermonde identity Q.E.D. QED project QR algorithm QR decomposition Quadratic… …   Wikipedia

  • Richard Feynman — Feynman redirects here. For other uses, see Feynman (disambiguation). Richard P. Feynman Richard Feynman at Fermilab Bor …   Wikipedia

  • List of programmers — This list is incomplete; you can help by expanding it. This is a list of programmers notable for their contributions to software, either as original author or architect, or for later additions. Contents: A B C D E F G H I J K L M N …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”