The Largest Number Representable in 64 Bits
We investigate how large an output can be computed by programs fitting inside a single register, using languages not designed for generating large outputs. We propose lambda calculus-based Busy Beaver functions that offer various advantages over the existing Turing machine-based ones, including a direct relation to Kolmogorov complexity.
Authors
- John Tromp (ORCID: https://orcid.org/0000-0002-1062-8710)
Institutions
- National Health Care Institute (NL)
Publication Details
- Journal
- Entropy
- Published
- 2026-04-26
- DOI
- https://doi.org/10.3390/e28050494
- Primary Topic
- Computability, Logic, AI Algorithms
- Type
- article
- Field-Weighted Citation Impact
- 0.00