This site is supported by donations to The OEIS Foundation.
Template:Unproved statement/doc
From OeisWiki
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,
Contents
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
- {{Proved statement}} OEIS Wiki utility template