An Example of the Application of Provability Logic to Unsolved Problems in Number Theory: The Cullen Numbers and Conway’s Supposition
Journal of Advances in Mathematics and Computer Science · pp. 1–5 · Published 5 Aug 2016
10.9734/BJMCS/2016/27581Abstract
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.
Cited by 0
No indexed citations yet.
Related research
- Gaussian Generalized Woodall Numbers — shares topic coverage
- On Dual Hyperbolic Generalized Woodall Numbers — shares topic coverage
- On Hyperbolic Generalized Woodall Numbers — shares topic coverage
Article metrics
Real usage data collected on this platform.
0
Page views
0
PDF downloads
0
Outbound clicks
0
Citations
Views by country
Approximate, from request IP at view time — not citizenship or institution. Countries with fewer than 5 views are grouped as "Other".
No views recorded yet.
Traffic sources
Referring site, by host.
No traffic recorded yet.
Views and downloads exclude known bots/crawlers. Citations combines this platform's own DOI-resolved index with each external source's own reported total — see Cited by above for individually listed citing works. Last refreshed 0 seconds ago.