Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
natural_numbers [2014/12/27 19:38] nikolaj created |
natural_numbers [2015/02/18 20:35] nikolaj |
||
---|---|---|---|
Line 29: | Line 29: | ||
>Smallest proper math proposition for which nobody knows the answer: | >Smallest proper math proposition for which nobody knows the answer: | ||
>$∀a. ∃b. ∀x. ∀y. (a+b)·(a+b) \neq SS((SSx)·(SSy))$ | >$∀a. ∃b. ∀x. ∀y. (a+b)·(a+b) \neq SS((SSx)·(SSy))$ | ||
- | >Roughly: "Is any prime $p$ of the form $p=c^2-2$ for some $c\in\mathbb N$?", | + | >Roughly: "Are there infinitely many primes of the form $c^2-2$ for some $c\in\mathbb N$?" ($c=a+b$), |
>were "prime" is being captured as not being of the form $X\cdot Y$ for some $X,Y\ge 2$. | >were "prime" is being captured as not being of the form $X\cdot Y$ for some $X,Y\ge 2$. | ||