Project Plan Principia Mathematica II
Date: 2002-07-07
Middle run plan
- validation phase of current stage
* write several tests
* define LaTex integration
* complete documentation
+ exact module definition
+ better javadoc (e.g. package descriptions)
+ formal correct html representation
* create comfortable module viewer and editor
+ analysis functions (e.g. for dependencies)
* write much more proofs
* write article about mathematical background
* improve current html converter
+ optional no use of "System" font
+ optional no use of Tables
+ convert included LaTex
* create (configurable) coverters to pdf, tex, txt
* include proof line number as first argument
in LINE
- improvement of logical rules
* multi arguments for AND and OR
* deduction rules
* equivalent formulas
* meta rule: find appropriate rule
- completion of logical rules
* allow subject constants and functions
* allow predicate constants and definitions
* start with set theory
* start "promotion tour"
Next planned actions
1.
- improve module texts
- write project specification
2.
- write converter for creating txt files
- add new rules:
* deduction rule
* multi arguments for AND and OR
- additional functions:
* remove all abbreviations
* create complete proof without any sentence reference