这个{{未经证实的陈述}}模板使用OEIS Wiki实用程序模板
并允许一致地呈现猜想,假设,论文和反驳整个OEIS Wiki。它还将文章分类为
如果status=被驳斥,
用法
- {{未经证实的声明|类=班|ID编号=身份证件|姓名=名称|作者=作者|年=年|声明=陈述|状态=地位}}
哪里
- 班是(未验证语句的)类,即。猜想(默认),假设和论文;
- 身份证件是可选ID(例如。C1类)也可以通过在其前面加上类(例如。#推测C1);
- 名称是猜想/假设/论文的可选名称(例如。哥德巴赫猜想);
- 作者是提出猜想/假设/论文(例如:。哥德巴赫);
- 年是猜测/假设/论文的可选出版年份(例如。1742);
- 陈述是猜想/假设/论文的陈述;
- 地位是猜想/假设/论文的状态,即。未经证实的(默认),证明或被驳倒的.
示例
在1742年6月7日的一封信中,[[克里斯蒂安·戈德巴赫]]首次向[[利昂哈德·尤勒]]提出了“哥德巴赫猜想”。(...){{未经验证的语句|class=推测|ID=C1|name=Goldbach{{'}}猜想|author=[[克里斯蒂安·戈德巴赫|Goldbach]]|年份=1742|语句=每一个大于或等于4的[[偶数|偶数]]都是两个[[素数|素数]]的和,<ref>Thomas Koshy,“应用的初等数论”。哈考特学术出版社(2002):第116页。</ref>每一个大于或等于7的[[奇数|奇数]]都是三个素数的和<ref>Clawson(1996):第236页。此外,每一个大于或等于6的偶数都是两个奇数素数的和,而每一个小于或等于9的奇数都是三个奇数质数的和。}}
哥德巴赫猜想是由克里斯蒂安·哥德巴赫到利昂哈德·尤勒在1742年6月7日的一封信中。(...)
猜想C1(哥德巴赫猜想,1742)。 (哥德巴赫)
每偶数大于或等于4是2的和素数,[1]每奇数大于或等于7是三个素数的和。[2]此外,每一个大于或等于6的偶数是两个奇数素数的和,而每一个小于或等于9的奇数是三个奇数质数的和。
默认类示例
{{未经验证的语句|类=|ID=U1|name=一些未经验证的语句名称|author=某个作者|年=|语句=|状态=}}
命题U1(一些未经验证的语句名)。 (一些作者)
需要声明! (添加语句) [3]
猜想示例
{{猜想|ID=C1|name=一些推测名称|author=某个作者|语句=推测语句。|status=推测状态}}
猜想C1(一些猜想的名称)。 (一些作者)
推测语句。
假设示例
{{假设|ID=H1|name=一些假设名称|author=某个作者|语句=假设陈述。|status=假设状态}}
假设H1(一些假设名称)。 (一些作者)
假设陈述。
论文示例
{{论文|ID=T1|name=论文名称|author=某个作者|语句=主旨句。}}
论文T1(一些论文名称)。 (一些作者)
主旨句。
代码
待办事项(其他模板) [4].
<noinclude>{{Documentation}}</noinclude><includeonly><--使用此模板的模板:猜想、假设、论文要做的其他模板(这些模板不涉及证明):算法、猜想、假设、论文、原理、定律、定义、符号--><blockquote class=“{{#if:---->{{#if:{{{class|}}|''{ucfirst:{lc:{{classe}}}}|'''命题}}{#if:{{ID|}}}|{{ID}}}{{#if:{{name|}}}}|}}.''<---->{{#if:{{{author|}}|''({{auther}})''}}{#if:{{name|}}}|{nl|2}}}<!---->{{#if:{{语句|}}|{{声明}}|statement REQUIRED!{{To-do|add语句}}}<!--********未经验证**********{{nl|2}}“证明。”{{#if:{{{proof|}}|{{proof}}}□|这里有证据。□{{待办|证明}}}--></blockquote><!---->{{开关:{{if:{{class}}}{lc:{{classe}}}}猜想}}|推测=[[类别:包含推测的文章]]|假设=[[类别:包含假设的文章]]|论文=[[类别:包含论文的文章]]}}<!-- -->{{开关:{{if:{{status}}|{lc:{{status}}}}|unproved}}|未经验证=|已证明=|反驳=[[类别:包含反驳的文章]]}}</仅包括>
另请参见
笔记
- ↑ 托马斯·科西,初等数论及其应用哈考特学术出版社(2002):第116页。
- ↑ 克劳森(1996):第236页。
- ↑ 要做的:添加语句。
- ↑ 待办事项:其他模板(
- 算法,
- 原则,
- 法律,
- 问题,
- 假设,
- 公理,
- 定义,
- 符号
).