left up

3. Practical issues

We now move onto issues of system engineering. These largely cut across the divisions which spring up over set theory versus type theory, classical versus constructive logic, and so on. Generally, the same kinds of problems need to be solved in each case, though to be sure, they differ in detail and in severity.


left right up home John Harrison 96/2/22; HTML by 96/4/5