A semigroup with a left identity and left inverse is a group

[pedagogical]

DOWNLOAD

We translate the proof of the theorem stated in the title, accomplished by Prover9, into a human readable form.

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

Open Quantum Collaboration

Op. J. Math. Phys.
Volume 3, Article 222, 2021 [IS]

On the arithmetics of theorem proving

DOWNLOAD

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

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

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]

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

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