本网站由以下捐款支持:OEIS基金会.

模板:未修改的语句

来自OeisWiki
跳转到:航行,搜索

这个{{未经证实的陈述}}模板使用OEIS Wiki实用程序模板

并允许一致地呈现猜想,假设,论文反驳整个OEIS Wiki。它还将文章分类为

如果status=被驳斥,

用法

{{未经证实的声明|类=|ID编号=身份证件|姓名=名称|作者=作者|年=|声明=陈述|状态=地位}}

哪里

  • 是(未验证语句的)类,即。猜想(默认),假设论文
  • 身份证件是可选ID(例如。C1类)也可以通过在其前面加上类(例如。#推测C1);
  • 名称是猜想/假设/论文的可选名称(例如。哥德巴赫猜想);
  • 作者是提出猜想/假设/论文(例如:。哥德巴赫);
  • 是猜测/假设/论文的可选出版年份(例如。1742);
  • 陈述是猜想/假设/论文的陈述;
  • 地位是猜想/假设/论文的状态,即。未经证实的(默认),证明被驳倒的.

示例

在1742年6月7日的一封信中,[[克里斯蒂安·戈德巴赫]]首次向[[利昂哈德·尤勒]]提出了“哥德巴赫猜想”。(...){{未经验证的语句|class=推测|ID=C1|name=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}}|未经验证=|已证明=|被反驳的=[[类别:包含反驳的文章]]}}</仅包括>

另请参阅

笔记

  1. 托马斯·科西,初等数论及其应用哈考特学术出版社(2002):第116页。
  2. 克劳森(1996):第236页。
  3. 要做的:添加语句。
  4. 待办事项:其他模板(
    • 算法,
    • 原则,
    • 法律,
    • 问题,
    • 假设,
    • 公理,
    • 定义,
    • 符号
    ).