Gödel beta-function sequence coding

ID: godel-beta-function-sequence-coding

The Gödel beta function codes finite sequences by remainders:
Choosing sufficiently large and divisible by the relevant small integers makes the moduli pairwise coprime, so the Chinese remainder theorem codes any prescribed finite sequence.

New to topics? Read the docs here!