# .

# 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^{8}3^{1}5^{3}7^{1}11^{2}13^{0}17^{0}19^{0}.

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

References

^ Richard S. Bird (1998). "Meertens number". Journal of Functional Programming 8 (1): 83–88. doi:10.1017/S0956796897002931.

Retrieved from "http://en.wikipedia.org/"

All text is available under the terms of the GNU Free Documentation License