left right UP

What Is To Be Done?

UP

What planning steps should be taken to start the QED project?

Firstenumerate and describe the kinds of things that would be found in the QED system
Secondestablish some `milestones' or some priority list of objectives
Thirdto accumulate the basic mathematical texts that are to be formalized
Fourthto achieve consensus about the statement of the most important definitions and theorems in mathematics
UP First
UP Second
UP Third
UP Fourth

left right UP HOME RBJ created 5/1/96 modified 5/1/96 c