On the arithmetics of theorem proving

[white paper]

We present the arithmetization of strings in order to be deployed as an alternative model for automatic theorem proving.

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 3, Article 202, 2021 [HZ]

On the arithmetic of automated theorem proving

[white paper]

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

Open Mathematics Collaboration

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

[original idea]

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

Open Mathematics Collaboration

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