Alexander Bolotin

The Propositional Lattice of Divisibility and Beal's Conjecture

Alexander Bolotin · Journal of Advances in Mathematics and Computer Science · 2017

This article is devoted to the lattice-theoretic analysis of Beal's conjecture. We discuss whether this conjecture is deducible from the laws of logic of divisibility.

Open access Research Article 10.9734/BJMCS/2017/33315

An Example of the Application of Provability Logic to Unsolved Problems in Number Theory: The Cullen Numbers and Conway’s Supposition

Alexander Bolotin · Journal of Advances in Mathematics and Computer Science · 2016

This short paper offers an example of possibly fruitful interactions between modal logic and number theory. In the paper, Conway's remark that p and p.2p + 1  can both be prime numbers is formulated as a formula of modal logic and then analyzed for its decidability.

Open access Research Article 10.9734/BJMCS/2016/27581