Mathematics beyond axioms

[microresearch]

DOWNLOAD

We consider that if there is a Non-Axiomatic System, then by introducing the axiom of mathematical proof, the undecidable theorems are not in any Axiomatic System.

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

Open Mathematics Collaboration

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

Op. J. Math. Phys.
Volume 1, Article 46, 2019 [BT]

Gödel’s incompleteness theorem in a nutshell

[microreview]

DOWNLOAD

We present a microversion of Gödel’s theorem.

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

Open Mathematics Collaboration

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

Op. J. Math. Phys.
Volume 1, Article 45, 2019 [BS]