The QED manifesto was a proposal for a computer-based database of all mathematical knowledge, strictly formalized and with all proofs having been checked automatically. (Q.E.D. means quod erat demonstrandum in Latin, meaning "which was to be demonstrated.") == Overview == The idea for the project arose in 1993, mainly under the impetus of Robert Boyer.
The QED manifesto was a proposal for a computer-based database of all mathematical knowledge, strictly formalized and with all proofs having been checked automatically. (Q.E.D. means quod erat demonstrandum in Latin, meaning "which was to be demonstrated.") == Overview == The idea for the project arose in 1993, mainly under the impetus of Robert Boyer.
Source: Wikipedia "QED manifesto" · CC BY-SA 4.0
Share this article: X · Bluesky