Mizar TWiki discussion, pros and cons, suggestions

For general TWiki discussion, see WikiCulture, Wiki:WhyWikiWorks, TWiki:Main/TWikiPresentations

Mizar specific motivation

• chronic lack of MizarDocumentation^?, nobody wants to spend time on it, it gets outdated very quickly, new users get stressed and deterred; the incremental "users for users" model could make a difference
• "circular" discussions about various features, caused by the lack of documentation ("Yes we discussed this 10 years ago, then forgot about it")
• unclear feature/project^? priorities, caused by low and undocumented knowledge about their interdependence

Cons

• as in any collaboration, the risk that nobody will contribute
• additionaly, the PublishOrPerish^? pressure in science, forcing people to prefer their own publications (cf. the QedManifesto^? Bourbaki-style utopia )
• various MizarWebs^? and MizarMailLists^? exist already, their relation to Mizar Twiki is not clear (depends on authors/users)
• authorities are established, no one will want to edit AndrzejTrybulec^?'s comments

Implementation

• takes most inspiration from the TWiki:Codev web, go there for additioal implementation ideas

Suggestions

• Direct access to Mizar Twiki has been added to the MizarMode

Please contribute

-- JosefUrban - 05 Jul 2002
to top