Searching for new theorems in M: a pure mathematical programming language

[white paper]

DOWNLOAD

We present a project to be deployed in Python to serve as a powerful auxiliar tool for theorem proving. In the future, it can be turned into a programming language in its own right.

https://doi.org/10.31219/osf.io/6gyq4

Open Mathematics Collaboration

Would you like to discuss and co-author this paper? (Join our open Slack channel)

Op. J. Math. Phys.
Volume 2, Article 195, 2020 [HR]

On the arithmetic of automated theorem proving

[white paper]

DOWNLOAD

We propose a model to assign prime numbers to axioms and theorems, then by comparing equivalent numbers, it results in new equivalent theorems.

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

Open Mathematics Collaboration

Would you like to discuss and co-author this paper? (Join our open Slack channel)

Op. J. Math. Phys.
Volume 2, Article 132, 2020 [FC]

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

Would you like to discuss and co-author this paper? (Join our open Slack channel)

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