Original: Given a sequence x_1 x_2 x_3... x_n of positive integers, the Gödel encoding of the sequence is the product of the first n primes raised to their corresponding values in the sequence:
Simplified: Given a sequence x_1 x_2 x_3... x_n of positive integers, the Gödel encoding is the product of the first n primes raised to their corresponding values in the sequence: