On the arithmetic of automated theorem proving

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 Quantum Collaboration

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