The Lambek-Moser theorem, in combinatorial number theory, describes how to partition the natural numbers into two complementary sets, such as the odd and even numbers or the primes and non-primes, using a pair of non-decreasing integer functions that are inverse to each other in a specific sense. Joachim Lambek and Leo Moser published the result in 1954 as an extension of Rayleigh's theorem on complementary Beatty sequences, and it also shows every complementary partition of the natural numbers arises this way, so a formula for one set's members yields a formula for the other set's members. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/
Facts
Classification
Statement FormCharacterization Theorem 1 Connections
Has Statement Form
Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.
Sources
1. Lambek-Moser theorem (Wikipedia)
2. Lambek-Moser theorem (Wikipedia)
The theorem was discovered by Leo Moser and Joachim Lambek, who published it in 1954View the Source Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.