Tag: Godel's incompleteness theorem

Is there a proof for the (non)existence of a formula for prime numbers?

[question]

DOWNLOAD

We discuss about whether it is possible or not to prove or disprove the existence of a formula for the prime numbers.

https://doi.org/10.31219/osf.io/sb7td

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 2, Article 167, 2020 [GO]

Using prime numbers for automatic theorem proving

[original idea]

DOWNLOAD

We apply an analogous setting from Gödel’s numbering system to automatic theorem proving.

https://doi.org/10.31219/osf.io/g7usc

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 2, Article 119, 2020 [EP]