Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
natural_numbers [2015/02/18 20:36]
nikolaj
natural_numbers [2015/02/18 20:36] (current)
nikolaj
Line 30: Line 30:
 >$∀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:​ "Are there infinitely many primes of the form $c^2-2$ for some $c\in\mathbb N$?" ($c=a+b$), >​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:=x+2\ge 2$ and $Y:=y+2\ge 2$.+>were "​prime"​ is being captured as not being of the form $X\cdot Y$ (for some $X:=x+2\ge 2$ and $Y:=y+2\ge 2$).
  
 == Towards arithmetic == == Towards arithmetic ==
Link to graph
Log In
Improvements of the human condition