The Gödel encoding of a decimal number with n digits is the product of the first n primes raised to the values of their corresponding digits in the sequence.
The only Meertens number that has been found is 81312000 = 28315371112130170190.
If other Meertens number exist, they must be greater than 1 × 1025.
- Richard S. Bird (1998). "Meertens number". Journal of Functional Programming 8 (1): 83–88. doi:10.1017/S0956796897002931.
- Nicolas PALAU : No new Meertens number < 1 × 1025