Meertens number

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 77.133.245.136 (talk) at 16:04, 21 February 2015. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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 = 28315371112130170190.

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]

If other Meertens number exist, they must be greater than 1 × 1025.[2]

References

  1. ^ Richard S. Bird (1998). "Meertens number". Journal of Functional Programming. 8 (1): 83–88. doi:10.1017/S0956796897002931.
  2. ^ Nicolas PALAU : No new Meertens number < 1 × 1025

External links