[white paper]
We present a discussion on the definition of the positional argument and the continuum hypothesis.
https://doi.org/10.31219/osf.io/tvg64
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 3, Article 211, 2021 [IH]
Tag: Cantor
A proof for Cantor-Schröder-Bernstein Theorem using the diagonal argument
[white paper]
We prove Cantor-Schröder-Bernstein theorem using the diagonal argument.
https://doi.org/10.31219/osf.io/2qkpx
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 3, Article 210, 2021 [IG]
On the arithmetics of theorem proving
[white paper]
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]
Transdenumerability of the reals
[white paper]
We show that the real numbers are transdenumerable by setting a one to one map with the set of the transfinite ordinals introduced by Cantor.
https://doi.org/10.31219/osf.io/fu7bx
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 2, Article 156, 2020 [GD]
