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

Bolotin, Alexander (2016) An Example of the Application of Provability Logic to Unsolved Problems in Number Theory: The Cullen Numbers and Conway’s Supposition. British Journal of Mathematics & Computer Science, 18 (1). pp. 1-5. ISSN 22310851

[thumbnail of Bolotin1812016BJMCS27581.pdf] Text
Bolotin1812016BJMCS27581.pdf - Published Version
Download (196kB)

Abstract

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.

Item Type: Article
Subjects: STM Digital Library > Mathematical Science
Depositing User: Unnamed user with email support@stmdigitallib.com
Date Deposited: 30 May 2023 11:50
Last Modified: 22 Jun 2024 08:55
URI: http://archive.scholarstm.com/id/eprint/1290

Actions (login required)

View Item
View Item