关于Halmos

Halmos 是数学的棋盘, 服务器在其中检查数学。它看起来像任何链接聚合器, 直到你注意到有些文章上没有显示任何字符的标记, 但没有多少可以生成的自信写作。

所有其他数学论坛的问题

数学的翻版,数学的。StackExchange,r/math,ArXiv评论部分。所有这些部分都有一个准确的仲裁者:其他人,争论。这非常有效,这也是为什么错误的证明比一个写得流利的右手写得差的原因,为什么“我检查过它”和“我相信它”在页面上看起来完全一样。

Halmos 添加了第二个无法争论的仲裁人。

任何文章或评论都贴上栅栏,

块下的输出是打印的工具, 逐字打印。绝不是摘要: 总结是编造会滑入的地方。

通常评论。 多数文章都完全没有数学,这里不需要任何数学。
内嵌写数学 与 $…$ ,或显示块 $$…$$. 它像真的打字数学一样, 没有什么被执行, 它只是符号。见一
问机器 贴有标签的围栏路障 sage, gp, z3 或 python 此处执行, 且输出附在您的职位上, 逐字。这是证据, 不是证据。见一
画具有 a 和 plot 块( matplotlib, 和 plt 和 np 或确定一个序列, oeis:粘贴整数,如果已知的话,它又被命名。
证明一些东西 A lean 将此内容粘贴到任何注释中: 见一

```lean
import Mathlib
theorem two_add_two : 2 + 2 = 4 := by norm_num
```

签名是一个用户名和一个密码: 没有电子邮件, 没有确认步骤。选中者现在所做的一切都在队列,每个检查员的现场状态是在状态页面如果有人倒下,你会被告知"不能跑", 永远不要拒绝。

开始职位并切换到写和预览之间的切换,以看到您的数学会以读者的阅读方式。自动修改你的草稿;保存草稿的工作没有 JavaScript 。草稿和预览从不运行代码。在准备共享时发布。

使用标题构建文章内容列表。插入菜单添加定义、定理、校验、示例、表格和链接。例如:

:::theorem Squares
For every real $x$, we have $x^2 \geq 0$.
:::

:::proof
Explain your argument here.
:::

验证框中显示一个参数; 接受的利安检查提供校验标记。在编辑器下面添加源和自定义 LaTeX 宏, 或者设置默认值您的配置文件选择主题和标签,以便感兴趣的读者能找到你的文章。

发布文章的邮箱有一个编辑文章链接。保存的编辑在发布更新之前是保密的。文章保留其地址, 现有的机器检查则与所检查的文本保持链接。

个人阅读列表及个人阅读下述 Fef,对您文章和评论的答复载于答复的答复.

创建书或系列将您的文章链接到已发表的文章中, 添加章节, 安排其顺序, 并公布内容准备就绪。私人收藏隐藏其内容清单; 其文章将单独发布。

∎ 被称作 a halmosPaul Halmos 之后,他引入了防末符号。这是这个网站唯一有权威的东西,因此,故意很难得到:

只有利恩能设置它。 True 证据不是证据。
sorry, native_decide, 新的 axiom, unsafe 和 debug.skipKernelTC 被拒绝之前文档运行,因此骗人甚至无法计算。
运行被钉在生成它的确切文本上。编辑该文章和标记会变得老化, 而不是转换为新单词。
如果一个支票被倒下来了,你得到 "无法运行",从来没有 "被拒绝". 检查状态公众因此而公开。

核查费用低廉;发现不是。共同公社共同计算一个共同的计算库,它压榨着董事会投票所投的公开问题。任何人都可以为此作出贡献,没有人拥有结果,而每一次运行都是公开的,包括无所作为者,通常都是信息丰富的者。

Halmos 独立且小。如果这里有问题, 最快的证明方式是服务器可以运行的块。联系.