The positional argument and the continuum hypothesis

[white paper]

DOWNLOAD

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]

A proof for Cantor-Schröder-Bernstein Theorem using the diagonal argument

[white paper]

DOWNLOAD

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]

Scientific Autobiography

[white paper]

DOWNLOAD

I present the references of my scientific publications divided into categories.

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

Matheus Pereira Lobo, PhD

Op. J. Math. Phys.
Volume 3, Article 203, 2021 [ML]

On the arithmetics of theorem proving

[white paper]

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

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

Searching for new theorems in M: a pure mathematical programming language

[white paper]

DOWNLOAD

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]

Is there a proof for the (non)existence of a formula for prime numbers?

[question]

DOWNLOAD

We discuss about whether it is possible or not to prove or disprove the existence of a formula for the prime numbers.

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

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 2, Article 167, 2020 [GO]

Transdenumerability of the reals

[white paper]

DOWNLOAD

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]

A unidimensional windmill in the plane with varying pivot points

[white paper]

DOWNLOAD

We show that we can choose a point in the plane such that the resulting windmill process with varying pivot uses each point of the plane infinitely many times.

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

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 2, Article 148, 2020 [FT]

Call for co-signing a paper: Increasing collaboration, fostering open science, and sharing the Article Processing Charge (APC)

[white paper]

DOWNLOAD

We argue that sharing one’s research with citizens and other scientists is a win-win crowd science strategy.

https://doi.org/10.31219/osf.io/62x8h

Open Collaboration

Op. J. Math. Phys.
Volume 2, Article 141, 2020 [FM]

Open Science done right

[white paper]

DOWNLOAD

A chain of simultaneous actions to foster open science is proposed.

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

Open Collaboration

Op. J. Math. Phys.
Volume 2, Article 140, 2020 [FL]

Roads to the Planck scale

[white paper]

DOWNLOAD

A summary of a few roads exploring the Planck scale is presented. We consider both Newtonian and relativistic systems.

https://doi.org/10.31219/osf.io/2cdwb

Open Quantum Collaboration

Op. J. Math. Phys.
Volume 2, Article 138, 2020 [FI]

A subgroup has equally many left and right cosets

[microreview]

DOWNLOAD

We prove that a subgroup has the same number of left and right cosets.

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

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 2, Article 137, 2020 [FH]

Do extra dimensions explain entanglement?

[white paper]

DOWNLOAD

We invite collaborators to co-author this white paper in order to collect scientific evidence connecting extra dimensions and entanglement.

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

Open Quantum Collaboration

Op. J. Math. Phys.
Volume 2, Article 134, 2020 [FE]

On the arithmetic of automated theorem proving

[white paper]

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

Op. J. Math. Phys.
Volume 2, Article 132, 2020 [FC]

ISDN: International Standard Database Number (white paper)

[white paper]

DOWNLOAD

We propose a new numeric identifier, dubbed International Standard Database Number (ISDN) to devise a new ecosystem of scientific publications based on databases and curated by specialists.

https://doi.org/10.31219/osf.io/3c6fe

Open Collaboration

Op. J. Math. Phys.
Volume 2, Article 131, 2020 [FB]