Meertens number

In mathematical logic, a Meertens number is an integer that is its own Gödel number.

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 = 2⁸3¹5³7¹11²13⁰17⁰19⁰.

It was "given" to Lambert Meertens by Richard S. Bird as a present during the celebration of his 25 years at the CWI, Amsterdam.

If other Meertens number exist, they must be greater than 1 × 10²⁵.