[microresearch]
We discuss the dubbed term “logical loop” and it’s implication regarding provability in undecidable theorems.
https://doi.org/10.31219/osf.io/c5ezm
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 2, Article 123, 2020 [ET]
Tag: incompleteness theorem
Non-classical logic and undecidability
[conjecture]
We elaborate a conjecture by applying the definition of Non-Axiomatic System [1] in Non-Classical Logic.
https://doi.org/10.31219/osf.io/h4f7p
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 2, Article 112, 2020 [EI]
Gödel’s incompleteness theorem in a nutshell
[microreview]
We present a microversion of Gödel’s theorem.
https://doi.org/10.31219/osf.io/gphsk
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 1, Article 45, 2019 [BS]
Open Journal of Mathematics and Physics 