Template:Conjecture/doc

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

• {{Conjecture}}
• {{Hypothesis}}
• {{Thesis}}

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

• Category:Articles containing conjectures, or
• Category:Articles containing hypotheses, or
• Category:Articles containing theses,

and, if status = refuted,

• Category:Articles containing refutations.

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, and every odd number greater than or equal to 7 is the sum of three primes. 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)} 

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)} .

<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

• {{Proved statement}} OEIS Wiki utility template