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

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

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

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

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

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

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

Generating finitely many circles from one circle using Banach-Tarski decomposition paradox

[microreview]

DOWNLOAD

We prove the Banach-Tarski decomposition paradox applied to a circle.

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

Open Mathematics Collaboration

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

Op. J. Math. Phys.
Volume 2, Article 142, 2020 [FN]

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

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

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

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

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

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

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

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

Open Mathematics Knowledge Base

[knowledge base]

DOWNLOAD

We present a list of mathematical results for future implementation in a digital Open Mathematics Knowledge Base.

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

Open Mathematics Collaboration

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

Op. J. Math. Phys.
Volume 2, Article 103, 2020 [DZ]

Mathematical tags of group theory

[microreview]

DOWNLOAD

I present a collection of mathematical results regarding group theory organized by tags.

https://doi.org/10.31219/osf.io/9xk68

Open Mathematics Collaboration

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

Op. J. Math. Phys.
Volume 2, Article 101, 2020 [DX]

Scientific Tags

[original idea]

DOWNLOAD

An alternative model of scientific tags is proposed in addition to the present publishing system of articles.

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

Open Mathematics Collaboration

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

Op. J. Math. Phys.
Volume 2, Article 99, 2020 [DV]