[Skip Navigation] [CSUSB] / [CNS] / [Comp Sci & Eng Dept] / [R J Botting] /[Samples of MATHS] / [maths] / R
[Index] [Contents] [Source Text] [About] [Notation] [Copyright] [Search ]
Thu Sep 25 15:03:37 PDT 2008

Contents


    Realities of maths project

      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 ]
      1. 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.
      2. 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.

End