This site is supported by donations to The OEIS Foundation.

Template:Unproved statement/doc

From OeisWiki
Jump to: navigation, search

This documentation subpage contains instructions, categories, or other information for Template:Unproved statement. [<Edit> Template:Unproved statement]

[⧼Purge⧽ Template:Unproved statement/doc]

The {{unproved statement}} OEIS Wiki utility template is used by the templates

and allows for a consistent presentation of conjectures, hypotheses, theses and refutations throughout OEIS Wiki. It also provides a categorization of the article into either

and, if status = refuted,

Usage

{{Unproved statement|class = class|ID = ID|name = name|author = author|year = year|statement = statement|status = status}}

where

  • class is the class (of the unproved statement), i.e. Conjecture (default), Hypothesis and Thesis;
  • ID is an optional ID (e.g. C1) which can also be used as an anchor by preceding it with the class (e.g. #Conjecture C1);
  • name is the optional name of the conjecture/hypothesis/thesis (e.g. Goldbach conjecture);
  • author is the optional (but recommended) name of the person/group who proposed the conjecture/hypothesis/thesis (e.g. Goldbach);
  • year is the optional year of publication of the conjecture/hypothesis/thesis (e.g. 1742);
  • statement is the statement of the conjecture/hypothesis/thesis;
  • status is the status of the conjecture/hypothesis/thesis, i.e. unproved (default), proved or refuted.

Examples

'''Goldbach{{'}}s conjecture''' was first posed by [[Christian Goldbach]] to [[Leonhard Euler]] in a letter dated June 7, 1742. (...)

{{Unproved statement
| class = Conjecture
| ID = C1
| name = Goldbach{{'}}s conjecture
| author = [[Christian Goldbach|Goldbach]]
| year = 1742
| statement = 

Every [[Even numbers|even number]] greater than or equal to 4 is the sum of two [[Prime numbers|primes]],<ref>Thomas Koshy, ''Elementary Number Theory with Applications''. Harcourt Academic Press (2002): p. 116.</ref> and every [[Odd numbers|odd number]] greater than or equal to 7 is the sum of three primes.<ref>Clawson (1996): p. 236.</ref>  Also, every even number greater than or equal to 6 is the sum of two odd primes, and every odd number greater than or equal to 9 is the sum of three odd primes.

}}

Goldbach’s conjecture was first posed by Christian Goldbach to Leonhard Euler in a letter dated June 7, 1742. (...)

Conjecture C1 (Goldbach’s conjecture, 1742). (Goldbach)

Every even number greater than or equal to 4 is the sum of two primes,[1] and every odd number greater than or equal to 7 is the sum of three primes.[2] Also, every even number greater than or equal to 6 is the sum of two odd primes, and every odd number greater than or equal to 9 is the sum of three odd primes.

Example with default class


{{Unproved statement
| class =
| ID = U1
| name = Some unproved statement name
| author = Some author
| year =
| statement = 



| status =
}}

Proposition U1 (Some unproved statement name). (Some author)

STATEMENT REQUIRED! (add statement)[3]

Example for conjecture


{{Conjecture
| ID = C1
| name = Some conjecture name
| author = Some author
| statement = 

Conjecture statement.

| status = Status of conjecture
}}

Conjecture C1 (Some conjecture name). (Some author)

Conjecture statement.

Example for hypothesis


{{Hypothesis
| ID = H1
| name = Some hypothesis name
| author = Some author
| statement = 

Hypothesis statement.

| status = Status of hypothesis
}}

Hypothesis H1 (Some hypothesis name). (Some author)

Hypothesis statement.

Example for thesis


{{Thesis
| ID = T1
| name = Some thesis name
| author = Some author
| statement = 

Thesis statement.

}}

Thesis T1 (Some thesis name). (Some author)

Thesis statement.

Code

To do (other templates)[4].

<noinclude>{{Documentation}}</noinclude><includeonly><!--

Templates using this template: conjecture, hypothesis, thesis

Further templates to do (no proof is involved in those): algorithm, conjecture, hypothesis, thesis, principle, law, definition, notation   

--><blockquote class="{{#if: {{{class|}}} | {{lc: {{{class}}} }} | proposition }}" id="{{#if: {{{ID|}}} | {{#if: {{{class|}}} | {{ucfirst: {{lc: {{{class}}} }} }} | Proposition }} {{{ID}}} }}"><!--
-->{{#if: {{{class|}}} | '''{{ucfirst: {{lc: {{{class}}} }} }} | '''Proposition }}{{#if: {{{ID|}}} |  {{{ID}}} }}{{#if: {{{name|}}} |  ({{{name}}}{{#if: {{{year|}}} | , {{{year}}} }}) }}.'''<!--
-->{{#if: {{{author|}}} |  ''({{{author}}})'' }} {{#if: {{{name|}}} | {{nl|2}} }}<!-- 
-->{{#if: {{{statement|}}} | {{{statement}}} | STATEMENT REQUIRED!{{To do|add statement}} }}<!-- ********** Unproved! **********
{{nl|2}}
''Proof.'' {{#if: {{{proof|}}} | {{{proof}}} □ | PROOF GOES HERE. □{{To do|prove}} }} --> 
</blockquote><!-- 

-->{{#switch: {{#if: {{{class|}}} | {{lc: {{{class}}} }} | conjecture }}
| conjecture = [[Category:Articles containing conjectures]]
| hypothesis = [[Category:Articles containing hypotheses]]
| thesis = [[Category:Articles containing theses]]
}}<!-- 

-->{{#switch: {{#if: {{{status|}}} | {{lc: {{{status}}} }} | unproved }}
| unproved = 
| proved = 
| refuted = [[Category:Articles containing refutations]]
}}</includeonly>

See also

Notes

  1. Thomas Koshy, Elementary Number Theory with Applications. Harcourt Academic Press (2002): p. 116.
  2. Clawson (1996): p. 236.
  3. To do: add statement.
  4. To do: other templates (
    • algorithm,
    • principle,
    • law,
    • problem,
    • postulate,
    • axiom,
    • definition,
    • notation
    ).