谈谈使用ProofWiki的感受

hbghlyj

abababa 发表于 2023-1-27 07:57
如题。有时想找一些定理、命题，小结论之类的，可以专门去那个版块找，还能引用。
最好是弄成每个主题就一 ...

定理证明可以存档到ProofWiki，例如我新建的页面Sobolev Space is Banach Space
定理的证明之间是互相链接，如果在读证明时，忘记了其中使用的一个更基本的定理的证明，可以循着链接向上找，挺好的。每个页面都有很多链接，即使是很基本的概念也有链到页面。有助于学习者查阅。

但這網站比Wikipedia多了很多的規矩和條條框框：

管理员是Prime Mover，每天都能看见他新建和编辑页面。
但他好像对于源代码的可读性太苛责了，有几次都说我没使用ProofWiki特制的MediaWiki模板，或者LaTeX没使用ProofWiki特制的LaTeX命令之类的，然后他会逐一修改，后来他留言说失去耐心了，说我写的总是不合要求，他还有更多的事去做之类的，但是其实我觉得这些写的本来就已经可以读了，不需要编辑了……

哦，这个网站也用MathJax，且自定义了一些LaTeX命令，但不是为了写得更方便，而是为了源代码可读性。这样即使MathJax能正确渲染，也不能把别处的LaTeX直接粘贴到ProofWiki中，而是必须使用他们定义的命令来重写。

他不允许外部链接，只能引用书籍、期刊出版物。有几次我或别人写的引用其它网站的链接都被他删了。他说「不允许外部链接」。尤其是MathStackExchange链接会被删。

即使是自己创建的条目，修改标题也很麻烦，因為普通的用户没有权限，需要加一个模板来建议修改标题，然后等待管理员处理。他说，等到用户的持续贡献很长时间高质量的内容，才授予用户相应的权限。

還有，他不喜歡用户在頁面上做很多次的小修改，有幾次問我：做了這麼多次修改使他管理很難。怎麼還不使用沙盒？

hbghlyj

像其它Wiki一样，可以追溯每位编辑者的更改，可以显示最近更改，可以按用户、页面、时间段筛选更改。
每个百科页都附带一个讨论页。可以Add Topic进行话题讨论。

MediaWiki的Category类似于Discuz的Tag，但是比Tag更好的是，它可以在 Category下面创建Subcategory，层层嵌套的。也有专门的页面可以显示该Category下的页面。

还有MediaWiki的Namespace，类似于Discuz的版块。香蕉空间有3个Namespace：百科、讲义、小文章。而ProofWiki也有很多Namespace，有Definition、Example、Mathematician等等

hbghlyj

abababa 发表于 2023-1-27 07:57
最好是弄成每个主题就一个帖子，不能回帖的，不然回帖有时看着太乱。

Wiki页面顶部有一個Discussion按钮，围绕这个词条来创建话题和回帖，使词条內容和讨论得以分离。

hbghlyj

abababa 发表于 2023-1-27 07:57
可以专门去那个版块找，还能引用。

Wiki的引用很方便，用双方括号，例如[[Riesz-Fischer Theorem]]就能创建指向Riesz-Fischer Theorem词条的内部链接。

hbghlyj

hbghlyj 发表于 2024-2-24 17:05
例如AoPS論壇的帳號ID可以用來登錄AOPS Wiki並編輯

Category是 MediaWiki 的一项软件功能，是一种用于对相关页面和媒体进行分组的特殊页面。
您可以通过向内容文本添加一个或多个类别标签来对页面和文件进行分类。
这些标签会在页面底部创建链接。
类别下可以建立子类别，具有层次结构。

hbghlyj

hbghlyj 发表于 2024-2-24 17:05
AOPS論壇的帳號ID可以用來登錄AOPS Wiki並編輯
（例如，我剛才編輯了https://artofproblemso ...

AoPS wiki 公式支持 $...$ LaTeX 语法，也支持类似 Wikipedia 的 <math>...</math> 标签

hbghlyj

hbghlyj 发表于 2024-2-24 17:05
AOPS論壇的帳號ID可以用來登錄AOPS Wiki並編輯
（例如，我剛才編輯了https://artofproblemso ...

AoPS wiki支持插入图片附件或通过 <asy>...</asy> 标签插入 Asymptote 编码的图形。既允许上传拍照，又方便创建平面几何图形。