We present the arithmetization of strings in order to be deployed as an alternative model for automatic theorem proving.
https://doi.org/10.31219/osf.io/ega6t
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 3, Article 202, 2021 [HZ]
We present the arithmetization of strings in order to be deployed as an alternative model for automatic theorem proving.
https://doi.org/10.31219/osf.io/ega6t
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 3, Article 202, 2021 [HZ]
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
Op. J. Math. Phys.
Volume 2, Article 195, 2020 [HR]
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
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.
https://doi.org/10.31219/osf.io/g7usc
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 2, Article 119, 2020 [EP]