Introduction
There are many pages. Some pages are samples of applications, some
are part of a repository of mathematcs, some define the underlying logic
(including methods of proof), and some define the notation (Syntax and
semantics) used.
MATHS documents have many internal and external links. Each theorem
has a link to its proof. Each defined term links to its definition.
Each name of a mathematical system has a link to its definition.
MATHS is a a source code that can be translated into various mark up
languages such a HTML and TeX. The generated HTML takes up twice the
disk space as the source code.
Some can not be trusted to use the pages as planned
Evidence: every week or so someone submits a piece of HTML
with an invalid addres and irrelevant subject and links to
porn, advertising, drugs and other non-mathematical stuff.
Examples:
[ 001123.html ]
(Coding Horror blog "Designing For Evil", May 2008).
[ 001171.html ]
(Coding Horror blog , September 23, 2008
"Cross-Site Request Forgeries and You")
A Group Is Its Own Worst Enemy
[Skirky03]
[ group_enemy.html ]
- Social and technical issues are intertwingled: they can not be separated niether does the technical drive the social.
The system will have antics -- emergent properties.
There will be a formal rules and informal rules.
- Members are not just users.
There will be an onion structure.
Example: reader -> anonymous coward -> named person -> moderator.
The Core subgroup love and weed the garden that others wander through (and vandalize?). = Volunteer fire department.
One user = one vote does not work when any wandering visitor can be a user.
Number of external links
One page -- the bibliography of softwre development has over 113 distinct
sites in "http" URLs.