The logistics of quantum spacetime

[conjecture]

DOWNLOAD

We conjecture that quantum superposition is the result of the existence of different orbits in the logistic equation due to quantum interactions in spacetime.

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

Open Quantum Collaboration

Op. J. Math. Phys.
Volume 3, Article 236, 2021 [JG]

Two non-isomorphic structures with the same number of elements

[white paper: pedagogical]

DOWNLOAD

For pedagogical purpose we define a simple language to show that two different structures with the same number of elements in their universes are not isomorphic.

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

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 3, Article 234, 2021 [JE]

The isomorphism between structures is an equivalence relation

[white paper: pedagogical]

DOWNLOAD

We present a pedagogical proof that the function of an isomorphism between two structures is an equivalence relation.

https://doi.org/10.31219/osf.io/7uwnh

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 3, Article 233, 2021 [JD]

The terms of a language with one constant, one binary function, and one 4-ary function have an odd number of symbols

[white paper: pedagogical]

DOWNLOAD

We show using induction on complexity that all terms of a language with one constant, one binary function, and one 4-ary function have an odd number of symbols.

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

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 3, Article 231, 2021 [JB]

The power set has 2^n elements

[white paper: pedagogical]

DOWNLOAD

We prove that if A is a set consisting of n elements, then A has 2^n subsets.

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

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 3, Article 230, 2021 [JA]

Goldbach Conjecture, Twin Primes Conjecture, and Bounded Gap Theorem in the language of number theory

[white paper: pedagogical]

DOWNLOAD

We write the formulas of the theorem and the conjectures highlighted in the title of this white paper in the language of number theory for pedagogical purpose in first-order logic.

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

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 3, Article 229, 2021 [IZ]

A linear algebra

[knowledge base]

DOWNLOAD

LINEAR ALGEBRA and its underlying definitions are presented in this white paper (knowledge base).

https://doi.org/10.31219/osf.io/8emp4

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 3, Article 225, 2021 [IV]

Linear Transformations

[knowledge base]

DOWNLOAD

LINEAR TRANSFORMATION and its underlying definitions are presented in this white paper [knowledge base (http://omkb.org)].

doi.org/10.31219/osf.io/cjdwg

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 3, Article 224, 2021 [IU]

Every group is isomorphic to a group of permutations

[knowledge base]

DOWNLOAD

CAYLEY’s THEOREM, the SYMMETRIC GROUP THEOREM, and their underlying definitions are presented in this white paper (knowledge base = http://omkb.org).

https://doi.org/10.31219/osf.io/63pmy

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 3, Article 223, 2021 [IT]

A semigroup with a left identity and left inverse is a group

[pedagogical]

DOWNLOAD

We translate the proof of the theorem stated in the title, accomplished by Prover9, into a human readable form.

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

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 3, Article 222, 2021 [IS]

The membership relation

[knowledge base]

DOWNLOAD

The MEMBERSHIP RELATION and its underlying definitions are presented in this white paper (knowledge base).

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

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 3, Article 221, 2021 [IR]

Modules over Rings

[knowledge base]

DOWNLOAD

MODULES over RINGS and its underlying definitions are presented in this white paper (knowledge base).

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

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 3, Article 220, 2021 [IQ]

Vector space over a field

[knowledge base]

DOWNLOAD

VECTOR SPACE OVER A FIELD and its underlying definitions are presented in this white paper (knowledge base).

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

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 3, Article 219, 2021 [IP]

Field, commutative ring, integral domain

[knowledge base]

DOWNLOAD

FIELD, three propositions, and their underlying definitions are presented in this white paper (knowledge base).

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

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 3, Article 217, 2021 [IN]

RINGS: Almost a ring, semiring, zero, integral domain

[knowledge base]

DOWNLOAD

RING, commutative ring, almost a ring, semiring, zero ring, zero property, zero divisors, domain, integral domain, and their underlying definitions are presented in this white paper (knowledge base).

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

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 3, Article 216, 2021 [IM]

Cyclic Group

[knowledge base]

DOWNLOAD

CYCLIC GROUP and its underlying definitions are presented in this white paper (knowledge base).

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

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 3, Article 215, 2021 [IL]

Strong Induction

[knowledge base]

DOWNLOAD

STRONG INDUCTION and its underlying definitions are presented in this white paper (knowledge base).

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

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 3, Article 213, 2021 [IJ]

Substitutions and Substitutability

[knowledge base]

DOWNLOAD

SUBSTITUTIONS, SUBSTITUTABILITY, and their underlying definitions are presented in this white paper (knowledge base).

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

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 3, Article 212, 2021 [II]

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]

Model

[knowledge base]

DOWNLOAD

MODEL (mathematical logic) and its underlying definitions are presented in this white paper (knowledge base).

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

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 3, Article 209, 2021 [IF]